TEndOfLineComment.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 TEndOfLineComment extends Token
00008 {
00009     public TEndOfLineComment(String text)
00010     {
00011         setText(text);
00012     }
00013     public TEndOfLineComment(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).caseTEndOfLineComment(this);
00022     }
00023     public Object clone()
00024     {
00025       return new TEndOfLineComment(getText(), getLine(), getPos());
00026     }
00027 }