|
|
|
|
|
|
|
|
void freeze() { wasFrozen = true; } |
|
|
void freeze() { wasFrozen = true; } |
|
|
|
|
|
|
|
|
void checkModify() throws RuntimeException { |
|
|
void checkModify() throws RuntimeException { |
|
|
super.checkModify(); |
|
|
|
|
|
|
|
|
if (isFrozen()) { |
|
|
|
|
|
String msg = getName() + " class is frozen"; |
|
|
|
|
|
if (wasPruned) |
|
|
|
|
|
msg += " and pruned"; |
|
|
|
|
|
|
|
|
|
|
|
throw new RuntimeException(msg); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
wasChanged = true; |
|
|
wasChanged = true; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
/* See also checkModified() |
|
|
|
|
|
*/ |
|
|
private void checkPruned(String method) { |
|
|
private void checkPruned(String method) { |
|
|
if (wasPruned) |
|
|
if (wasPruned) |
|
|
throw new RuntimeException(method + "(): " + getName() |
|
|
throw new RuntimeException(method + "(): " + getName() |