ubc.cs.JLog.Foundation
Class jVariableRegistry

java.lang.Object
  ubc.cs.JLog.Foundation.jVariableRegistry

public class jVariableRegistry
extends Object

Nested Class Summary

protected class

jVariableRegistry.jVariablePair

Field Summary

protected Vector

variables

Constructor Summary

jVariableRegistry()

Method Summary

jVariable

copyVariable(jVariable v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

variables

protected Vector variables

Constructor Detail

jVariableRegistry

public jVariableRegistry()

Method Detail

copyVariable

public jVariable copyVariable(jVariable v)