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.
|
| UnionAssumption |
An assumption that combines two other assumptions.
|
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