Package de.rwth.i2.attestor.types

Base type for all notions of types, i.e.

See: Description

Interface Summary

Interface	Description
Type	General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

Class Summary

Class	Description
GeneralType	A simple implementation of types.
GeneralType.Factory
TypeNames
Types

Package de.rwth.i2.attestor.types Description

Base type for all notions of types, i.e. types of classes of an analysed program, types of nodes, etc.

Author:

Christoph