Package chord.analyses.var

Facts of local variables.

See:
Description

Class Summary

DomV	Domain of local variables of reference type.
RelMV	Relation containing each tuple (m,v) such that method m declares local variable v, that is, v is either an argument or temporary variable of m.
RelVT	Relation containing each tuple (v,t) such that local variable v of reference type has type t.

Package chord.analyses.var Description

Facts of local variables.