dk.brics.tajs.blendedanalysis.solver

Class BlendedAnalysisManager

java.lang.Object

dk.brics.tajs.blendedanalysis.solver.BlendedAnalysisManager

public class BlendedAnalysisManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BlendedAnalysisManager()

Method Summary

Modifier and Type	Method and Description
boolean	blendedAnalysisAllowedAtSourceLocation(SourceLocation sl)
Value	getArg(Value defaultres, int argumentNumber, Value function, Value base, CallNode n, State state) Attempts to solve the argument value for the given call, relative to the given function, base (if not null), and propertyName (if not null).
java.util.Collection<Value>	getBase(Value defaultres, AbstractNode n, State state) Attempts to solveQuery the base for the given write operation.
java.util.Collection<Value>	getPropertyName(Value defaultres, Value base, AbstractNode n, State state) Attempts to solveQuery the property name for the given write operation, relative to the given base.
java.util.Collection<Value>	getValue(Value defaultres, Value base, Value propertyName, AbstractNode n, State state) Attempts to solveQuery the value for the given write operation, relative to the given base and propertyname.
Value	getVariableValue(Value defaultres, AbstractNode n, State state)
boolean	isReachable(AbstractNode n)
void	setSolverInterface(GenericSolver.SolverInterface c)
java.util.Collection<Value>	solveQuery(Value soundDefault, AbstractNode n, java.util.function.Supplier<BlendedAnalysisQuery> querySupplier) Solve the query (if not disallowed by BlendedAnalysisOptions) and return the query result 'meet' the sound default provided by the query.

Methods inherited from class java.lang.Object

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

Constructor Detail

BlendedAnalysisManager

public BlendedAnalysisManager()

Method Detail

blendedAnalysisAllowedAtSourceLocation

public boolean blendedAnalysisAllowedAtSourceLocation(SourceLocation sl)

getArg

public Value getArg(Value defaultres,
                    int argumentNumber,
                    Value function,
                    Value base,
                    CallNode n,
                    State state)

Attempts to solve the argument value for the given call, relative to the given function, base (if not null), and propertyName (if not null).

getBase

public java.util.Collection<Value> getBase(Value defaultres,
                                           AbstractNode n,
                                           State state)

Attempts to solveQuery the base for the given write operation.

getPropertyName

public java.util.Collection<Value> getPropertyName(Value defaultres,
                                                   Value base,
                                                   AbstractNode n,
                                                   State state)

Attempts to solveQuery the property name for the given write operation, relative to the given base.

getValue

public java.util.Collection<Value> getValue(Value defaultres,
                                            Value base,
                                            Value propertyName,
                                            AbstractNode n,
                                            State state)

Attempts to solveQuery the value for the given write operation, relative to the given base and propertyname.

getVariableValue

public Value getVariableValue(Value defaultres,
                              AbstractNode n,
                              State state)

isReachable

public boolean isReachable(AbstractNode n)

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

solveQuery

public java.util.Collection<Value> solveQuery(Value soundDefault,
                                              AbstractNode n,
                                              java.util.function.Supplier<BlendedAnalysisQuery> querySupplier)

Solve the query (if not disallowed by BlendedAnalysisOptions) and return the query result 'meet' the sound default provided by the query.