Package jp.ac.kobe_u.cs.prolog.lang

Examples of jp.ac.kobe_u.cs.prolog.lang.TermException


        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) {
View Full Code Here


      if (!a2.unify(t, engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

      if (!a2.unify(new IntegerTerm(c), engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

      if (!a2.unify(new IntegerTerm(c), engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

      if (!a2.unify(new IntegerTerm(c), engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

      if (!a2.unify(new IntegerTerm(c), engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

      if (!a2.unify(new IntegerTerm(c), engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

          throw new RepresentationException(this, 0, "character");
        }
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

          engine.trail)) {
        return engine.fail();
      }
      return cont;
    } catch (IOException e) {
      throw new TermException(new JavaObjectTerm(e));
    }
  }
View Full Code Here

    a1 = a1.dereference();
    if (a1.isVariable()) {
      throw new PInstantiationException(this, 1);
    }
    throw new TermException(a1);
  }
View Full Code Here

TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.TermException

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.