org.sonar.java.locks

Class LockState

java.lang.Object

org.sonar.java.symexecengine.State

org.sonar.java.locks.LockState

Direct Known Subclasses:

LockState.Locked, LockState.Unlocked

public abstract class LockState
extends State

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LockState.Locked
static class	LockState.Unlocked

Field Summary

Fields inherited from class org.sonar.java.symexecengine.State

UNSET

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class org.sonar.java.symexecengine.State

merge, reportingTrees

Methods inherited from class java.lang.Object

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

Constructor Detail

LockState

public LockState(Tree tree)

LockState

public LockState(List<Tree> trees)