org.sonar.java.locks

Class LockState.Unlocked

java.lang.Object

org.sonar.java.symexecengine.State

org.sonar.java.locks.LockState

org.sonar.java.locks.LockState.Unlocked

Enclosing class:

LockState

public static class LockState.Unlocked
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.Unlocked(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.Unlocked

public LockState.Unlocked(Tree tree)

Method Detail

merge

public State merge(State s)

Specified by:

merge in class State