lmf.formula.csp.node
Class TDefs

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.Token
          extended by lmf.formula.csp.node.TDefs
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class TDefs
extends Token


Constructor Summary
TDefs()
           
TDefs(int line, int pos)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 void setText(java.lang.String text)
           
 
Methods inherited from class lmf.formula.csp.node.Token
getLine, getPos, getText, setLine, setPos, toString
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TDefs

public TDefs()

TDefs

public TDefs(int line,
             int pos)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

setText

public void setText(java.lang.String text)
Overrides:
setText in class Token