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