edu.toronto.cs.yasm.pprogram
Class PDecl

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

public class PDecl
extends java.lang.Object


Constructor Summary
PDecl(Block _sourceBlock)
           
PDecl(Expr _sourceExpr)
           
 
Method Summary
 void computeCVCL(ValidityChecker vc)
          Computes and stores the CVCL representation of this declaration.
 Block getSourceBlock()
           
 Expr getSourceExpr()
           
 void setCVCLExpr(Expr _cvclExpr)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PDecl

public PDecl(Block _sourceBlock)

PDecl

public PDecl(Expr _sourceExpr)
Method Detail

getSourceBlock

public Block getSourceBlock()

getSourceExpr

public Expr getSourceExpr()

computeCVCL

public void computeCVCL(ValidityChecker vc)
Computes and stores the CVCL representation of this declaration.


setCVCLExpr

public void setCVCLExpr(Expr _cvclExpr)