mapss.dif.language.sablecc.node
Class TRefinement

java.lang.Object
  mapss.dif.language.sablecc.node.Node
      mapss.dif.language.sablecc.node.Token
          mapss.dif.language.sablecc.node.TRefinement

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class TRefinement
extends Token

Constructor Summary

TRefinement()

TRefinement(int line, int pos)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
void	setText(java.lang.String text)

Methods inherited from class mapss.dif.language.sablecc.node.Token

getLine, getPos, getText, setLine, setPos, 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

TRefinement

public TRefinement()

TRefinement

public TRefinement(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