Package com.googlecode.prolog_cafe.lang

Examples of com.googlecode.prolog_cafe.lang.PInstantiationException

138
139
140
141
142
143
144
145
146
147
148
    return engine.fail();
  }

  private Pattern getRegexParameter(Term term) {
    if (term.isVariable()) {
      throw new PInstantiationException(this, 1);
    }
    if (!term.isSymbol()) {
      throw new IllegalTypeException(this, 1, "symbol", term);
    }
    return Pattern.compile(term.name(), Pattern.MULTILINE);
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
    engine.cont = cont;
    engine.setB0();

    Term a1 = arg1.dereference();
    if (a1.isVariable()) {
      throw new PInstantiationException(this, 1);
    }
    if (!a1.isSymbol()) {
      throw new IllegalTypeException(this, 1, "symbol", a1);
    }
    Pattern regex = Pattern.compile(a1.name());
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
    Term a2 = arg2.dereference();
    Term a3 = arg3.dereference();
    Term a4 = arg4.dereference();

    if (a1.isVariable()) {
      throw new PInstantiationException(this, 1);
    }
    if (!a1.isSymbol()) {
      throw new IllegalTypeException(this, 1, "atom", a1);
    }
    String label = a1.name();

    if (a2.isVariable()) {
      throw new PInstantiationException(this, 2);
    }
    if (!a2.isJavaObject() || !a2.convertible(CurrentUser.class)) {
      throw new IllegalTypeException(this, 2, "CurrentUser)", a2);
    }
    CurrentUser user = (CurrentUser) ((JavaObjectTerm) a2).object();
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
    engine.setB0();
    Term a1 = arg1.dereference();
    Term a2 = arg2.dereference();

    if (a1.isVariable()) {
      throw new PInstantiationException(this, 1);
    }

    if (!a2.unify(createUser(engine, a1), engine.trail)) {
      return engine.fail();
    }
View Full Code Here
TOP

Related Classes of com.googlecode.prolog_cafe.lang.PInstantiationException

  • gerrit.PRED__user_label_range_4
  • gerrit.PRED_commit_delta_4
  • gerrit.PRED_commit_edits_2
  • gerrit.PRED_current_user_2
    • 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.