org.sonar.java.se

Class ExplodedGraph.Node.LearnedValue

java.lang.Object

org.sonar.java.se.ExplodedGraph.Node.LearnedValue

Enclosing class:

ExplodedGraph.Node

public static class ExplodedGraph.Node.LearnedValue
extends Object

Constructor Summary

Constructors

Constructor and Description
LearnedValue(SymbolicValue sv, Symbol symbol)

Method Summary

Modifier and Type	Method and Description
Symbol	getSymbol()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LearnedValue

public LearnedValue(SymbolicValue sv,
                    Symbol symbol)

Method Detail

getSymbol

public Symbol getSymbol()

toString

public String toString()

Overrides:

toString in class Object