org.checkerframework.dataflow.cfg

Class CFGBuilder.TryFinallyScopeMap

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<Name,CFGBuilder.Label>

org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap

All Implemented Interfaces:

Serializable, Cloneable, Map<Name,CFGBuilder.Label>

Enclosing class:

CFGBuilder

protected static class CFGBuilder.TryFinallyScopeMap
extends HashMap<Name,CFGBuilder.Label>

A map that keeps track of new labels added within a try block. For names that are outside of the try block, the finally label is returned. This ensures that a finally block is executed when control flows outside of the try block.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TryFinallyScopeMap()

Method Summary

Modifier and Type	Method and Description
boolean	containsKey(Object key)
CFGBuilder.Label	get(Object key)
Map<Name,CFGBuilder.Label>	getAccessedNames()

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsValue, entrySet, forEach, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

TryFinallyScopeMap

protected TryFinallyScopeMap()

Method Detail

get

public CFGBuilder.Label get(Object key)

Specified by:

get in interface Map<Name,CFGBuilder.Label>

Overrides:

get in class HashMap<Name,CFGBuilder.Label>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<Name,CFGBuilder.Label>

Overrides:

containsKey in class HashMap<Name,CFGBuilder.Label>

getAccessedNames

public Map<Name,CFGBuilder.Label> getAccessedNames()