---

BirPrinter Class Reference

Inheritance diagram for BirPrinter:[legend]Collaboration diagram for BirPrinter:[legend]List of all members.

Public Methods
void	caseAddExpr (AddExpr expr)
void	caseAndExpr (AndExpr expr)
void	caseArrayExpr (ArrayExpr expr)
void	caseAssertAction (AssertAction assertAction)
void	caseAssignAction (AssignAction assign)
void	caseBoolLit (BoolLit expr)
void	caseChooseExpr (ChooseExpr expr)
void	caseConstant (Constant expr)
void	caseDerefExpr (DerefExpr expr)
void	caseDivExpr (DivExpr expr)
void	caseEqExpr (EqExpr expr)
void	caseInstanceOfExpr (InstanceOfExpr expr)
void	caseIntLit (IntLit expr)
void	caseLeExpr (LeExpr expr)
void	caseLengthExpr (LengthExpr expr)
void	caseLockAction (LockAction lockAction)
void	caseLockTest (LockTest lockTest)
void	caseLtExpr (LtExpr expr)
void	caseMulExpr (MulExpr expr)
void	caseNeExpr (NeExpr expr)
void	caseNewArrayExpr (NewArrayExpr expr)
void	caseNewExpr (NewExpr expr)
void	caseNotExpr (NotExpr expr)
void	caseNullExpr (NullExpr expr)
void	caseOrExpr (OrExpr expr)
void	casePrintAction (PrintAction printAction)
void	caseRecordExpr (RecordExpr expr)
void	caseRefExpr (RefExpr expr)
void	caseRemExpr (RemExpr expr)
void	caseStateVar (StateVar expr)
void	caseSubExpr (SubExpr expr)
void	caseThreadAction (ThreadAction threadAction)
void	caseThreadLocTest (ThreadLocTest threadLocTest)
void	caseThreadTest (ThreadTest threadTest)
void	defaultCase (Object obj)
void	printLocation (Location loc)
void	translateTrans (Transformation trans)
Static Public Methods
void	print (TransSystem system)
void	print (TransSystem system, PrintWriter out)
Private Methods
	BirPrinter (TransSystem system, PrintWriter out)
void	printDefs ()
void	printPredicates ()
void	printThreads ()
void	printVars (BirThread thread)
void	run ()
void	translateBinaryOp (Expr e1, Expr e2, String op)
void	translateUnaryOp (Expr e, String op)
Static Private Methods
void	printTrans (Transformation trans)
Private Attributes
TransSystem	system
PrintWriter	out
boolean	inPredicate = false

---

Detailed Description

Print visitor for a transition system.

To invoke:

 // Parameters 
 TransSystem system = ...;   // the transition system 
 PrintWriter out = ...;      // PrintWriter to send to 
 BirPrinter.print(system,out); 
 

or to send to System.out, just:

 BirPrinter.print(system); 
 

Definition at line 56 of file BirPrinter.java.

---

Member Function Documentation

void BirPrinter::print (  TransSystem   system, PrintWriter   out )  [inline, static]

Print the transition system. Parameters: system   the transition system out   a PrintWriter to send the output to Definition at line 269 of file BirPrinter.java.

void BirPrinter::print (  TransSystem   system )  [inline, static]

Print the transition system to System.out Parameters: system   the transition system Definition at line 259 of file BirPrinter.java.

---

The documentation for this class was generated from the following file:

• BirPrinter.java

---