org.checkerframework.dataflow.cfg

Class CFGBuilder.TryFinallyScopeCell

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeCell

Enclosing class:

CFGBuilder

protected static class CFGBuilder.TryFinallyScopeCell
extends Object

Storage cell for a single Label, with tracking whether it was accessed.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TryFinallyScopeCell()
protected	TryFinallyScopeCell(CFGBuilder.Label label)

Method Summary

Modifier and Type	Method and Description
CFGBuilder.Label	accessLabel()
CFGBuilder.Label	peekLabel()
boolean	wasAccessed()

Methods inherited from class java.lang.Object

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

Constructor Detail

TryFinallyScopeCell

protected TryFinallyScopeCell()

TryFinallyScopeCell

protected TryFinallyScopeCell(CFGBuilder.Label label)

Method Detail

accessLabel

public CFGBuilder.Label accessLabel()

peekLabel

public CFGBuilder.Label peekLabel()

wasAccessed

public boolean wasAccessed()