TermException
throw/1
135136137138139140141142143144145
engine.setCurrentInput(engine.getUserInput()); } try { in.close(); } catch (IOException e) { throw new TermException(new JavaObjectTerm(e)); } } else if (stream instanceof PrintWriter) { PrintWriter out = (PrintWriter) stream; if (out.checkError()) { if (!forceFlag) {
106107108109110111112113
if (!a2.unify(t, engine.trail)) { return engine.fail(); } return cont; } catch (IOException e) { throw new TermException(new JavaObjectTerm(e)); } }
110111112113114115116117
if (!a2.unify(new IntegerTerm(c), engine.trail)) { return engine.fail(); } return cont; } catch (IOException e) { throw new TermException(new JavaObjectTerm(e)); } }
111112113114115116117118
113114115116117118119120
109110111112113114115116
117118119120121122123124
throw new RepresentationException(this, 0, "character"); } } return cont; } catch (IOException e) { throw new TermException(new JavaObjectTerm(e)); } }
115116117118119120121122
engine.trail)) { return engine.fail(); } return cont; } catch (IOException e) { throw new TermException(new JavaObjectTerm(e)); } }
52535455565758
a1 = a1.dereference(); if (a1.isVariable()) { throw new PInstantiationException(this, 1); } throw new TermException(a1); }