LexerException.java Source File

00001 package edu.ksu.cis.bandera.specification.predicate.lexer;
00002 
00003 /* This file was generated by SableCC (http://www.sable.mcgill.ca/sablecc/). */
00004 
00005 public class LexerException extends Exception
00006 {
00007     public LexerException(String message)
00008     {
00009         super(message);
00010     }
00011 }