See: Description
| Interface | Description |
|---|---|
| ValueFactory |
This interface provides methods to create
Value instances. |
| Class | Description |
|---|---|
| ArrayReferenceValueFactory |
This identified value factory creates array reference values that also
represent their elements, in as far as possible.
|
| BasicRangeValueFactory |
This ValueFactory provides methods to create and reuse IntegerValue instances
that have known ranges.
|
| BasicValueFactory |
This class provides methods to create and reuse Value instances.
|
| Category1Value |
This abstract class represents a partially evaluated Category 1 value.
|
| Category2Value |
This abstract class represents a partially evaluated Category 2 value.
|
| DetailedArrayValueFactory |
This identified value factory creates array reference values that also
represent their elements, in as far as possible.
|
| DoubleValue |
Representation of a partially evaluated double value.
|
| FloatValue |
Representation of a partially evaluated float value.
|
| IdentifiedValueFactory |
This class provides methods to create and reuse Value instances that are
identified by unique integer IDs.
|
| InitialValueFactory |
This value factory creates initial values for fields and array elements,
with the help of a given value factory.
|
| InstructionOffsetValue |
Representation of a partially evaluated instruction offset.
|
| IntegerValue |
Representation of a partially evaluated integer value.
|
| LongValue |
Representation of a partially evaluated long value.
|
| ParticularValueFactory |
This class provides methods to create and reuse Value instances that have
particular values, whenever they are known.
|
| PrimitiveTypedReferenceValueFactory |
This class provides methods to create and reuse Value instances.
|
| RangeIntegerValue |
This
IntegerValue represents a known range of integer values. |
| RangeValueFactory |
This ValueFactory provides methods to create and reuse IntegerValue instances
that have known ranges.
|
| ReferenceValue |
Representation of a partially evaluated reference value.
|
| TopValue |
Representation of a partially evaluated top value.
|
| TracedReferenceValue |
This
ReferenceValue represents a reference value that is tagged with a trace
value. |
| TracingValue |
Representation of a value that has been tagged with a sticky trace
value.
|
| TypedReferenceValue |
This
ReferenceValue represents a partially evaluated reference value. |
| TypedReferenceValueFactory |
This class provides methods to create and reuse Value instances.
|
| UnknownDoubleValue |
DoubleValue that is unknown. |
| UnknownFloatValue |
FloatValue that is unknown. |
| UnknownIntegerValue |
IntegerValue that is unknown. |
| UnknownLongValue |
LongValue that is unknown. |
| UnknownReferenceValue |
ReferenceValue that is unknown. |
| Value |
This abstract class represents a partially evaluated value.
|