|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PDecl | |
---|---|
edu.toronto.cs.yasm.abstractor | |
edu.toronto.cs.yasm.pprogram |
Uses of PDecl in edu.toronto.cs.yasm.abstractor |
---|
Methods in edu.toronto.cs.yasm.abstractor with parameters of type PDecl | |
---|---|
void |
PredicateRefiner.doDeclRefine(PDecl pDecl)
Registers a variable v corresponding to pDecl with the vc
and also stores a reference to v in pDecl (to prevent CVCL from garbage
collecting v). |
Uses of PDecl in edu.toronto.cs.yasm.pprogram |
---|
Methods in edu.toronto.cs.yasm.pprogram that return PDecl | |
---|---|
PDecl |
PFunctionDef.getReturnIndexDecl()
|
PDecl |
PFunctionDef.getReturnValueDecl()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |