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 com.googlecode.prolog_cafe.lang.JavaObjectTerm

        Prolog.PUSHBACK_SIZE);


    if (!ctl.execute(
        Prolog.BUILTIN, "consult_stream",
        SymbolTerm.intern("rules.pl"),
        new JavaObjectTerm(in))) {
      throw new CompileException("Cannot consult rules of " + project);
    }
    return save(ctl);
  }

View Full Code Here

Examples of com.googlecode.prolog_cafe.lang.JavaObjectTerm

    }
    if (!a1.isSymbol()) {
      throw new IllegalTypeException(this, 1, "symbol", a1);
    }
    Pattern regex = Pattern.compile(a1.name());
    engine.areg1 = new JavaObjectTerm(regex);
    engine.areg2 = arg2;
    engine.areg3 = arg3;
    engine.areg4 = arg4;


    PatchList pl = StoredValues.PATCH_LIST.get(engine);
    Iterator<PatchListEntry> iter = pl.getPatches().iterator();


    engine.areg5 = new JavaObjectTerm(iter);


    return engine.jtry5(commit_delta_check, commit_delta_next);
  }

View Full Code Here

Examples of com.googlecode.prolog_cafe.lang.JavaObjectTerm

    if (in == null) {
      throw new FileNotFoundException(prologResource);
    }
    try {
      SymbolTerm pathTerm = SymbolTerm.create(prologResource);
      JavaObjectTerm inTerm =
          new JavaObjectTerm(new PushbackReader(new BufferedReader(
              new InputStreamReader(in, "UTF-8")), Prolog.PUSHBACK_SIZE));
      if (!env.execute(Prolog.BUILTIN, "consult_stream", pathTerm, inTerm)) {
        throw new CompileException("Cannot consult " + prologResource);
      }
    } finally {

View Full Code Here

Examples of com.googlecode.prolog_cafe.lang.JavaObjectTerm


    } else {
      throw new IllegalTypeException(this, 1, "user(int)", key);
    }


    return new JavaObjectTerm(user);
  }

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

        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

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

      pArgs = ((StructureTerm) a1).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 (Constructor constr : constrs) {
        if (checkParameterTypes(constr.getParameterTypes(), pArgs)) {

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

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.