Package com.googlecode.prolog_cafe.lang

Examples of com.googlecode.prolog_cafe.lang.Term.unify()

39
40
41
42
43
44
45
46
47
48
49
    Term a1 = arg1.dereference();

    Change change = StoredValues.CHANGE.get(engine);
    Project.NameKey name = change.getProject();

    if (!a1.unify(SymbolTerm.create(name.get()), engine.trail)) {
      return engine.fail();
    }
    return cont;
  }
}
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
    Term a1 = arg1.dereference();

    PatchSetInfo psInfo = StoredValues.PATCH_SET_INFO.get(engine);

    SymbolTerm msg = SymbolTerm.create(psInfo.getMessage());
    if (!a1.unify(msg, engine.trail)) {
      return engine.fail();
    }
    return cont;
  }
}
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    Term a1 = arg1.dereference();

    Change change = StoredValues.CHANGE.get(engine);
    Branch.NameKey name = change.getDest();

    if (!a1.unify(SymbolTerm.create(name.get()), engine.trail)) {
      return engine.fail();
    }
    return cont;
  }
}
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
    if (!a3.unify(min, engine.trail)) {
      return engine.fail();
    }

    if (!a4.unify(max, engine.trail)) {
      return engine.fail();
    }

    return cont;
  }
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
    if (a1.isVariable()) {
      throw new PInstantiationException(this, 1);
    }

    if (!a2.unify(createUser(engine, a1), engine.trail)) {
      return engine.fail();
    }

    return cont;
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    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
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.