Package | Description |
---|---|
org.sonar.java.se | |
org.sonar.java.se.constraint |
Modifier and Type | Method and Description |
---|---|
Constraint |
ProgramState.getConstraint(SymbolicValue sv) |
Modifier and Type | Method and Description |
---|---|
ProgramState |
ProgramState.addConstraint(SymbolicValue symbolicValue,
Constraint constraint) |
Modifier and Type | Class and Description |
---|---|
class |
BooleanConstraint |
class |
ObjectConstraint |
class |
TypedConstraint |
Copyright © 2012–2016 SonarSource. All rights reserved.