edu.mit.csail.sdg.alloy4viz
Class VizState.MMap<T>

java.lang.Object
  edu.mit.csail.sdg.alloy4viz.VizState.MMap<T>

Enclosing class:

VizState

public final class VizState.MMap<T>
extends java.lang.Object

Method Summary

T	get(AlloyElement obj)
void	put(AlloyElement obj, T value) Set the value for the given object; can be "null" to mean "inherit"
T	resolve(AlloyElement obj)

Methods inherited from class java.lang.Object

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

Method Detail

get

public T get(AlloyElement obj)

resolve

public T resolve(AlloyElement obj)

put

public void put(AlloyElement obj,
                T value)

Set the value for the given object; can be "null" to mean "inherit"