TDocumentationComment.java Source File

00001 package edu.ksu.cis.bandera.specification.node;
00002 
00003 /* This file was generated by SableCC (http://www.sablecc.org/). */
00004 
00005 import edu.ksu.cis.bandera.specification.analysis.*;
00006 
00007 public final class TDocumentationComment extends Token
00008 {
00009     public TDocumentationComment(String text)
00010     {
00011         setText(text);
00012     }
00013     public TDocumentationComment(String text, int line, int pos)
00014     {
00015         setText(text);
00016         setLine(line);
00017         setPos(pos);
00018     }
00019     public void apply(Switch sw)
00020     {
00021         ((Analysis) sw).caseTDocumentationComment(this);
00022     }
00023     public Object clone()
00024     {
00025       return new TDocumentationComment(getText(), getLine(), getPos());
00026     }
00027 }