Uses of Class
org.sonar.java.se.symbolicvalues.SymbolicValue

Packages that use SymbolicValue

Package	Description
org.sonar.java.se
org.sonar.java.se.constraint
org.sonar.java.se.symbolicvalues

Uses of SymbolicValue in org.sonar.java.se

Fields in org.sonar.java.se with type parameters of type SymbolicValue

Modifier and Type	Field and Description
List<SymbolicValue>	ProgramState.Pop.values

Methods in org.sonar.java.se that return SymbolicValue

Modifier and Type	Method and Description
SymbolicValue	SymbolicValueFactory.createSymbolicValue(int id, Tree syntaxNode)
SymbolicValue	ProgramState.getValue(Symbol symbol)
SymbolicValue	ProgramState.peekValue()

Methods in org.sonar.java.se that return types with arguments of type SymbolicValue

Modifier and Type	Method and Description
Set<SymbolicValue>	ProgramState.getFieldValues()
Map<SymbolicValue,ObjectConstraint>	ProgramState.getValuesWithConstraints(Object state)
List<SymbolicValue>	ProgramState.peekValues(int n)

Methods in org.sonar.java.se with parameters of type SymbolicValue

Modifier and Type	Method and Description
ProgramState	ProgramState.addConstraint(SymbolicValue symbolicValue, Constraint constraint)
boolean	ProgramState.canReach(SymbolicValue symbolicValue)
Constraint	ProgramState.getConstraint(SymbolicValue sv)
ObjectConstraint	ProgramState.getConstraintWithStatus(SymbolicValue value, Object aState)

Constructor parameters in org.sonar.java.se with type arguments of type SymbolicValue

Constructor and Description
ProgramState.Pop(ProgramState programState, List<SymbolicValue> result)

Uses of SymbolicValue in org.sonar.java.se.constraint

Methods in org.sonar.java.se.constraint that return SymbolicValue

Modifier and Type	Method and Description
SymbolicValue	ConstraintManager.createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<SymbolicValue> values)
SymbolicValue	ConstraintManager.createSymbolicValue(Tree syntaxNode)

Methods in org.sonar.java.se.constraint with parameters of type SymbolicValue

Modifier and Type	Method and Description
boolean	ConstraintManager.isNull(ProgramState ps, SymbolicValue val)

Method parameters in org.sonar.java.se.constraint with type arguments of type SymbolicValue

Modifier and Type	Method and Description
SymbolicValue	ConstraintManager.createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<SymbolicValue> values)

Uses of SymbolicValue in org.sonar.java.se.symbolicvalues

Subclasses of SymbolicValue in org.sonar.java.se.symbolicvalues

Modifier and Type	Class and Description
class	BinarySymbolicValue
class	NullCheckSymbolicValue
class	RelationalSymbolicValue
static class	SymbolicValue.AndSymbolicValue
static class	SymbolicValue.BooleanExpressionSymbolicValue
static class	SymbolicValue.InstanceOfSymbolicValue
static class	SymbolicValue.NotSymbolicValue
static class	SymbolicValue.OrSymbolicValue
static class	SymbolicValue.UnarySymbolicValue
static class	SymbolicValue.XorSymbolicValue

Fields in org.sonar.java.se.symbolicvalues declared as SymbolicValue

Modifier and Type	Field and Description
static SymbolicValue	SymbolicValue.FALSE_LITERAL
protected SymbolicValue	BinaryRelation.leftOp
static SymbolicValue	SymbolicValue.NULL_LITERAL
protected SymbolicValue	SymbolicValue.UnarySymbolicValue.operand
protected SymbolicValue	BinaryRelation.rightOp
static SymbolicValue	SymbolicValue.TRUE_LITERAL

Fields in org.sonar.java.se.symbolicvalues with type parameters of type SymbolicValue

Modifier and Type	Field and Description
static List<SymbolicValue>	SymbolicValue.PROTECTED_SYMBOLIC_VALUES

Methods in org.sonar.java.se.symbolicvalues that return SymbolicValue

Modifier and Type	Method and Description
SymbolicValue	SymbolicValue.wrappedValue()

Methods in org.sonar.java.se.symbolicvalues with parameters of type SymbolicValue

Modifier and Type	Method and Description
static BinaryRelation	BinaryRelation.binaryRelation(RelationalSymbolicValue.Kind kind, SymbolicValue leftOp, SymbolicValue rightOp)
protected List<ProgramState>	RelationalSymbolicValue.copyConstraint(SymbolicValue from, SymbolicValue to, ProgramState programState, BooleanConstraint booleanConstraint)
protected List<ProgramState>	BinarySymbolicValue.copyConstraint(SymbolicValue from, SymbolicValue to, ProgramState programState, BooleanConstraint booleanConstraint)
static boolean	SymbolicValue.isDisposable(SymbolicValue symbolicValue)
boolean	BinarySymbolicValue.references(SymbolicValue other)
boolean	SymbolicValue.references(SymbolicValue other)
boolean	SymbolicValue.UnarySymbolicValue.references(SymbolicValue other)

Method parameters in org.sonar.java.se.symbolicvalues with type arguments of type SymbolicValue

Modifier and Type	Method and Description
void	BinarySymbolicValue.computedFrom(List<SymbolicValue> symbolicValues)
void	SymbolicValue.computedFrom(List<SymbolicValue> symbolicValues)
void	SymbolicValue.UnarySymbolicValue.computedFrom(List<SymbolicValue> symbolicValues)

Constructors in org.sonar.java.se.symbolicvalues with parameters of type SymbolicValue

Constructor and Description
BinaryRelation(RelationalSymbolicValue.Kind kind, SymbolicValue v1, SymbolicValue v2)