ConForM.CoopnTools.JavaProto
Class VariableBinding

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.VariableBinding

public class VariableBinding
extends java.lang.Object


Constructor Summary
VariableBinding(CoopnTerm coopnTerm, ConForM.CoopnTools.JavaProto.PendingTest pendingTest)
           
VariableBinding(CoopnTerm coopnTerm, java.lang.String javaTerm)
           
 
Method Summary
 ConForM.CoopnTools.JavaProto.PendingTest[] addDefinition(java.lang.String javaTerm)
           
 void addPendingTest(ConForM.CoopnTools.JavaProto.PendingTest pt)
           
 java.lang.String getJavaTerm()
           
 boolean isUndefined()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

VariableBinding

public VariableBinding(CoopnTerm coopnTerm,
                       ConForM.CoopnTools.JavaProto.PendingTest pendingTest)

VariableBinding

public VariableBinding(CoopnTerm coopnTerm,
                       java.lang.String javaTerm)
Method Detail

addDefinition

public ConForM.CoopnTools.JavaProto.PendingTest[] addDefinition(java.lang.String javaTerm)

addPendingTest

public void addPendingTest(ConForM.CoopnTools.JavaProto.PendingTest pt)

isUndefined

public boolean isUndefined()

getJavaTerm

public java.lang.String getJavaTerm()