See: Description
| Interface | Description |
|---|---|
| ValueFactory |
This interface provides methods to create Value objects.
|
| Class | Description |
|---|---|
| ArrayReferenceValueFactory |
This identified value factory creates array reference values that also
represent their elements, in as far as possible.
|
| BasicValueFactory |
This class provides methods to create and reuse Value objects.
|
| 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 |
This class represents a partially evaluated double value.
|
| FloatValue |
This class represents a partially evaluated float value.
|
| IdentifiedValueFactory |
This class provides methods to create and reuse Value objects 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 |
This class represents a partially evaluated instruction offset.
|
| IntegerValue |
This class represents a partially evaluated integer value.
|
| LongValue |
This class represents a partially evaluated long value.
|
| ParticularValueFactory |
This class provides methods to create and reuse Value objects that have
particular values, whenever they are known.
|
| PrimitiveTypedReferenceValueFactory |
This class provides methods to create and reuse Value objects.
|
| RangeIntegerValue |
This IntegerValue represents a known range of integer values.
|
| RangeValueFactory |
This class provides methods to create and reuse Value objects that have
known ranges.
|
| ReferenceValue |
This class represents a partially evaluated reference value.
|
| TopValue |
This class represents a partially evaluated top value.
|
| TracedReferenceValue |
This ReferenceValue represents a reference value that is tagged with a trace
value.
|
| TracingValue |
This class represents 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 objects.
|
| UnknownDoubleValue |
This class represents a partially evaluated double value.
|
| UnknownFloatValue |
This class represents a partially evaluated float value.
|
| UnknownIntegerValue |
This class represents a partially evaluated integer value.
|
| UnknownLongValue |
This class represents a partially evaluated long value.
|
| UnknownReferenceValue |
This class represents a partially evaluated reference value.
|
| Value |
This abstract class represents a partially evaluated value.
|
Copyright © 2019. All rights reserved.