See: Description
| Interface | Description |
|---|---|
| ConcreteValue |
A concrete value.
|
| ConcreteValueVisitor<T> | |
| NativeConcreteSemantics |
Interface to a native implementation of a concrete semantics.
|
| PrimitiveConcreteValue |
| Class | Description |
|---|---|
| Alpha |
Converts concrete values to abstract values.
|
| CachingNativeConcreteSemantics |
Decorator that caches the results of its delegate.
|
| ConcreteApplyMapping |
Mapping for the receiver, arguments and results of a call using Function.prototype.apply.
|
| ConcreteArray | |
| ConcreteBoolean | |
| ConcreteNull | |
| ConcreteNullOrUndefined | |
| ConcreteNumber | |
| ConcreteRegularExpression | |
| ConcreteString | |
| ConcreteUndefined | |
| MappedNativeResult<T> |
Result of a native call with an (optional) mapping to the concrete receiver and arguments.
|
| NashornConcreteSemantics |
Concrete semantics implementation.
|
| NativeResult<T> | |
| SingleGamma |
Converts abstract values to concrete values, if possible.
|
| TAJSConcreteSemantics |
Interface for relaying evaluation of calls to a concrete semantics.
|
| TAJSConcreteSemanticsForGeneralCalls |
Helper class for
TAJSConcreteSemantics which does the conversions between an abstract call and a concrete call. |
| Enum | Description |
|---|---|
| NativeResult.Kind |
Copyright © 2009-2019 Aarhus University