public interface Environment<K,V>
extends java.util.Map<K,V>
Environment is a Map with scoping:
you can save marks into the environment and undo all changes
since a mark.| Modifier and Type | Interface and Description |
|---|---|
static interface |
Environment.Mark
A abstract property for marks into an environment.
|
| Modifier and Type | Method and Description |
|---|---|
Environment.Mark |
getMark()
Get a mark that will allow you to restore the current state of
this environment.
|
void |
undoToMark(Environment.Mark m)
Undo all changes since the supplied mark, restoring the map to
its state at the time the mark was taken.
|
Environment.Mark getMark()
void undoToMark(Environment.Mark m)
Copyright (c) 2006 C. Scott Ananian