|
|||||||||
| 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 Temps from one
TempFactory to equivalent Temps in another,
creating new Temps as necessary.
| Constructor Summary | |
|---|---|
CloningTempMap(TempFactory old_tf,
TempFactory new_tf)
Creates a CloningTempMap, given the
source and destination TempFactorys. |
|
| 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 TempFactorys.
| 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 TempMappublic 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 | ||||||||