org.sonar.java.se

Class ExplodedGraph.Node.LearnedConstraint

java.lang.Object

org.sonar.java.se.ExplodedGraph.Node.LearnedConstraint

Enclosing class:

ExplodedGraph.Node

public static class ExplodedGraph.Node.LearnedConstraint
extends Object

Constructor Summary

Constructors

Constructor and Description
LearnedConstraint(SymbolicValue sv, Constraint constraint)

Method Summary

Modifier and Type	Method and Description
Constraint	getConstraint()
SymbolicValue	getSv()
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,
                         @Nullable
                         Constraint constraint)

Method Detail

getSv

public SymbolicValue getSv()

getConstraint

@CheckForNull
public Constraint getConstraint()

toString

public String toString()

Overrides:

toString in class Object