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

Uses of ProgramState in org.sonar.java.se

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

Modifier and Type	Field and Description
static ProgramState	ProgramState.EMPTY_STATE
ProgramState	ProgramState.Pop.state

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

Modifier and Type	Method and Description
ProgramState	ProgramState.addConstraint(SymbolicValue symbolicValue, Constraint constraint)
ProgramState	ProgramState.cleanupConstraints()
ProgramState	ProgramState.cleanupDeadSymbols(Set<Symbol> liveVariables)
ProgramState	CheckerDispatcher.getState()
ProgramState	CheckerContext.getState()
ProgramState	ProgramState.resetFieldValues(ConstraintManager constraintManager)
ProgramState	ProgramState.visitedPoint(ExplodedGraph.ProgramPoint programPoint, int nbOfVisit)

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

Modifier and Type	Method and Description
void	CheckerDispatcher.addTransition(ProgramState state)
void	CheckerContext.addTransition(ProgramState state)
void	ExplodedGraphWalker.enqueue(ExplodedGraph.ProgramPoint programPoint, ProgramState programState)
void	ExplodedGraphWalker.enqueue(ExplodedGraph.ProgramPoint programPoint, ProgramState programState, boolean exitPath)

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

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

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

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

Modifier and Type	Field and Description
protected ProgramState	CheckerTreeNodeVisitor.programState

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

Modifier and Type	Method and Description
ProgramState	UnclosedResourcesCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	SECheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NullDereferenceCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NonNullSetToNullCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	LocksNotUnlockedCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	DivisionByZeroCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	CustomUnclosedResourcesCheck.checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	UnclosedResourcesCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	SECheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	OptionalGetBeforeIsPresentCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NullDereferenceCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NonNullSetToNullCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	NoWayOutLoopCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	LocksNotUnlockedCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	DivisionByZeroCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)
ProgramState	CustomUnclosedResourcesCheck.checkPreStatement(CheckerContext context, Tree syntaxNode)

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

Constructor and Description
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 and 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 and 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 and 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 and Description
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)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.NotSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.InstanceOfSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.AndSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.OrSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.XorSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
List<ProgramState>	NullCheckSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, ObjectConstraint nullConstraint)

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

Modifier and Type	Method and Description
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)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.NotSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.InstanceOfSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.AndSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.OrSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.XorSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
List<ProgramState>	NullCheckSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, ObjectConstraint nullConstraint)
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 and Description
protected static void	SymbolicValue.BooleanExpressionSymbolicValue.addStates(List<ProgramState> states, List<ProgramState> newStates)
protected static void	SymbolicValue.BooleanExpressionSymbolicValue.addStates(List<ProgramState> states, List<ProgramState> newStates)