Package | Description |
---|---|
org.sonar.java.se | |
org.sonar.java.se.constraint | |
org.sonar.java.se.symbolicvalues |
Modifier and Type | Method and Description |
---|---|
ObjectConstraint |
ProgramState.getConstraintWithStatus(SymbolicValue value,
Object aState) |
Modifier and Type | Method and Description |
---|---|
List<ObjectConstraint> |
ProgramState.getFieldConstraints(Object state) |
Map<SymbolicValue,ObjectConstraint> |
ProgramState.getValuesWithConstraints(Object state) |
Modifier and Type | Field and Description |
---|---|
static ObjectConstraint |
ObjectConstraint.NOT_NULL |
Modifier and Type | Method and Description |
---|---|
ObjectConstraint |
ObjectConstraint.inverse() |
static ObjectConstraint |
ObjectConstraint.nullConstraint() |
static ObjectConstraint |
ObjectConstraint.nullConstraint(Tree syntaxNode) |
ObjectConstraint |
ObjectConstraint.withStatus(Object newStatus) |
Modifier and Type | Method and Description |
---|---|
List<ProgramState> |
SymbolicValue.setConstraint(ProgramState programState,
ObjectConstraint nullConstraint) |
ProgramState |
SymbolicValue.setSingleConstraint(ProgramState programState,
ObjectConstraint nullConstraint) |
Copyright © 2012–2016 SonarSource. All rights reserved.