public interface NativeConcreteSemantics
Modifier and Type | Method and Description |
---|---|
MappedNativeResult<ConcreteValue> |
apply(java.lang.String functionName,
ConcreteValue base,
java.util.List<ConcreteValue> arguments) |
NativeResult<ConcreteValue> |
eval(java.lang.String script) |
MappedNativeResult<ConcreteValue> apply(java.lang.String functionName, ConcreteValue base, java.util.List<ConcreteValue> arguments)
NativeResult<ConcreteValue> eval(java.lang.String script)
Copyright © 2009-2019 Aarhus University