|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.yasm.pprogram.PProgram
public class PProgram
PProgram.java Created: Fri Jun 25 14:14:01 2004
Nested Class Summary | |
---|---|
static class |
PProgram.ParseException
|
Field Summary | |
---|---|
static int |
BinSelector
|
static int |
DDSelector
|
static int |
LinSelector
|
static java.lang.String |
MAIN_FUNCTION_NAME
|
Constructor Summary | |
---|---|
PProgram(ExprFactory _fac,
java.util.Map _functionDefs,
java.util.Map _globalDecls)
|
|
PProgram(ExprFactory _fac,
java.util.Map _functionDefs,
java.util.Map _globalDecls,
int _selectorType)
|
Method Summary | |
---|---|
static PProgram |
__parse(NullAbstractor abstractor,
java.io.File file)
|
static PProgram |
__parse(NullAbstractor abstractor,
java.io.Reader in)
|
static PProgram |
__parse(NullAbstractor abstractor,
java.lang.String fileName)
|
void |
addFunctionReturn()
|
void |
addProgramInitAndEnd()
|
ExprFactory |
getExprFactory()
|
java.util.Map |
getFunctionDefs()
|
java.util.Map |
getGlobalDecls()
|
PStmt |
getHead()
Deprecated. Use getMainFunctionDef () |
Expr |
getInconsistent()
|
java.util.Map |
getLabelledStatementMap()
|
java.util.Map |
getLabelledStmtsMap()
Deprecated. Use getLabelledStatementsMap () |
PFunctionDef |
getMainFunctionDef()
|
PredicateTable |
getPredTable()
|
int |
getSelectorType()
|
java.util.List |
getStatementList()
|
PStmt |
getStmt(java.lang.String label)
Returns the PStmt referred to by label |
java.util.List |
getStmtList()
Deprecated. Use getStatementList () |
boolean |
isDeclsRefined()
|
static void |
main(java.lang.String[] args)
Class tester method |
static PProgram |
parse(NullExprAbstractor abstractor,
java.io.File file)
|
static PProgram |
parse(NullExprAbstractor abstractor,
java.io.File file,
int selectorType)
|
static PProgram |
parse(NullExprAbstractor abstractor,
java.io.File file,
int selectorType,
boolean stmtBlocking)
|
static PProgram |
parse(NullExprAbstractor abstractor,
java.io.Reader in,
int selectorType,
boolean stmtBlocking)
|
static PProgram |
parse(NullExprAbstractor abstractor,
java.lang.String fileName)
|
void |
print(java.io.PrintWriter out)
Prints the PProgram to out in a nice format. |
void |
printMainFunction(java.io.PrintWriter out)
|
void |
setDeclsRefined(boolean v)
|
void |
setGlobalDecls(java.util.Map _globalDecls)
|
void |
setInconsistent(Expr v)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String MAIN_FUNCTION_NAME
public static final int LinSelector
public static final int BinSelector
public static final int DDSelector
Constructor Detail |
---|
public PProgram(ExprFactory _fac, java.util.Map _functionDefs, java.util.Map _globalDecls)
public PProgram(ExprFactory _fac, java.util.Map _functionDefs, java.util.Map _globalDecls, int _selectorType)
Method Detail |
---|
public void addFunctionReturn()
public java.util.List getStmtList()
public java.util.List getStatementList()
public java.util.Map getLabelledStmtsMap()
public java.util.Map getLabelledStatementMap()
public void setInconsistent(Expr v)
public Expr getInconsistent()
public PStmt getHead()
public java.util.Map getFunctionDefs()
public java.util.Map getGlobalDecls()
public void setGlobalDecls(java.util.Map _globalDecls)
public PFunctionDef getMainFunctionDef()
public void addProgramInitAndEnd()
public void printMainFunction(java.io.PrintWriter out)
public void print(java.io.PrintWriter out)
out
in a nice format.
out
- - the PrintWriter
to print to.public java.lang.String toString()
toString
in class java.lang.Object
public PStmt getStmt(java.lang.String label)
label
label
- the statement label.
label
; null
if the label is unknown.public PredicateTable getPredTable()
public static PProgram __parse(NullAbstractor abstractor, java.lang.String fileName) throws PProgram.ParseException, java.io.FileNotFoundException
PProgram.ParseException
java.io.FileNotFoundException
public static PProgram __parse(NullAbstractor abstractor, java.io.File file) throws PProgram.ParseException, java.io.FileNotFoundException
PProgram.ParseException
java.io.FileNotFoundException
public static PProgram parse(NullExprAbstractor abstractor, java.lang.String fileName) throws PProgram.ParseException, java.io.FileNotFoundException
PProgram.ParseException
java.io.FileNotFoundException
public static PProgram parse(NullExprAbstractor abstractor, java.io.File file) throws PProgram.ParseException, java.io.FileNotFoundException
PProgram.ParseException
java.io.FileNotFoundException
public static PProgram parse(NullExprAbstractor abstractor, java.io.File file, int selectorType) throws PProgram.ParseException, java.io.FileNotFoundException
PProgram.ParseException
java.io.FileNotFoundException
public static PProgram parse(NullExprAbstractor abstractor, java.io.File file, int selectorType, boolean stmtBlocking) throws PProgram.ParseException, java.io.FileNotFoundException
PProgram.ParseException
java.io.FileNotFoundException
public static PProgram parse(NullExprAbstractor abstractor, java.io.Reader in, int selectorType, boolean stmtBlocking) throws PProgram.ParseException
PProgram.ParseException
public static PProgram __parse(NullAbstractor abstractor, java.io.Reader in) throws PProgram.ParseException
PProgram.ParseException
public ExprFactory getExprFactory()
public boolean isDeclsRefined()
public void setDeclsRefined(boolean v)
public int getSelectorType()
public static void main(java.lang.String[] args)
args
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |