edu.toronto.cs.yasm
Class YasmApp

java.lang.Object
  extended by edu.toronto.cs.yasm.YasmApp

public class YasmApp
extends java.lang.Object

YasmApp.java Yet Another Software Model Checker Created: Tue Jun 22 13:38:03 2004

Version:
1.0
Author:
Xin Ma

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

out

public static java.io.PrintWriter out
Standard Output


err

public static java.io.PrintWriter err
Standad Error


PREFS

public static final java.util.prefs.Preferences PREFS
Preferences of the application

Constructor Detail

YasmApp

public YasmApp()
Method Detail

setInitPredFile

public void setInitPredFile(java.io.File f)

setBpFile

public void setBpFile(java.io.File f)

setProp

public void setProp(CTLNode v)

setCFile

public void setCFile(boolean v)

getCFile

public boolean getCFile()

setRefinerType

public void setRefinerType(java.lang.String v)

setSelectorType

public void setSelectorType(java.lang.String s)

setStmtBlocking

public void setStmtBlocking(boolean v)

setMaxPredsPerRefinement

public void setMaxPredsPerRefinement(int i)

setTracePort

public void setTracePort(int v)

setDoTrace

public void setDoTrace(boolean v)

isDoTrace

public boolean isDoTrace()

setPGeneratorType

public void setPGeneratorType(java.lang.String v)

setHyper

public void setHyper(boolean v)

setUnknownInit

public void setUnknownInit(boolean v)

isReuse

public boolean isReuse()

setReuse

public void setReuse(boolean v)

setDoProof

public void setDoProof(boolean v)
doProof setter

Parameters:
v - a boolean value

setXKripkeStructure

public void setXKripkeStructure(XKripkeStructure v)

setXChek

public void setXChek(MvSetModelChecker v)

run

public AlgebraValue run()
                 throws CTLNodeParser.CTLNodeParserException,
                        PProgram.ParseException,
                        java.io.FileNotFoundException
Throws:
CTLNodeParser.CTLNodeParserException
PProgram.ParseException
java.io.FileNotFoundException

parseCmdLine

public void parseCmdLine(java.lang.String[] args)
                  throws CTLNodeParser.CTLNodeParserException
Throws:
CTLNodeParser.CTLNodeParserException

main

public static void main(java.lang.String[] args)