| Class | Description |
|---|---|
| AlwaysValidAssumption |
An assumption that is always valid.
|
| AssumedValue<T> |
A value that the compiler can assume is constant, but can be changed by invalidation.
|
| BinaryConditionProfile |
Utility class to speculate on conditions to be never true or to be never false.
|
| BranchProfile |
Utility class to speculate on branches to be never visited.
|
| ConditionProfile |
Abstract utility class to speculate on conditions.
|
| CountingConditionProfile |
Utility class to speculate on conditions to be never true or to be never false.
|
| CyclicAssumption |
Holds an
Assumption, and knows how to recreate it with the same properties on
invalidation. |
| ExactClassValueProfile |
Represents a
ValueProfile that speculates on the exact class of a value. |
| IdentityValueProfile |
Represents a
ValueProfile that speculates on the object identity of a value. |
| JSONHelper |
Helper function that allows to dump the AST during creation to a JSON format.
|
| JSONHelper.JSONArrayBuilder | |
| JSONHelper.JSONObjectBuilder | |
| JSONHelper.JSONStringBuilder | |
| NeverValidAssumption |
An assumption that is never valid.
|
| PrimitiveValueProfile |
Represents a
ValueProfile that speculates on the primitive equality or object identity of
values. |
| UnionAssumption |
An assumption that combines two other assumptions.
|
| ValueProfile |
Utility class to speculate on certain properties of values.
|