Uses of Class
org.sonar.java.se.ProgramState.SymbolicValueSymbol
-
Packages that use ProgramState.SymbolicValueSymbol Package Description org.sonar.java.se org.sonar.java.se.constraint org.sonar.java.se.symbolicvalues -
-
Uses of ProgramState.SymbolicValueSymbol in org.sonar.java.se
Fields in org.sonar.java.se with type parameters of type ProgramState.SymbolicValueSymbol Modifier and Type Field Description List<ProgramState.SymbolicValueSymbol>
ProgramState.Pop. valuesAndSymbols
Methods in org.sonar.java.se that return ProgramState.SymbolicValueSymbol Modifier and Type Method Description ProgramState.SymbolicValueSymbol
ProgramState. peekValueSymbol()
Methods in org.sonar.java.se that return types with arguments of type ProgramState.SymbolicValueSymbol Modifier and Type Method Description List<ProgramState.SymbolicValueSymbol>
ProgramState. peekValuesAndSymbols(int n)
Constructor parameters in org.sonar.java.se with type arguments of type ProgramState.SymbolicValueSymbol Constructor Description Pop(ProgramState programState, List<ProgramState.SymbolicValueSymbol> result)
-
Uses of ProgramState.SymbolicValueSymbol in org.sonar.java.se.constraint
Method parameters in org.sonar.java.se.constraint with type arguments of type ProgramState.SymbolicValueSymbol Modifier and Type Method Description SymbolicValue
ConstraintManager. createBinarySymbolicValue(Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue
ConstraintManager. createBinarySymbolicValue(Tree syntaxNode, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue
ConstraintManager. createMethodSymbolicValue(MethodInvocationTree syntaxNode, List<ProgramState.SymbolicValueSymbol> values)
-
Uses of ProgramState.SymbolicValueSymbol in org.sonar.java.se.symbolicvalues
Method parameters in org.sonar.java.se.symbolicvalues with type arguments of type ProgramState.SymbolicValueSymbol Modifier and Type Method Description void
BinarySymbolicValue. computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)
void
SymbolicValue. computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)
void
SymbolicValue.UnarySymbolicValue. computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues)
-