Commit dc60d398 authored by Jonathan Shahen's avatar Jonathan Shahen

Adding comments to the ConvertTo class and the subclass ConverToNuSMV

parent 12b7e0ab
......@@ -25,10 +25,23 @@ public class ConvertTo {
this.timing = timing;
}
/**
* Takes in a Mohawk+T Policy and converts it to an equivalent problem instance. Has the ability to then write that
* instance out to a file, when {@code writeToFile} is TRUE.
* @param m Input Mohawk+T policy to convert
* @param f can be <b>NULL</b> if {@code writeToFile} is FALSE
* @param writeToFile TRUE to write the instance out to the file {@code f}
* @return the equivalent instance string
*/
public String convert(MohawkT m, File f, Boolean writeToFile) {
return null;
}
/**
* Returns the file extension that {@link ConvertTo#convert(MohawkT, File, Boolean)} will append to the file when
* writing out
* @return
*/
public String getFileExtenstion() {
return null;
}
......
......@@ -21,11 +21,21 @@ public class ConvertToNuSMV extends ConvertTo {
tPrefix = "ConvertToNuSMV";
}
public ConvertToNuSMV(MohawkTiming timing, String timerPrefix) {
super(timing);
tPrefix = timerPrefix;
}
@Override
public String getFileExtenstion() {
return ".smv";
}
/**
* Converts Mohawk+T policies to equivalent NuSMV Model Checker instances
* <br/><br/>
* {@inheritDoc}
*/
@Override
public String convert(MohawkT m, File file, Boolean writeToFile) {
try {
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment