public class ReplResultHistory
extends java.lang.Object
| Constructor and Description |
|---|
ReplResultHistory(int max) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(VncVal val) |
void |
addToEnv(Env env,
java.lang.String name,
VncVal val) |
void |
mergeToEnv(Env env) |