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