public class JIPTermParser extends Object
JIPEngine.getTermParser()
Modifier and Type | Method and Description |
---|---|
String |
getEncoding() |
Enumeration<JIPTerm> |
parseStream(InputStream ins,
String streamName)
Returns an enumeration of terms contained in the specified input stream.
|
Enumeration<JIPTerm> |
parseStream(InputStream ins,
String streamName,
String encoding)
Returns an enumeration of terms contained in the specified input stream.
|
JIPTerm |
parseTerm(String strTerm)
Parses the term passed in the parameter and returns a JIPTerm object that wraps the corresponding prolog term.
|
void |
setEncoding(String encoding) |
public final Enumeration<JIPTerm> parseStream(InputStream ins, String streamName)
ins
- the input stream to parse.streamName
- tha name of the stream (i.e. the name of the associated file)public final Enumeration<JIPTerm> parseStream(InputStream ins, String streamName, String encoding) throws UnsupportedEncodingException
ins
- the input stream to parse.streamName
- tha name of the stream (i.e. the name of the associated file)UnsupportedEncodingException
public final JIPTerm parseTerm(String strTerm) throws JIPSyntaxErrorException
strTerm
- Term to be parsed. If the term doesn't end with a "dot" one is appended to it.JIPSyntaxErrorException
public String getEncoding()
public void setEncoding(String encoding)
encoding
- the charset encoding to set