Package envgen.spec.parser

Specification Parser.

See:
Description

Interface Summary

EnvGenParserConstants

Class Summary

EnvGenParser
EnvGenParser.JJCalls
EnvGenParserTokenManager
SimpleCharStream	An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
Token	Describes the input token stream.

Exception Summary

ParseException

This exception is thrown when parse errors are encountered.

Error Summary

TokenMgrError

Package envgen.spec.parser Description

Specification Parser.

Classes used to parse a specification (LTL or Regular Expressions), partially generated using JavaCC.

Oksana Tkachuk

Last modified: Thu Sep 26 22:31:08 CDT 2002