public class ProvaParserImpl
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
ProvaParserImpl.SimpleErrorReporter |
| 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 and Description |
|---|
ProvaParserImpl(java.lang.String src,
java.lang.Object[] objects) |
| 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) |
public static java.lang.ThreadLocal<java.lang.Object[]> tlObjects
public static java.lang.ThreadLocal<ProvaKnowledgeBase> tlKB
public static java.lang.ThreadLocal<ProvaResultSet> tlRS
public static java.lang.ThreadLocal<java.lang.String> tlSrc
public ProvaParserImpl(java.lang.String src,
java.lang.Object[] objects)
public java.util.List<ProvaRule> parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.io.BufferedReader in) throws ProvaParsingException, java.io.IOException
ProvaParsingExceptionjava.io.IOExceptionpublic java.util.List<ProvaRule> parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.lang.String filename) throws java.io.IOException, ProvaParsingException
java.io.IOExceptionProvaParsingExceptionCopyright © 2019. All Rights Reserved.