|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object abc.weaving.residues.Residue abc.weaving.residues.CheckType
public class CheckType
Check the type of a context value
Nested Class Summary |
---|
Nested classes/interfaces inherited from class abc.weaving.residues.Residue |
---|
Residue.Bindings |
Method Summary | |
---|---|
Stmt |
codeGen(SootMethod method,
LocalGeneratorEx localgen,
Chain units,
Stmt begin,
Stmt fail,
boolean sense,
WeavingContext wc)
Generate the code for this dynamic residue. |
static Residue |
construct(ContextValue value,
Type type)
|
Residue |
inline(ConstructorInliningMap cim)
Make a copy of the residue applying to an inlined version of the code. |
Residue |
optimize()
Optimize the residue by rebuilding it, invoking the smart constructors along the way. |
java.lang.String |
toString()
Must provide a toString method |
Methods inherited from class abc.weaving.residues.Residue |
---|
getAdviceFormalBindings, getResidueBoxes, resetForReweaving, restructureToCreateBindingsMask, succeed |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public Residue optimize()
Residue
optimize
in class Residue
public Residue inline(ConstructorInliningMap cim)
Residue
inline
in class Residue
public static Residue construct(ContextValue value, Type type)
public java.lang.String toString()
Residue
toString
in class Residue
public Stmt codeGen(SootMethod method, LocalGeneratorEx localgen, Chain units, Stmt begin, Stmt fail, boolean sense, WeavingContext wc)
Residue
codeGen
in class Residue
method
- The method the code is being inserted intolocalgen
- A local generator for the methodunits
- The chain the code is being inserted intobegin
- Code will be inserted just after this statementfail
- If the residue "fails", the inserted code will jump to this point;
otherwise it will fall throughsense
- If this is false, inverts the meaning of failure and success for the residuewc
- The weaving context
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |