Package chord.analyses.point

Facts of program points.

See:
Description

Class Summary

DomP	Domain of simple statements.
RelMP	Relation containing each tuple (m,p) such that method m contains program point p.
RelMPhead	Relation containing each tuple (m,p) such that statement p is the unique entry basic block of method m.
RelMPtail	Relation containing each tuple (m,p) such that statement p is the unique exit basic block of method m.
RelPP	Relation containing each tuple (p1,p2) such that program point p2 is an immediate successor of program point p1.

Package chord.analyses.point Description

Facts of program points.