Package chord.analyses.type

Facts of types and class hierarchy.

See:
Description

Class Summary

DomT	Domain of classes.
RelCHA	Relation containing each tuple (m1,t,m2) such that method m2 is the resolved method of an invokevirtual or invokeinterface call with resolved method m1 on an object of concrete class t.
RelCheckExcludedT	Relation containing each type t the prefix of whose name is contained in the value of system property chord.check.exclude.
RelClassT	Relation containing each (concrete or abstract) class type (as opposed to interface types, primitive types, etc.).
RelInterfaceT	Relation containing each interface type.
RelScopeExcludedT
RelSub	Relation containing each tuple (s,t) such that type s is a subtype of type t.

Package chord.analyses.type Description

Facts of types and class hierarchy.