public final class SmvChecker
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SmvChecker.Result
Result of checker execution.
|
Modifier and Type | Method and Description |
---|---|
static SmvChecker |
getChecker()
Returns the checker instance.
|
java.io.File |
getLogFile()
Returns the log of the last checker execution.
|
SmvChecker.Result |
getResult()
Returns the result of the last checker execution.
|
void |
runChecker(java.lang.String fileName,
java.lang.String... args)
Runs the checker using the specified arguments.
|
void |
setNuSmv()
Enables NuSMV checker.
|
void |
setNuXmv()
Enables NuXMV checker.
|
public static SmvChecker getChecker()
public void setNuXmv()
public void setNuSmv()
public SmvChecker.Result getResult()
public java.io.File getLogFile()
null
otherwise.public void runChecker(java.lang.String fileName, java.lang.String... args)
fileName
- - the specified *.smv file name.args
- - the specified arguments.