|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.yasm.YasmApp
public class YasmApp
YasmApp.java Yet Another Software Model Checker Created: Tue Jun 22 13:38:03 2004
Field Summary | |
---|---|
static java.io.PrintWriter |
err
Standad Error |
static java.io.PrintWriter |
out
Standard Output |
static java.util.prefs.Preferences |
PREFS
Preferences of the application |
Constructor Summary | |
---|---|
YasmApp()
|
Method Summary | |
---|---|
boolean |
getCFile()
|
boolean |
isDoTrace()
|
boolean |
isReuse()
|
static void |
main(java.lang.String[] args)
|
void |
parseCmdLine(java.lang.String[] args)
|
AlgebraValue |
run()
|
void |
setBpFile(java.io.File f)
|
void |
setCFile(boolean v)
|
void |
setDoProof(boolean v)
doProof setter |
void |
setDoTrace(boolean v)
|
void |
setHyper(boolean v)
|
void |
setInitPredFile(java.io.File f)
|
void |
setMaxPredsPerRefinement(int i)
|
void |
setPGeneratorType(java.lang.String v)
|
void |
setProp(CTLNode v)
|
void |
setRefinerType(java.lang.String v)
|
void |
setReuse(boolean v)
|
void |
setSelectorType(java.lang.String s)
|
void |
setStmtBlocking(boolean v)
|
void |
setTracePort(int v)
|
void |
setUnknownInit(boolean v)
|
void |
setXChek(MvSetModelChecker v)
|
void |
setXKripkeStructure(XKripkeStructure v)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static java.io.PrintWriter out
public static java.io.PrintWriter err
public static final java.util.prefs.Preferences PREFS
Constructor Detail |
---|
public YasmApp()
Method Detail |
---|
public void setInitPredFile(java.io.File f)
public void setBpFile(java.io.File f)
public void setProp(CTLNode v)
public void setCFile(boolean v)
public boolean getCFile()
public void setRefinerType(java.lang.String v)
public void setSelectorType(java.lang.String s)
public void setStmtBlocking(boolean v)
public void setMaxPredsPerRefinement(int i)
public void setTracePort(int v)
public void setDoTrace(boolean v)
public boolean isDoTrace()
public void setPGeneratorType(java.lang.String v)
public void setHyper(boolean v)
public void setUnknownInit(boolean v)
public boolean isReuse()
public void setReuse(boolean v)
public void setDoProof(boolean v)
v
- a boolean
valuepublic void setXKripkeStructure(XKripkeStructure v)
public void setXChek(MvSetModelChecker v)
public AlgebraValue run() throws CTLNodeParser.CTLNodeParserException, PProgram.ParseException, java.io.FileNotFoundException
CTLNodeParser.CTLNodeParserException
PProgram.ParseException
java.io.FileNotFoundException
public void parseCmdLine(java.lang.String[] args) throws CTLNodeParser.CTLNodeParserException
CTLNodeParser.CTLNodeParserException
public static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |