See: Description
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.
|
CyclicAssumption |
Holds an
Assumption , and knows how to recreate it with the same properties on
invalidation. |
FinalBitSet |
Read-only bitset designed for partial evaluation.
|
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.
|
TruffleWeakReference<T> |
Creates a new weak reference that is safe to be used in compiled code paths.
|
UnionAssumption |
An assumption that combines two other assumptions.
|
Enum | Description |
---|---|
TriState |
We try to capture common language patterns in this package. Here is an overview of patterns that we have captured so far:
AssumedValue
speculates on global values to remain
unchanged.CyclicAssumption
speculates on assumptions that
might invalidate more often but are assumed to stabilize over time.NeverValidAssumption
utility for assumptions that
are always invalidatedUnionAssumption
utility for the union of two
assumptions