edu.toronto.cs.yasm.pprogram
Class PProgram

java.lang.Object
  extended by edu.toronto.cs.yasm.pprogram.PProgram

public class PProgram
extends java.lang.Object

PProgram.java Created: Fri Jun 25 14:14:01 2004

Version:
1.0
Author:
Kelvin Ku

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

MAIN_FUNCTION_NAME

public static final java.lang.String MAIN_FUNCTION_NAME
See Also:
Constant Field Values

LinSelector

public static final int LinSelector
See Also:
Constant Field Values

BinSelector

public static final int BinSelector
See Also:
Constant Field Values

DDSelector

public static final int DDSelector
See Also:
Constant Field Values
Constructor Detail

PProgram

public PProgram(ExprFactory _fac,
                java.util.Map _functionDefs,
                java.util.Map _globalDecls)

PProgram

public PProgram(ExprFactory _fac,
                java.util.Map _functionDefs,
                java.util.Map _globalDecls,
                int _selectorType)
Method Detail

addFunctionReturn

public void addFunctionReturn()

getStmtList

public java.util.List getStmtList()
Deprecated. Use getStatementList ()


getStatementList

public java.util.List getStatementList()

getLabelledStmtsMap

public java.util.Map getLabelledStmtsMap()
Deprecated. Use getLabelledStatementsMap ()


getLabelledStatementMap

public java.util.Map getLabelledStatementMap()

setInconsistent

public void setInconsistent(Expr v)

getInconsistent

public Expr getInconsistent()

getHead

public PStmt getHead()
Deprecated. Use getMainFunctionDef ()


getFunctionDefs

public java.util.Map getFunctionDefs()

getGlobalDecls

public java.util.Map getGlobalDecls()

setGlobalDecls

public void setGlobalDecls(java.util.Map _globalDecls)

getMainFunctionDef

public PFunctionDef getMainFunctionDef()

addProgramInitAndEnd

public void addProgramInitAndEnd()

printMainFunction

public void printMainFunction(java.io.PrintWriter out)

print

public void print(java.io.PrintWriter out)
Prints the PProgram to out in a nice format.

Parameters:
out - - the PrintWriter to print to.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getStmt

public PStmt getStmt(java.lang.String label)
Returns the PStmt referred to by label

Parameters:
label - the statement label.
Returns:
the PStmt referred to by label; null if the label is unknown.

getPredTable

public PredicateTable getPredTable()

__parse

public static PProgram __parse(NullAbstractor abstractor,
                               java.lang.String fileName)
                        throws PProgram.ParseException,
                               java.io.FileNotFoundException
Throws:
PProgram.ParseException
java.io.FileNotFoundException

__parse

public static PProgram __parse(NullAbstractor abstractor,
                               java.io.File file)
                        throws PProgram.ParseException,
                               java.io.FileNotFoundException
Throws:
PProgram.ParseException
java.io.FileNotFoundException

parse

public static PProgram parse(NullExprAbstractor abstractor,
                             java.lang.String fileName)
                      throws PProgram.ParseException,
                             java.io.FileNotFoundException
Throws:
PProgram.ParseException
java.io.FileNotFoundException

parse

public static PProgram parse(NullExprAbstractor abstractor,
                             java.io.File file)
                      throws PProgram.ParseException,
                             java.io.FileNotFoundException
Throws:
PProgram.ParseException
java.io.FileNotFoundException

parse

public static PProgram parse(NullExprAbstractor abstractor,
                             java.io.File file,
                             int selectorType)
                      throws PProgram.ParseException,
                             java.io.FileNotFoundException
Throws:
PProgram.ParseException
java.io.FileNotFoundException

parse

public static PProgram parse(NullExprAbstractor abstractor,
                             java.io.File file,
                             int selectorType,
                             boolean stmtBlocking)
                      throws PProgram.ParseException,
                             java.io.FileNotFoundException
Throws:
PProgram.ParseException
java.io.FileNotFoundException

parse

public static PProgram parse(NullExprAbstractor abstractor,
                             java.io.Reader in,
                             int selectorType,
                             boolean stmtBlocking)
                      throws PProgram.ParseException
Throws:
PProgram.ParseException

__parse

public static PProgram __parse(NullAbstractor abstractor,
                               java.io.Reader in)
                        throws PProgram.ParseException
Throws:
PProgram.ParseException

getExprFactory

public ExprFactory getExprFactory()

isDeclsRefined

public boolean isDeclsRefined()

setDeclsRefined

public void setDeclsRefined(boolean v)

getSelectorType

public int getSelectorType()

main

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

Parameters:
args -