dk.brics.tajs.analysis

Class SpecialArgs

java.lang.Object

dk.brics.tajs.analysis.SpecialArgs

public class SpecialArgs
extends Object

Function arguments relevant for context sensitivity.

Constructor Summary

Constructors

Constructor and Description
SpecialArgs() Constructs a new empty SpecialArgs object.

Method Summary

Methods

Modifier and Type	Method and Description
void	addContextSensitivity(Function f, Collection<String> args, State s, GenericSolver.SolverInterface c) Makes a single function f context sensitive on the parameters args.
void	addToSpecialArgs(Function f, String arg) Add elements to the map for context sensitivity.
Set<Value>	getSpecialArgValues(State state, Function f) Returns the values of the special arguments, or null if empty.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SpecialArgs

public SpecialArgs()

Constructs a new empty SpecialArgs object.

Method Detail

addContextSensitivity

public void addContextSensitivity(Function f,
                         Collection<String> args,
                         State s,
                         GenericSolver.SolverInterface c)

Makes a single function f context sensitive on the parameters args. Does nothing if args are not parameters to f.

addToSpecialArgs

public void addToSpecialArgs(Function f,
                    String arg)

Add elements to the map for context sensitivity.

Parameters:

f - function

arg - argument that should be taken into account for context sensitivity

getSpecialArgValues

public Set<Value> getSpecialArgValues(State state,
                             Function f)

Returns the values of the special arguments, or null if empty.

Parameters:

state - state

f - function