|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorc.runtime.regions.Region
orc.runtime.regions.IsolatedRegion
public class IsolatedRegion
An isolated region. This prevents the parent region
from having a link to the tokens in the region, so
they will not be killed when the region is killed,
and they may be garbage collected.
See Isolate.
| Field Summary |
|---|
| Fields inherited from class orc.runtime.regions.Region |
|---|
closed |
| Constructor Summary | |
|---|---|
IsolatedRegion(Region root,
Region parent)
|
|
| Method Summary | |
|---|---|
Region |
getParent()
|
protected void |
onClose()
|
| Methods inherited from class orc.runtime.regions.Region |
|---|
add, add, close, putContainedTokens, remove, remove |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public IsolatedRegion(Region root,
Region parent)
| Method Detail |
|---|
protected void onClose()
onClose in class Regionpublic Region getParent()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||