org.sonar.java.se

Class LearnedConstraint

java.lang.Object

org.sonar.java.se.LearnedConstraint

public class LearnedConstraint
extends Object

Constructor Summary

Constructors

Constructor and Description
LearnedConstraint(SymbolicValue sv, Constraint constraint)

Method Summary

Modifier and Type	Method and Description
Constraint	constraint()
SymbolicValue	symbolicValue()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LearnedConstraint

public LearnedConstraint(SymbolicValue sv,
                         Constraint constraint)

Method Detail

symbolicValue

public SymbolicValue symbolicValue()

constraint

public Constraint constraint()

toString

public String toString()

Overrides:

toString in class Object