Package jhoafparser.extensions

Class HOAFParserFixed

java.lang.Object

jhoafparser.extensions.HOAFParserFixed

public class HOAFParserFixed
extends Object

Public interface to the HOA format parser.

Note that the parser is non-reentrant, i.e., it is not possible to parse two streams at the same time!

Constructor Summary

Constructors

Constructor	Description
HOAFParserFixed()

Method Summary

Modifier and Type	Method	Description
static void	parseHOA(Reader str, jhoafparser.consumer.HOAConsumerFactory userFactory)	Entry point for parsing a stream of automata in HOA format.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HOAFParserFixed

public HOAFParserFixed()

Method Detail

parseHOA

public static void parseHOA(Reader str,
                            jhoafparser.consumer.HOAConsumerFactory userFactory)
                     throws jhoafparser.parser.generated.ParseException

Entry point for parsing a stream of automata in HOA format.
Note: this parser is non-reentrant, i.e., it is not possible to parse two streams at the same time!

Parameters:

str - The input stream with the automaton description

userFactory - A factory that produces HOAConsumers, one for each automaton encountered, that receive the notifications about the parsed elements from the parser

Throws:

jhoafparser.parser.generated.ParseException