org.sonar.java.se.constraint

Class ConstraintManager

java.lang.Object

org.sonar.java.se.constraint.ConstraintManager

public class ConstraintManager
extends Object

Constructor Summary

Constructors

Constructor and Description
ConstraintManager()

Method Summary

Modifier and Type	Method and Description
Pair<List<ProgramState>,List<ProgramState>>	assumeDual(ProgramState programState)
SymbolicValue	createBinarySymbolicValue(Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue	createBinarySymbolicValue(Tree syntaxNode, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue.CaughtExceptionSymbolicValue	createCaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue thrownValue)
SymbolicValue	createDefaultSymbolicValue()
SymbolicValue.ExceptionalSymbolicValue	createExceptionalSymbolicValue(Type exceptionType)
SymbolicValue	createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<ProgramState.SymbolicValueSymbol> values)
SymbolicValue	createSymbolicValue(Instruction inst)
SymbolicValue	createSymbolicValue(Tree syntaxNode)
boolean	isNull(ProgramState ps, SymbolicValue val)
void	setValueFactory(SymbolicValueFactory valueFactory)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintManager

public ConstraintManager()

Method Detail

setValueFactory

public void setValueFactory(SymbolicValueFactory valueFactory)

createSymbolicValue

public SymbolicValue createSymbolicValue(Tree syntaxNode)

createBinarySymbolicValue

public SymbolicValue createBinarySymbolicValue(Tree syntaxNode,
                                               List<ProgramState.SymbolicValueSymbol> computedFrom)

createExceptionalSymbolicValue

public SymbolicValue.ExceptionalSymbolicValue createExceptionalSymbolicValue(@Nullable
                                                                             Type exceptionType)

createCaughtExceptionSymbolicValue

public SymbolicValue.CaughtExceptionSymbolicValue createCaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue thrownValue)

createMethodSymbolicValue

public SymbolicValue createMethodSymbolicValue(MethodInvocationTree syntaxNode,
                                               List<ProgramState.SymbolicValueSymbol> values)

createDefaultSymbolicValue

public SymbolicValue createDefaultSymbolicValue()

isNull

public boolean isNull(ProgramState ps,
                      SymbolicValue val)

assumeDual

public Pair<List<ProgramState>,List<ProgramState>> assumeDual(ProgramState programState)

createBinarySymbolicValue

public SymbolicValue createBinarySymbolicValue(Instruction inst,
                                               List<ProgramState.SymbolicValueSymbol> computedFrom)

createSymbolicValue

public SymbolicValue createSymbolicValue(Instruction inst)