Package com.googlecode.prolog_cafe.lang

Examples of com.googlecode.prolog_cafe.lang.IntegerTerm


    CurrentUser curUser = cControl.getCurrentUser();
    Term resultTerm;

    if (curUser instanceof IdentifiedUser) {
      Account.Id id = ((IdentifiedUser)curUser).getAccountId();
      resultTerm = new IntegerTerm(id.get());
    } else if (curUser instanceof AnonymousUser) {
      resultTerm = anonymous;
    } else if (curUser instanceof PeerDaemonUser) {
      resultTerm = peerDaemon;
    } else {
View Full Code Here


        }

        StructureTerm labelTerm = new StructureTerm(
            sym_label,
            SymbolTerm.intern(t.getCategory().getLabelName()),
            new IntegerTerm(a.getValue()));

        StructureTerm userTerm = new StructureTerm(
            sym_user,
            new IntegerTerm(a.getAccountId().get()));

        listHead = new ListTerm(
            new StructureTerm(sym_commit_label, labelTerm, userTerm),
            listHead);
      }
View Full Code Here

  static Term export(ApprovalType type) {
    return new StructureTerm(symApprovalType,
        SymbolTerm.intern(type.getCategory().getLabelName()),
        SymbolTerm.intern(type.getCategory().getId().get()),
        SymbolTerm.intern(type.getCategory().getFunctionName()),
        new IntegerTerm(type.getMin().getValue()),
        new IntegerTerm(type.getMax().getValue()));
  }
View Full Code Here

    Account.Id id = userId.getAccount();
    if (id == null) {
      idTerm = anonymous;
    } else {
      idTerm = new IntegerTerm(id.get());
    }

    String name = userId.getName();
    if (name != null && !name.equals("")) {
      nameTerm = SymbolTerm.create(name);
View Full Code Here

    PermissionRange range = ctl.getRange(Permission.LABEL + label);
    if (range == null) {
      return engine.fail();
    }

    IntegerTerm min = new IntegerTerm(range.getMin());
    IntegerTerm max = new IntegerTerm(range.getMax());

    if (!a3.unify(min, engine.trail)) {
      return engine.fail();
    }
View Full Code Here

    Term a1 = arg1.dereference();

    Change change = StoredValues.CHANGE.get(engine);
    Account.Id ownerId = change.getOwner();

    if (!a1.unify(new StructureTerm(user, new IntegerTerm(ownerId.get())), engine.trail)) {
      return engine.fail();
    }
    return cont;
  }
View Full Code Here

TOP

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

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.