org.sonar.java.symexecengine

Class State

java.lang.Object

org.sonar.java.symexecengine.State

Direct Known Subclasses:

CloseableState, LockState

public abstract class State
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static State	UNSET

Constructor Summary

Constructors

Constructor and Description
State(List<Tree> trees)
State(Tree tree)

Method Summary

Methods

Modifier and Type	Method and Description
abstract State	merge(State s)
List<Tree>	reportingTrees()

Methods inherited from class java.lang.Object

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

Field Detail

UNSET

public static final State UNSET

Constructor Detail

State

public State(Tree tree)

State

public State(List<Tree> trees)

Method Detail

merge

public abstract State merge(State s)

reportingTrees

public List<Tree> reportingTrees()