|
Definition.java
|
// *******************************************************************
// This file has been automatically generated from the grammar in file
// RegExp.grm by hlt.language.syntax.ParserGenerator on
// Thu Oct 18 09:49:08 PDT 2012 --- !!! PLEASE DO NO EDIT !!!
// *******************************************************************
package hlt.regx;
import java.io.Reader;
import java.io.StringReader;
import java.io.IOException;
import hlt.language.syntax.*;
import java.util.HashMap;
import hlt.language.util.*;
import hlt.language.tools.Misc;
public class Definition extends ParseNode
{
public Definition (ParseNode node)
{
super(node);
}
private String message;
public String getMessage ()
{
return message;
}
public void setMessage (String msg)
{
message = msg;
}
}
This file was generated on Fri Oct 19 10:18:52 PDT 2012 from file Definition.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci