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

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

81
82
83
84
85
86
87
88
89
90
91
      if (!a3.isInteger()) {
        throw new IllegalTypeException(this, 3, "integer", a3);
      }
      int n = ((IntegerTerm) a3).intValue();
      if (n < 0) {
        throw new IllegalDomainException(this, 3, "not_less_than_zero",
            a3);
      }
      if (n == 0) {
        if (!a1.unify(a2, engine.trail)) {
          return engine.fail();
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
      stream = ((JavaObjectTerm) engine.getStreamManager().get(a1))
          .object();
    } else if (a1.isJavaObject()) {
      stream = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "stream_or_alias", a1);
    }
    if (!(stream instanceof PushbackReader)) {
      throw new PermissionException(this, "input", "stream", a1, "");
    }
    // read single character
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
      stream = ((JavaObjectTerm) engine.getStreamManager().get(a1))
          .object();
    } else if (a1.isJavaObject()) {
      stream = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "stream_or_alias", a1);
    }
    if (!(stream instanceof PushbackReader)) {
      throw new PermissionException(this, "input", "stream", a1, "");
    }
    // read single character
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
      }
      hash = ((JavaObjectTerm) engine.getHashManager().get(a1)).object();
    } else if (a1.isJavaObject()) {
      hash = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "hash_or_alias", a1);
    }
    if (!(hash instanceof HashMapOfTerm)) {
      throw new InternalException(this + ": Hash is not HashtableOfTerm");
    }
    a2 = a2.dereference();
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
      stream = ((JavaObjectTerm) engine.getStreamManager().get(a1))
          .object();
    } else if (a1.isJavaObject()) {
      stream = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "stream_or_alias", a1);
    }
    if (!(stream instanceof PrintWriter)) {
      throw new PermissionException(this, "output", "stream", a1, "");
    }
    ((PrintWriter) stream).flush();
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
      }
      hash = ((JavaObjectTerm) engine.getHashManager().get(a1)).object();
    } else if (a1.isJavaObject()) {
      hash = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "hash_or_alias", a1);
    }
    if (!(hash instanceof HashMapOfTerm)) {
      throw new InternalException(this + ": Hash is not HashtableOfTerm");
    }
    a2 = a2.dereference();
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
      }
      hash = ((JavaObjectTerm) engine.getHashManager().get(a1)).object();
    } else if (a1.isJavaObject()) {
      hash = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "hash_or_alias", a1);
    }
    if (!(hash instanceof HashMapOfTerm)) {
      throw new InternalException(this + ": Hash is not HashtableOfTerm");
    }
    a2 = a2.dereference();
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
      }
      hash = ((JavaObjectTerm) engine.getHashManager().get(a1)).object();
    } else if (a1.isJavaObject()) {
      hash = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "hash_or_alias", a1);
    }
    if (!(hash instanceof HashMapOfTerm)) {
      throw new InternalException(this + ": Hash is not HashtableOfTerm");
    }
    a2 = a2.dereference();
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
      }
      hash = ((JavaObjectTerm) engine.getHashManager().get(a1)).object();
    } else if (a1.isJavaObject()) {
      hash = ((JavaObjectTerm) a1).object();
    } else {
      throw new IllegalDomainException(this, 1, "hash_or_alias", a1);
    }
    if (!(hash instanceof HashMapOfTerm)) {
      throw new InternalException(this + ": Hash is not HashtableOfTerm");
    }
    if (!((HashMapOfTerm) hash).isEmpty()) {
View Full Code Here
58
59
60
61
62
63
64
65
66
      if (!a1.unify(new JavaObjectTerm(engine.getCurrentOutput()),
          engine.trail)) {
        return engine.fail();
      }
    } else {
      throw new IllegalDomainException(this, 1, "stream", a1);
    }
    return cont;
  }
View Full Code Here
TOP

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

  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$fast_write_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$fast_writeq_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$hash_adda_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$hash_addz_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$hash_remove_first_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$read_token0_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$univ_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$write_toString_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_arg_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_atom_length_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.