Package chord.analyses.alloc

Facts of object allocation quads.

See:
Description

Class Summary

DomH	Domain of object allocation quads.
RelHT	Relation containing each tuple (h,t) such that object allocation quad h allocates objects of non-array type t.
RelMH	Relation containing each tuple (m,h) such that method m contains object allocation statement h.

Package chord.analyses.alloc Description

Facts of object allocation quads.