/**
* Parses the term passed in the parameter and returns a JIPTerm object that wraps the
* corresponding prolog term.<br>
* If the string passed in the parameter doesn't contains a valid prolog term it raises a
* JIPSyntaxErrorException.
*
* @param strTerm Term to be parsed. If the term doesn't end with a "dot" one is appended to it.
* @return a new JIPTerm object.
* @exception com.ugos.jiprolog.engine.JIPSyntaxErrorException
*/
public final JIPTerm parseTerm(String strTerm) throws JIPSyntaxErrorException {
try {
final byte[] btTerm = strTerm.getBytes(getEncoding());
final ByteArrayInputStream is = new ByteArrayInputStream(btTerm);
PrologParser parser =
new PrologParser(
new ParserReader(new PushbackLineNumberInputStream(is)),
m_opManager,
m_engine,
"user");
m_singletonVars = parser.getSingletonVariables();
final PrologObject term = parser.parseNext();
return JIPTerm.getJIPTerm(term);
} catch (UnsupportedEncodingException ex) {
throw new JIPRuntimeException(ex.getMessage());
}
}
private JIPTerm parseNextTerm() throws JIPSyntaxErrorException {
final PrologObject term = m_parser.parseNext();
if (term != null) return JIPTerm.getJIPTerm(term);
else return null;
}
