Package 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	Description
ConstraintManager()

Method Summary

Modifier and Type	Method	Description
Pair<List<ProgramState>,List<ProgramState>>	assumeDual(ProgramState programState)
SymbolicValue	createBinarySymbolicValue(Tree syntaxNode, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue.CaughtExceptionSymbolicValue	createCaughtExceptionSymbolicValue(SymbolicValue.ExceptionalSymbolicValue thrownValue)
SymbolicValue	createDefaultSymbolicValue()
SymbolicValue	createEquality(ProgramState.SymbolicValueSymbol lhs, ProgramState.SymbolicValueSymbol rhs)
SymbolicValue.ExceptionalSymbolicValue	createExceptionalSymbolicValue(Type exceptionType)
SymbolicValue	createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<ProgramState.SymbolicValueSymbol> values)
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 Details

ConstraintManager

public ConstraintManager()

Method Details

setValueFactory

public void setValueFactory(SymbolicValueFactory valueFactory)

createEquality

public SymbolicValue createEquality(ProgramState.SymbolicValueSymbol lhs,
 ProgramState.SymbolicValueSymbol rhs)

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)