| Modifier and Type | Method and Description |
|---|---|
Environment.Mark |
Environment.getMark()
Get a mark that will allow you to restore the current state of
this environment.
|
Environment.Mark |
HashEnvironment.getMark() |
Environment.Mark |
PersistentEnvironment.getMark()
Get a mark that will allow you to restore the current state of
this environment.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Environment.undoToMark(Environment.Mark m)
Undo all changes since the supplied mark, restoring the map to
its state at the time the mark was taken.
|
void |
HashEnvironment.undoToMark(Environment.Mark m) |
void |
PersistentEnvironment.undoToMark(Environment.Mark m)
Undo all changes since the supplied mark, restoring the map to
its state at the time the mark was taken.
|
Copyright (c) 2006 C. Scott Ananian