dk.brics.tajs.lattice

Class ContextArguments

java.lang.Object

dk.brics.tajs.lattice.ContextArguments

public class ContextArguments
extends java.lang.Object

Representation of arguments to a function.

Constructor Summary

Constructors

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.

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ContextArguments

public 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).

Parameters:

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 function

selectedClosureVariables - as the values of closure-variables

ContextArguments

public ContextArguments(Value unknownArg,
                        java.util.Map<java.lang.String,Value> selectedClosureVariables)

Context arguments for a function invocation with unknown arguments.

Parameters:

unknownArg - all the arguments in a single value

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

extractTopLevelObjectLabels

public static java.util.Set<ObjectLabel> extractTopLevelObjectLabels(ContextArguments arguments)

Utility function for extracting object labels

getArguments

public java.util.List<Value> getArguments()

Returns the arguments the function was invoked with.

getParameterValue

public Value getParameterValue(java.lang.String name)

getSelectedClosureVariables

public java.util.Map<java.lang.String,Value> getSelectedClosureVariables()

hasArguments

public boolean hasArguments()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isUnknown

public boolean isUnknown()

Returns true iff the number and order of arguments to the function are unknown.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object