ubc.cs.JLog.Foundation
Class jVariableRegistry

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

public class jVariableRegistry
extends java.lang.Object


Nested Class Summary
protected  class jVariableRegistry.jVariablePair
           
 
Field Summary
protected  java.util.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 java.util.Vector variables
Constructor Detail

jVariableRegistry

public jVariableRegistry()
Method Detail

copyVariable

public jVariable copyVariable(jVariable v)