Package chord.analyses.field

Facts of instance and static fields.

See:
Description

Class Summary

DomF	Domain of fields.
RelInstF	Relation containing all instance (as opposed to static) fields.
RelStatF	Relation containing all static (as opposed to instance) fields.
RelStatTF	Relation containing each tuple (t,f) such that f is a static field defined in type t.

Package chord.analyses.field Description

Facts of instance and static fields.