Package chord.analyses.heapacc

Facts of heap-accessing quads.

See:
Description

Class Summary

DomE	Domain of statements that access (read or write) an instance field, a static field, or an array element.
RelAryElemE	Relation containing each statement that accesses (reads or writes) an array element (as opposed to an instance or static field).
RelEF	Relation containing each tuple (e,f) such that statement e accesses (reads or writes) instance field, static field, or array element f.
RelEV	Relation containing each tuple (e,v) such that statement e accesses (reads or writes) an instance field or array element of an object denoted by local variable v.
RelInstFldE	Relation containing each statement that accesses (reads or writes) an instance field (as opposed to a static field or array element).
RelME	Relation containing each tuple (m,e) such that method m contains statement e that accesses (reads or writes) an instance field, a static field, or an array element.
RelPE	Relation containing each tuple (p,e) such that the statement at program point p is a heap access statement e that accesses (reads or writes) an instance field, a static field, or an array element.
RelStatFldE	Relation containing each statement that accesses (reads or writes) a static field (as opposed to an instance field or array element).
RelWriteE	Relation containing all statements that write to an instance field, static field, or array element.

Package chord.analyses.heapacc Description

Facts of heap-accessing quads.