| ErrorInformation |
Error information for a RuleFailedException that will be used primarily
for error marker generation.
|
| Result<T> |
The result of a rule invocation
|
| Result2<F,S> |
|
| Result3<F,S,T> |
|
| ResultWithFailure |
The result of a rule invocation
|
| RuleApplicationTrace |
Keeps a trace of applied rules (and also failures)
|
| RuleEnvironment |
Implements the environment for a typing judgment
|
| RuleEnvironmentEntry |
This will be used to store the runtime representation of a TypingStatement
into an environment
|
| StringRepresentation |
|
| StringRepresentationPostProcessor |
|
| TraceUtils |
Several utility methods that act on rule traces, rule failures, etc.
|
| XsemanticsCachedData<T> |
|
| XsemanticsCacheDefaultImpl |
|
| XsemanticsProvider<T> |
We use this to keep track of whether this provider's get method has
been called in order to understand if we use a cached value or not
in XsemanticsCache; this helps us to provide a better
RuleApplicationTrace. |
| XsemanticsRuntimeSystem |
All generated systems will inherit from this class.
|