Package com.googlecode.prolog_cafe.lang

Examples of com.googlecode.prolog_cafe.lang.IntegerTerm

53
54
55
56
57
58
59
60
61
62
63
    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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
        }

        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
76
77
78
79
80
81
82
83
  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
49
50
51
52
53
54
55
56
57
58
59
    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
76
77
78
79
80
81
82
83
84
85
86
87
    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
42
43
44
45
46
47
48
49
50
51
    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

  • gerrit.AbstractCommitUserIdentityPredicate
  • gerrit.PRED__load_commit_labels_1
  • gerrit.PRED__user_label_range_4
  • gerrit.PRED_change_owner_1
  • gerrit.PRED_current_user_1
  • gerrit.PRED_get_legacy_approval_types_1
    • 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.