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
org.sonar.java.se.xproc

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()
SymbolicValue	ProgramState.exitValue()
SymbolicValue	ProgramState.getValue(Symbol symbol)
SymbolicValue	ProgramState.peekValue()
SymbolicValue	ProgramState.peekValue(int i)
SymbolicValue	LearnedConstraint.symbolicValue()
SymbolicValue	LearnedAssociation.symbolicValue()

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

Modifier and Type	Method and Description
List<SymbolicValue>	ProgramState.getValuesWithConstraints(Constraint constraint)
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)
ProgramState	ProgramState.addConstraints(SymbolicValue symbolicValue, PMap<Class<? extends Constraint>,Constraint> constraintsForSV)
void	ExplodedGraphWalker.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerContext.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
boolean	ProgramState.canReach(SymbolicValue symbolicValue)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)
<T extends Constraint> T	ProgramState.getConstraint(SymbolicValue sv, Class<T> domain)
PMap<Class<? extends Constraint>,Constraint>	ProgramState.getConstraints(SymbolicValue sv)
ProgramState	ProgramState.put(Symbol symbol, SymbolicValue value)
ProgramState	ProgramState.removeConstraintsOnDomain(SymbolicValue sv, Class<? extends Constraint> domain)
ProgramState	ProgramState.stackValue(SymbolicValue sv)

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

Modifier and Type	Method and Description
ProgramState	ProgramState.cleanupConstraints(Collection<SymbolicValue> protectedSymbolicValues)
ProgramState	ProgramState.cleanupDeadSymbols(Set<Symbol> liveVariables, Collection<SymbolicValue> protectedSymbolicValues)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)

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

Constructor and Description
LearnedAssociation(SymbolicValue sv, Symbol symbol)
LearnedConstraint(SymbolicValue sv, Constraint constraint)

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

Constructor and Description
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.createBinarySymbolicValue(Tree syntaxNode, List<SymbolicValue> computedFrom)
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.createBinarySymbolicValue(Tree syntaxNode, List<SymbolicValue> computedFrom)
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	RelationalSymbolicValue
static class	SymbolicValue.AndSymbolicValue
static class	SymbolicValue.BooleanExpressionSymbolicValue
static class	SymbolicValue.ExceptionalSymbolicValue
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	BinarySymbolicValue.getLeftOp()
SymbolicValue	BinarySymbolicValue.getRightOp()
SymbolicValue	SymbolicValue.wrappedValue()

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

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

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

Modifier and Type	Method and Description
static boolean	SymbolicValue.isDisposable(SymbolicValue symbolicValue)
boolean	SymbolicValue.references(SymbolicValue other)
boolean	SymbolicValue.UnarySymbolicValue.references(SymbolicValue other)
boolean	BinarySymbolicValue.references(SymbolicValue other)

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

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

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

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

Modifier and Type	Method and Description
List<SymbolicValue>	MethodBehavior.parameters()

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

Modifier and Type	Method and Description
void	MethodBehavior.addParameter(SymbolicValue sv)
ExceptionalYield	MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, Type exceptionType, SECheck check)

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

Modifier and Type	Method and Description
Stream<ProgramState>	MethodYield.parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState)
abstract Stream<ProgramState>	MethodYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
abstract Stream<ProgramState>	MethodYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	HappyPathYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	HappyPathYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalCheckBasedYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
Stream<ProgramState>	ExceptionalCheckBasedYield.statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)

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

Constructor and Description
ExceptionalCheckBasedYield(SymbolicValue svCausingException, Type exceptionType, Class<? extends SECheck> check, ExplodedGraph.Node node, MethodBehavior behavior)