|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectharpoon.Temp.TempFactory
public abstract class TempFactory
A TempFactory assigns unique identifiers to
Temps within a given scope.
| Constructor Summary | |
|---|---|
TempFactory()
|
|
| Method Summary | |
|---|---|
abstract String |
getScope()
Returns the static scope of this TempFactory. |
protected abstract String |
getUniqueID(String suggestion)
Returns a unique identifier within this scope. |
int |
hashCode()
Return a hashcode for this TempFactory. |
String |
toString()
Human-readable representation of TempFactory |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public TempFactory()
| Method Detail |
|---|
public abstract String getScope()
TempFactory.
Should be unique among TempFactorys and invariant
for a given TempFactory.
protected abstract String getUniqueID(String suggestion)
TempFactorys.
Should be repeatable; that is, the n'th call to getUniqueID()
with a given suggestion String for a given TempFactory
should always return the same String.
public String toString()
TempFactory
toString in class Objectpublic int hashCode()
TempFactory.
hashCode in class Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||