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

Methods

Modifier and Type	Method and Description
Pair<List<ProgramState>,List<ProgramState>>	assumeDual(ProgramState programState)
SymbolicValue	createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<SymbolicValue> 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 Detail

ConstraintManager

public ConstraintManager()

Method Detail

setValueFactory

public void setValueFactory(SymbolicValueFactory valueFactory)

createSymbolicValue

public SymbolicValue createSymbolicValue(Tree syntaxNode)

createMethodSymbolicValue

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

isNull

public boolean isNull(ProgramState ps,
             SymbolicValue val)

assumeDual

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