public class ContextArguments
extends java.lang.Object
Constructor and Description |
---|
ContextArguments(java.util.List<java.lang.String> parameterNames,
java.util.List<Value> arguments,
java.util.Map<java.lang.String,Value> selectedClosureVariables)
Context arguments for a function invocation with a known order and number of arguments (standard invocation or precise apply/call).
|
ContextArguments(Value unknownArg,
java.util.Map<java.lang.String,Value> selectedClosureVariables)
Context arguments for a function invocation with unknown arguments.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
static java.util.Set<ObjectLabel> |
extractTopLevelObjectLabels(ContextArguments arguments)
Utility function for extracting object labels
|
java.util.List<Value> |
getArguments()
Returns the arguments the function was invoked with.
|
Value |
getParameterValue(java.lang.String name) |
java.util.Map<java.lang.String,Value> |
getSelectedClosureVariables() |
boolean |
hasArguments() |
int |
hashCode() |
boolean |
isUnknown()
Returns true iff the number and order of arguments to the function are unknown.
|
java.lang.String |
toString() |
public ContextArguments(java.util.List<java.lang.String> parameterNames, java.util.List<Value> arguments, java.util.Map<java.lang.String,Value> selectedClosureVariables)
parameterNames
- as the syntactically known parameter names of the invoked function (used for pretty printing)arguments
- as the arguments, in the order they are provided to the functionselectedClosureVariables
- as the values of closure-variablespublic boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public static java.util.Set<ObjectLabel> extractTopLevelObjectLabels(ContextArguments arguments)
public java.util.List<Value> getArguments()
public Value getParameterValue(java.lang.String name)
public java.util.Map<java.lang.String,Value> getSelectedClosureVariables()
public boolean hasArguments()
public int hashCode()
hashCode
in class java.lang.Object
public boolean isUnknown()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University