Package org.sonar.java.se

Class LearnedConstraint

java.lang.Object

org.sonar.java.se.LearnedConstraint

public class LearnedConstraint
extends Object

Constructor Summary

Constructors

Constructor	Description
LearnedConstraint(SymbolicValue sv, Constraint constraint)

Method Summary

Modifier and Type	Method	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 Details

LearnedConstraint

public LearnedConstraint(SymbolicValue sv,
 Constraint constraint)

Method Details

symbolicValue

public SymbolicValue symbolicValue()

constraint

public Constraint constraint()

toString

public String toString()

Overrides:

toString in class Object