Examples of Const


Examples of net.sf.kpex.prolog.Const

   * @see net.sf.kpex.prolog.FunBuiltin#exec(net.sf.kpex.prolog.Prog)
   */
  @Override
  public int exec(Prog p)
  {
    return putArg(0, new Const(p.getDatabase().prettyPrint()), p);
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

  @Override
  public int exec(Prog p)
  {
    Source original = (Source) getArg(0);
    Const Xs = original.toList();
    return putArg(1, new net.sf.kpex.prolog.ListSource(Xs, p), p) > 0
        && putArg(2, new net.sf.kpex.prolog.ListSource(Xs, p), p) > 0 ? 1 : 0;
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

  @Override
  public int exec(Prog p)
  {
    int i = getIntArg(0);
    Fun F = (Fun) getArg(1);
    Term A = i == 0 ? new Const(F.getName()) : i == -1 ? new Int(F.getArity()) : F.args[i - 1];
    return putArg(2, A, p);
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

    String listing = p.getDatabase().pred_to_string(key);
    if (null == listing)
    {
      return 0;
    }
    Const R = new Const(listing);
    return putArg(1, R, p);
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

    String dname = D.getDirectory();
    if (null == dname)
    {
      return 0;
    }
    int ok = putArg(1, new Const(dname), p);
    if (1 == ok)
    {
      ok = putArg(2, new Const(fname), p);
    }
    D.dispose();
    C.dispose();
    return ok;
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

  }

  @Override
  public int exec(Prog p)
  {
    Const list = (Const) getArg(0);
    return putArg(1, new SourceMerger(list, p), p);
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

  @Override
  public int exec(Prog p)
  {
    JinniText T = (JinniText) ((JavaObject) getArg(0)).toObject();
    String content = T.getText();
    return putArg(1, new Const(content), p);
  }
View Full Code Here

Examples of net.sf.kpex.prolog.Const

    String mes = e.getMessage();
    if (null == mes)
    {
      mes = "unknown_error";
    }
    Fun f = new Fun("error", new Const(type), new Const(mes), new Fun("line", new Int(line)));
    Clause C = new Clause(f, Const.TRUE);
    if (verbose)
    {
      IO.errmes(type + " error at line:" + line);
      IO.errmes(C.prettyPrint(), e);
View Full Code Here

Examples of net.sf.kpex.prolog.Const

    if (n instanceof IffToken)
    {
      n = next();
      Term t = getTerm(n);
      Term bs = getConjCont(t);
      Clause C = new Clause(new Const("init"), bs);
      C.dict = dict;
      return C;
    }

    Term h = getTerm(n);
View Full Code Here

Examples of net.sf.kpex.prolog.Const

  @Override
  public int exec(Prog p)
  {
    int convert = getIntArg(0);
    String s = charsToString((Nonvar) getArg(1));
    Nonvar T = new Const(s);
    if (convert > 0)
    {
      try
      {
        double r = Double.valueOf(s).doubleValue();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.