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

Packages that use ProgramState

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

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

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

Modifier and Type	Method	Description
default ProgramState	BytecodeSECheck.checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)
ProgramState	BytecodeSECheck.ZeronessCheck.checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)
default ProgramState	BytecodeSECheck.checkPreStatement(CheckerDispatcher dispatcher, Instruction inst)
ProgramState	BytecodeSECheck.NullnessCheck.checkPreStatement(CheckerDispatcher dispatcher, Instruction inst)
ProgramState	CheckerDispatcher.getState()

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

Modifier and Type	Method	Description
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerDispatcher.addTransition(ProgramState state)

Uses of ProgramState in org.sonar.java.se

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

Modifier and Type	Field	Description
static ProgramState	ProgramState.EMPTY_STATE
ProgramState	ExplodedGraph.Node.programState
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(int index, SymbolicValue value)
ProgramState	ProgramState.put(Symbol symbol, SymbolicValue value)
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)

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

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	NonNullSetToNullCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NullDereferenceCheck.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	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	NonNullSetToNullCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NoWayOutLoopCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NullDereferenceCheck.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)

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

Constructor	Description
CheckerTreeNodeVisitor(ProgramState programState)

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

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

Modifier and Type	Method	Description
ProgramState	DebugMethodYieldsOnInvocationsCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)

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)