Examples of JavaObjectTerm

com.googlecode.prolog_cafe.lang.JavaObjectTerm
jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Java-term.
The JavaObjectTerm class wraps a java object.
```
 import java.util.Hashtable; Term t = new JavaObjectTerm(new Hashtable()); Hashtable hash = (Hashtable)(((JavaObjectTerm)t).object()); 
```
@author Mutsunori Banbara (banbara@kobe-u.ac.jp) @author Naoyuki Tamura (tamura@kobe-u.ac.jp) @version 1.0

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


    a1 = a1.dereference();
    if (!a1.isVariable()) {
      throw new IllegalTypeException(this, 1, "variable", a1);
    }
    Term newHash = new JavaObjectTerm(new HashMapOfTerm());
    a2 = a2.dereference();
    if (a2.isNil()) {
      if (!a1.unify(newHash, engine.trail)) {
        return engine.fail();
      }

View Full Code Here

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

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

View Full Code Here

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

      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

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

        pArgs = ((StructureTerm) a2).args();
        jArgs = new Object[arity];
        for (int i = 0; i < arity; i++) {
          pArgs[i] = pArgs[i].dereference();
          if (!pArgs[i].isJavaObject()) {
            pArgs[i] = new JavaObjectTerm(pArgs[i]);
          }
          jArgs[i] = pArgs[i].toJava();
        }
        for (Method method : methods) {
          if (method.getName().equals(methodName)

View Full Code Here

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


  private Term toPrologTerm(Object obj) {
    if (Term.instanceOfTerm(obj)) {
      return (Term) obj;
    } else {
      return new JavaObjectTerm(obj);
    }
  }

View Full Code Here

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

      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

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

      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

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

    engine.setB0();
    Term a1;
    a1 = arg1;
    a1 = a1.dereference();
    if (a1.isVariable()) {
      ((VariableTerm) a1).bind(new JavaObjectTerm(engine
          .getCurrentInput()), engine.trail);
    } else if (a1.isJavaObject()) {
      if (!a1.unify(new JavaObjectTerm(engine.getCurrentInput()),
          engine.trail)) {
        return engine.fail();
      }
    } else {
      throw new IllegalDomainException(this, 1, "stream", a1);

View Full Code Here

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

      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

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

    } else { // a1 = nonvar /\ a2 = var
      // (a1 = java \/ a1 = str \/ a1 = clo) /\ a2 = var
      if (a1.isJavaObject() || a1.isStructure() || a1.isClosure()) {
        ((VariableTerm) a2).bind(a1, engine.trail);
      } else { // a1 != java /\ a1 != str /\ a1 != clo /\ a2 = var
        ((VariableTerm) a2).bind(new JavaObjectTerm(a1.toJava()),
            engine.trail);
      }
    }
    return cont;
  }

View Full Code Here

0 1 2 3

TOP

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.