org.checkerframework.dataflow.cfg

Class CFGBuilder.TryFinallyScopeMap

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<javax.lang.model.element.Name,CFGBuilder.Label>

org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<javax.lang.model.element.Name,CFGBuilder.Label>

Enclosing class:

CFGBuilder

protected static class CFGBuilder.TryFinallyScopeMap
extends java.util.HashMap<javax.lang.model.element.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

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

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

java.util.Map.Entry<K,V>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TryFinallyScopeMap()

Method Summary

Modifier and Type	Method and Description
boolean	containsKey(java.lang.Object key)
CFGBuilder.Label	get(java.lang.Object key)
java.util.Map<javax.lang.model.element.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(java.lang.Object key)

Specified by:

get in interface java.util.Map<javax.lang.model.element.Name,CFGBuilder.Label>

Overrides:

get in class java.util.HashMap<javax.lang.model.element.Name,CFGBuilder.Label>

containsKey

public boolean containsKey(java.lang.Object key)

Specified by:

containsKey in interface java.util.Map<javax.lang.model.element.Name,CFGBuilder.Label>

Overrides:

containsKey in class java.util.HashMap<javax.lang.model.element.Name,CFGBuilder.Label>

getAccessedNames

public java.util.Map<javax.lang.model.element.Name,CFGBuilder.Label> getAccessedNames()