Tool support for the static extraction of sound hierarchical representations of runtime object graphs
Marwan Abi-Antoun, Jonathan Aldrich · 2008
Ownership domain annotations specify in code architectural intent related to object encapsulation and communication. These annotations also enable the static extraction of a sound hierarchical representation of the runtime object graph. The tool support consists of one Eclipse plugin to typecheck the annotations inserted as Java 1.5 annotations, and another to extract a representation of the runtime object graph abstracted by ownership hierarchy and by types.