EOF.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 EOF extends Token
00008 {
00009     public EOF()
00010     {
00011         setText("");
00012     }
00013     public EOF(int line, int pos)
00014     {
00015         setText("");
00016         setLine(line);
00017         setPos(pos);
00018     }
00019     public void apply(Switch sw)
00020     {
00021         ((Analysis) sw).caseEOF(this);
00022     }
00023     public Object clone()
00024     {
00025         return new EOF(getLine(), getPos());
00026     }
00027 }