Uses of Class
org.sonar.java.se.ProgramState

Packages that use ProgramState

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

Uses of ProgramState in org.sonar.java.se

Fields in org.sonar.java.se declared as ProgramState

Modifier and Type	Field	Description
static final ProgramState	ProgramState.EMPTY_STATE
final ProgramState	ExplodedGraph.Node.programState
final ProgramState	ProgramState.Pop.state

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

Modifier and Type	Method	Description
ProgramState	ProgramState.addConstraint(SymbolicValue symbolicValue, Constraint constraint)
ProgramState	ProgramState.addConstraints(SymbolicValue symbolicValue, ConstraintsByDomain constraintsForSV)
ProgramState	ProgramState.addConstraintTransitively(SymbolicValue symbolicValue, Constraint constraint)
ProgramState	ProgramState.cleanupConstraints(Collection<SymbolicValue> protectedSymbolicValues)
ProgramState	ProgramState.cleanupDeadSymbols(Set<Symbol> liveVariables, Collection<SymbolicValue> protectedSymbolicValues)
ProgramState	CheckerContext.getState()
ProgramState	CheckerDispatcher.getState()
ProgramState	ProgramState.put(Symbol symbol, SymbolicValue value)	To be used only by the ExplodedGraphWalker only, when manipulating program states.
ProgramState	ProgramState.removeConstraintsOnDomain(SymbolicValue sv, Class<? extends Constraint> domain)
ProgramState	ProgramState.stackValue(SymbolicValue sv)
ProgramState	ProgramState.stackValue(SymbolicValue sv, Symbol symbol)
ProgramState	ProgramState.visitedPoint(ProgramPoint programPoint, int nbOfVisit)
ProgramState	ProgramState.withEntryException(SymbolicValue.ExceptionalSymbolicValue exception)

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

Modifier and Type	Method	Description
void	CheckerContext.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	ExplodedGraphWalker.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerContext.addTransition(ProgramState state)
void	CheckerDispatcher.addTransition(ProgramState state)
void	ExplodedGraphWalker.enqueue(ProgramPoint programPoint, ProgramState programState)
void	ExplodedGraphWalker.enqueue(ProgramPoint newProgramPoint, ProgramState programState, boolean exitPath)
void	ExplodedGraphWalker.enqueue(ProgramPoint newProgramPoint, ProgramState programState, boolean exitPath, MethodYield methodYield)
void	ExplodedGraphWalker.enqueue(ProgramPoint programPoint, ProgramState programState, MethodYield methodYield)
ExplodedGraph.Node	ExplodedGraph.node(ProgramPoint programPoint, ProgramState programState)	Returns node associated with given (programPoint,programState) pair.

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

Modifier	Constructor	Description
	Pop(ProgramState programState, List<ProgramState.SymbolicValueSymbol> result)

Uses of ProgramState in org.sonar.java.se.checks

Fields in org.sonar.java.se.checks declared as ProgramState

Modifier and Type	Field	Description
protected ProgramState	CheckerTreeNodeVisitor.programState

Methods in org.sonar.java.se.checks that return ProgramState

Modifier and Type	Method	Description
ProgramState	CustomUnclosedResourcesCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	DivisionByZeroCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	LocksNotUnlockedCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	MapComputeIfAbsentOrPresentCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	MinMaxRangeCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NonNullSetToNullCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NullDereferenceCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	ObjectOutputStreamCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	OptionalGetBeforeIsPresentCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	RedundantAssignmentsCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	SECheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	StreamConsumedCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	UnclosedResourcesCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	XmlValidatedSignatureCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	XxeProcessingCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	AbstractXMLProcessing.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	CustomUnclosedResourcesCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	DivisionByZeroCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	LocksNotUnlockedCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	MapComputeIfAbsentOrPresentCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	MinMaxRangeCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NonNullSetToNullCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NoWayOutLoopCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NullDereferenceCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	ObjectOutputStreamCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	OptionalGetBeforeIsPresentCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	ParameterNullnessCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	SECheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	StreamConsumedCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	UnclosedResourcesCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	XmlValidatedSignatureCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	XxeProcessingCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)

Constructors in org.sonar.java.se.checks with parameters of type ProgramState

Modifier	Constructor	Description
protected	CheckerTreeNodeVisitor(ProgramState programState)

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

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

Modifier and Type	Method	Description
Pair<List<ProgramState>,List<ProgramState>>	ConstraintManager.assumeDual(ProgramState programState)
Pair<List<ProgramState>,List<ProgramState>>	ConstraintManager.assumeDual(ProgramState programState)

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

Modifier and Type	Method	Description
Pair<List<ProgramState>,List<ProgramState>>	ConstraintManager.assumeDual(ProgramState programState)
boolean	ConstraintManager.isNull(ProgramState ps, SymbolicValue val)

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

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

Modifier and Type	Method	Description
ProgramState	SymbolicValue.setSingleConstraint(ProgramState programState, ObjectConstraint nullConstraint)

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

Modifier and Type	Method	Description
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
protected List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
List<ProgramState>	SymbolicValue.AndSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.InstanceOfSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.NotSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.OrSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, Constraint constraint)
protected List<ProgramState>	SymbolicValue.setConstraint(ProgramState state, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, ObjectConstraint nullConstraint)
List<ProgramState>	SymbolicValue.XorSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)

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

Modifier and Type	Method	Description
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
protected List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
List<ProgramState>	SymbolicValue.AndSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.InstanceOfSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.NotSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.OrSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, Constraint constraint)
protected List<ProgramState>	SymbolicValue.setConstraint(ProgramState state, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, ObjectConstraint nullConstraint)
List<ProgramState>	SymbolicValue.XorSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
ProgramState	SymbolicValue.setSingleConstraint(ProgramState programState, ObjectConstraint nullConstraint)

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

Modifier and Type	Method	Description
protected static void	SymbolicValue.BooleanExpressionSymbolicValue.addStates(List<ProgramState> states, List<ProgramState> newStates)

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

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

Modifier and Type	Method	Description
Stream<ProgramState>	MethodYield.parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState)
Stream<ProgramState>	ExceptionalCheckBasedYield.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>	HappyPathYield.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)

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

Modifier and Type	Method	Description
Stream<ProgramState>	MethodYield.parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState)
Stream<ProgramState>	ExceptionalCheckBasedYield.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>	HappyPathYield.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)