org.jmlspecs.jml4.esc.gc
Class IncarnationMap

java.lang.Object
  org.jmlspecs.jml4.esc.gc.IncarnationMap

public class IncarnationMap
extends java.lang.Object

Constructor Summary

IncarnationMap()

Method Summary

void	add(SimpleAssignable key, int value)
void	clear()
boolean	containsKey(SimpleAssignable key)
IncarnationMap	copy()
java.util.Set	entrySet()
java.util.Set	get(SimpleAssignable key)
int	getMax(SimpleAssignable key)
boolean	isEmpty()
java.util.Set	keySet()
void	put(SimpleAssignable key, int value)
void	put(SimpleAssignable key, java.util.Set value)
void	remove(SimpleAssignable key)
int	size()
java.lang.String	toString()
java.util.Map	toStringIntegerMap()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IncarnationMap

public IncarnationMap()

Method Detail

clear

public void clear()

containsKey

public boolean containsKey(SimpleAssignable key)

entrySet

public java.util.Set entrySet()

get

public java.util.Set get(SimpleAssignable key)

getMax

public int getMax(SimpleAssignable key)

isEmpty

public boolean isEmpty()

keySet

public java.util.Set keySet()

put

public void put(SimpleAssignable key,
                java.util.Set value)

put

public void put(SimpleAssignable key,
                int value)

add

public void add(SimpleAssignable key,
                int value)

remove

public void remove(SimpleAssignable key)

size

public int size()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toStringIntegerMap

public java.util.Map toStringIntegerMap()

copy

public IncarnationMap copy()