Package chord.analyses.inst

Facts of quads.

See:
Description

Class Summary

RelMcheckCastInst	Relation containing each tuple (m,v1,t,v2) such that method m contains a statement of the form v1 = (t) v2.
RelMclsValAsgnInst	Relation containing each tuple (m,v,t) such that method m contains a statement of the form v = t.class/tt>.
RelMgetClassInvkInst	Relation containing each tuple (m,i) such that method m contains a statement i invoking instance method getClass() defined in class java.lang.Object.
RelMgetInstFldInst	Relation containing each tuple (m,v,b,f) such that method m contains a statement of the form v = b.f.
RelMgetStatFldInst	Relation containing each tuple (m,v,f) such that method m contains a statement of the form v = f.
RelMobjValAsgnInst	Relation containing each tuple (m,v,h) such that method m contains object allocation statement h which assigns to local variable v.
RelMobjVarAsgnInst	Relation containing each tuple (m,v1,v2) such that method m contains a statement of the form v1 = v2.
RelMputInstFldInst	Relation containing each tuple (m,b,f,v) such that method m contains a statement of the form b.f = v.
RelMputStatFldInst	Relation containing each tuple (m,f,v) such that method m contains a statement of the form f = v.
RelPgetInstFldInst	Relation containing each tuple (p,b,f,v) such that the statement at program point p is of the form b.f = v.
RelPgetStatFldInst	Relation containing each tuple (p,v,f) such that the statement at program point p is of the form v = f.
RelPobjValAsgnInst	Relation containing each tuple (p,v,h) such that the statement at program point p is an object allocation statement h which assigns to local variable v.
RelPobjVarAsgnInst	Relation containing each tuple (p,v1,v2) such that the statement at program point p is of the form v1 = v2.
RelPputInstFldInst	Relation containing each tuple (p,b,f,v) such that the statement at program point p is of the form b.f = v.
RelPputStatFldInst	Relation containing each tuple (p,f,v) such that the statement at program point p is of the form f = v.

Package chord.analyses.inst Description

Facts of quads.