org.sonar.java.closeresource

Class CloseableState.Open

java.lang.Object

org.sonar.java.symexecengine.State

org.sonar.java.closeresource.CloseableState

org.sonar.java.closeresource.CloseableState.Open

Enclosing class:

CloseableState

public static class CloseableState.Open
extends CloseableState

Nested Class Summary

Nested classes/interfaces inherited from class org.sonar.java.closeresource.CloseableState

CloseableState.Closed, CloseableState.Ignored, CloseableState.Open

Field Summary

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

UNSET

Constructor Summary

Constructors

Constructor and Description
CloseableState.Open(List<Tree> changingStateTrees)
CloseableState.Open(Tree tree)

Method Summary

Methods

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

Methods inherited from class org.sonar.java.closeresource.CloseableState

isIgnored

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

CloseableState.Open

public CloseableState.Open(Tree tree)

CloseableState.Open

public CloseableState.Open(List<Tree> changingStateTrees)

Method Detail

merge

public State merge(State s)

Specified by:

merge in class State