imop.lib.analysis.dataflow.interprocedural

Class LockSetAnalysis.LockMap

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<AbstractLock,java.lang.Integer>

imop.lib.analysis.dataflow.interprocedural.LockSetAnalysis.LockMap

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<AbstractLock,java.lang.Integer>

Enclosing class:

LockSetAnalysis

private static class LockSetAnalysis.LockMap
extends java.util.HashMap<AbstractLock,java.lang.Integer>

This class ensures that if all entries in the map are entered using the HashMap::put method, then the maximum integer value that an AbstractLock may map to would be MAX_NESTING.
Note: This class will not ensure the above guarantee, if changes to the map are made via other methods, like HashMap::putAll.

Author:

aman

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>

Field Summary

Fields

Modifier and Type	Field and Description
static int	MAX_NESTING
private static long	serialVersionUID

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LockMap()

Method Summary

Modifier and Type	Method and Description
LockSetAnalysis.LockMap	getCopy() Obtain a copy of this map.
java.lang.Integer	put(AbstractLock abstractLock, java.lang.Integer integer)

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, 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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

MAX_NESTING

public static final int MAX_NESTING

See Also:

Constant Field Values

Constructor Detail

LockMap

private LockMap()

Method Detail

getCopy

public LockSetAnalysis.LockMap getCopy()

Obtain a copy of this map.
This method is not a constructor due to some unknown reasons.

Returns:

a copy of this map.

put

public java.lang.Integer put(AbstractLock abstractLock,
                             java.lang.Integer integer)

Specified by:

put in interface java.util.Map<AbstractLock,java.lang.Integer>

Overrides:

put in class java.util.HashMap<AbstractLock,java.lang.Integer>