Package chord.analyses.argret

Facts of arguments and return results of methods and method invocation quads.

See:
Description

Class Summary

DomK	Another domain of integers.
DomZ	Domain of argument and return variable positions of methods and method invocation statements.
RelIinvkArg	Relation containing each tuple (i,z,v) such that local variable v is the zth argument variable of method invocation statement i.
RelIinvkArg0	Relation containing each tuple (i,v) such that local variable v is the 0th argument variable of method invocation statement i, if i has >= 0 arguments.
RelIinvkRet	Relation containing each tuple (i,z,v) such that local variable v is the zth return variable of method invocation statement i.
RelMmethArg	Relation containing each tuple (m,z,v) such that local variable v is the zth argument variable of method m.
RelMmethRet	Relation containing each tuple (m,z,v) such that local variable v is the zth return variable of method m.
RelThisMV	Relation containing each tuple (m,v) such that local variable v is the implicit this argument variable of instance method m.

Package chord.analyses.argret Description

Facts of arguments and return results of methods and method invocation quads.