TFloatLiteral.java Source File

00001 package edu.ksu.cis.bandera.specification.predicate.node;
00002 
00003 /* This file was generated by SableCC (http://www.sable.mcgill.ca/sablecc/). */
00004 
00005 import edu.ksu.cis.bandera.specification.predicate.analysis.*;
00006 
00007 public final class TFloatLiteral extends Token
00008 {
00009     public TFloatLiteral(String text)
00010     {
00011         setText(text);
00012     }
00013     public TFloatLiteral(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).caseTFloatLiteral(this);
00022     }
00023     public Object clone()
00024     {
00025       return new TFloatLiteral(getText(), getLine(), getPos());
00026     }
00027 }