abc.weaving.residues
Class NeverMatch

java.lang.Object
  abc.weaving.residues.Residue
      abc.weaving.residues.NeverMatch

public class NeverMatch
extends Residue

A "dynamic" residue that can never match. Intended for convenience during generation and residue analysis process.

Author:

Ganesh Sittampalam, Ondrej Lhotak

Nested Class Summary

Nested classes/interfaces inherited from class abc.weaving.residues.Residue

Residue.Bindings

Constructor Summary

NeverMatch()

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.
Residue	inline(ConstructorInliningMap cim) Make a copy of the residue applying to an inlined version of the code.
static boolean	neverMatches(Residue r)
Residue	optimize() Optimize the residue by rebuilding it, invoking the smart constructors along the way.
java.lang.String	toString() Must provide a toString method
static NeverMatch	v()

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

Constructor Detail

NeverMatch

public NeverMatch()

Method Detail

v

public static NeverMatch v()

optimize

public Residue optimize()

Description copied from class: Residue

Optimize the residue by rebuilding it, invoking the smart constructors along the way.

Specified by:

optimize in class Residue

inline

public Residue inline(ConstructorInliningMap cim)

Description copied from class: Residue

Make a copy of the residue applying to an inlined version of the code.

Specified by:

inline in class Residue

neverMatches

public static boolean neverMatches(Residue r)

toString

public java.lang.String toString()

Description copied from class: Residue

Must provide a toString method

Specified by:

toString in class Residue

codeGen

public Stmt codeGen(SootMethod method,
                    LocalGeneratorEx localgen,
                    Chain units,
                    Stmt begin,
                    Stmt fail,
                    boolean sense,
                    WeavingContext wc)

Description copied from class: Residue

Generate the code for this dynamic residue.

Specified by:

codeGen in class Residue

Parameters:

method - The method the code is being inserted into

localgen - A local generator for the method

units - The chain the code is being inserted into

begin - Code will be inserted just after this statement

fail - If the residue "fails", the inserted code will jump to this point; otherwise it will fall through

sense - If this is false, inverts the meaning of failure and success for the residue

wc - The weaving context

Returns:

The last statement that was inserted into the chain (or begin if nothing was).