org.provarules.parser2

Class ProvaParserImpl

java.lang.Object

org.provarules.parser2.ProvaParserImpl

public class ProvaParserImpl
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProvaParserImpl.SimpleErrorReporter

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.ThreadLocal<ProvaKnowledgeBase>	tlKB
static java.lang.ThreadLocal<java.lang.Object[]>	tlObjects
static java.lang.ThreadLocal<ProvaResultSet>	tlRS
static java.lang.ThreadLocal<java.lang.String>	tlSrc

Constructor Summary

Constructors

Constructor and Description
ProvaParserImpl(java.lang.String src, java.lang.Object[] objects)

Method Summary

Modifier and Type	Method and Description
java.util.List<ProvaRule>	parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.io.BufferedReader in)
java.util.List<ProvaRule>	parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.lang.String filename)

Methods inherited from class java.lang.Object

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

Field Detail

tlObjects

public static java.lang.ThreadLocal<java.lang.Object[]> tlObjects

tlKB

public static java.lang.ThreadLocal<ProvaKnowledgeBase> tlKB

tlRS

public static java.lang.ThreadLocal<ProvaResultSet> tlRS

tlSrc

public static java.lang.ThreadLocal<java.lang.String> tlSrc

Constructor Detail

ProvaParserImpl

public ProvaParserImpl(java.lang.String src,
                       java.lang.Object[] objects)

Method Detail

parse

public java.util.List<ProvaRule> parse(ProvaKnowledgeBase kb,
                                       ProvaResultSet resultSet,
                                       java.io.BufferedReader in)
                                throws ProvaParsingException,
                                       java.io.IOException

Throws:

ProvaParsingException

java.io.IOException

parse

public java.util.List<ProvaRule> parse(ProvaKnowledgeBase kb,
                                       ProvaResultSet resultSet,
                                       java.lang.String filename)
                                throws java.io.IOException,
                                       ProvaParsingException

Throws:

java.io.IOException

ProvaParsingException