|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectharpoon.Temp.CloningTempMap
public class CloningTempMap
A CloningTempMap
maps Temp
s from one
TempFactory
to equivalent Temp
s in another,
creating new Temp
s as necessary.
Constructor Summary | |
---|---|
CloningTempMap(TempFactory old_tf,
TempFactory new_tf)
Creates a CloningTempMap , given the
source and destination TempFactory s. |
Method Summary | |
---|---|
Map<Temp,Temp> |
asMap()
Provide access to an unmodifiable version of this Temp mapping, as a java.util.Map . |
Temp |
tempMap(Temp t)
Return a Temp from the new_tf
TempFactory that corresponds to the specified
Temp t from the old_tf
TempFactory , creating it if necessary. |
TempMap |
unmodifiable()
Provide access to an unmodifiable version of this TempMap
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CloningTempMap(TempFactory old_tf, TempFactory new_tf)
CloningTempMap
, given the
source and destination TempFactory
s.
Method Detail |
---|
public Temp tempMap(Temp t)
Temp
from the new_tf
TempFactory
that corresponds to the specified
Temp
t
from the old_tf
TempFactory
, creating it if necessary.
tempMap
in interface TempMap
public TempMap unmodifiable()
TempMap
public Map<Temp,Temp> asMap()
Temp
mapping, as a java.util.Map
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |