mapss.dif.language.sablecc.node
Class TDouble

java.lang.Object
  extended by mapss.dif.language.sablecc.node.Node
      extended by mapss.dif.language.sablecc.node.Token
          extended by mapss.dif.language.sablecc.node.TDouble
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class TDouble
extends Token


Constructor Summary
TDouble(java.lang.String text)
           
TDouble(java.lang.String text, int line, int pos)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 
Methods inherited from class mapss.dif.language.sablecc.node.Token
getLine, getPos, getText, setLine, setPos, setText, toString
 
Methods inherited from class mapss.dif.language.sablecc.node.Node
cloneList, cloneNode, parent, replaceBy, toString, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TDouble

public TDouble(java.lang.String text)

TDouble

public TDouble(java.lang.String text,
               int line,
               int pos)
Method Detail

clone

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

apply

public void apply(Switch sw)