org.sonar.java.locks

Class LockState.Locked

java.lang.Object

org.sonar.java.symexecengine.State

org.sonar.java.locks.LockState

org.sonar.java.locks.LockState.Locked

Enclosing class:

LockState

public static class LockState.Locked
extends LockState

Nested Class Summary

Nested classes/interfaces inherited from class org.sonar.java.locks.LockState

LockState.Locked, LockState.Unlocked

Field Summary

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

UNSET

Constructor Summary

Constructors

Constructor and Description
LockState.Locked(List<Tree> changingStateTrees)
LockState.Locked(Tree tree)

Method Summary

Methods

Modifier and Type	Method and Description
State	merge(State s)

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

reportingTrees

Methods inherited from class java.lang.Object

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

Constructor Detail

LockState.Locked

public LockState.Locked(Tree tree)

LockState.Locked

public LockState.Locked(List<Tree> changingStateTrees)

Method Detail

merge

public State merge(State s)

Specified by:

merge in class State