All Classes

Class	Description
ErrorInformation	Error information for a RuleFailedException that will be used primarily for error marker generation.
PatchedPolymorphicDispatcher<RT>	Temporary patched version: https://github.com/LorenzoBettini/xsemantics/issues/82 https://github.com/eclipse/xtext-core/issues/238
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
RuleFailedException	Represents the failure of a rule application
StringRepresentation
StringRepresentationPostProcessor
TraceUtils	Several utility methods that act on rule traces, rule failures, etc.
XsemanticsCache	Caches judgment and auxiliary functions computations.
XsemanticsCachedData<T>	The actual object put into the XsemanticsCache
XsemanticsCacheDefaultImpl	Default implementation of XsemanticsCache, using a IResourceScopeCache.
XsemanticsCacheListener	Utility class to listen to cache events (especially for testing)
XsemanticsCacheLoggerListener	A utility base class for listening to XsemanticsCache hits and misses
XsemanticsCacheResultLoggerListener	A utility class for recording Result strings involved in XsemanticsCache hits and misses
XsemanticsCacheTraceLoggerListener	A utility class for recording RuleApplicationTrace strings involved in XsemanticsCache hits and misses
XsemanticsCacheUtils	Utility functions for caching.
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.
XsemanticsValidatorErrorGenerator	This class will be used by the validator generated by Xsemantics.
XsemanticsValidatorFilter	Provides and possibly filters error information