Examples with Term com.googlecode.prolog_cafe.lang.Term used on opensource projects

Example 16 with Term

use of com.googlecode.prolog_cafe.lang.Term in project gerrit by GerritCodeReview.

the class PRED_commit_parent_count_1 method exec.

@Override
public Operation exec(Prolog engine) throws PrologException {
    engine.setB0();
    Term a1 = arg1.dereference();
    RevCommit commit = StoredValues.COMMIT.get(engine);
    if (!a1.unify(new IntegerTerm(commit.getParentCount()), engine.trail)) {
        return engine.fail();
    }
    return cont;
}

Example 17 with Term

use of com.googlecode.prolog_cafe.lang.Term in project gerrit by GerritCodeReview.

the class PRED_unresolved_comments_count_1 method exec.

@Override
public Operation exec(Prolog engine) throws PrologException {
    engine.setB0();
    Term a1 = arg1.dereference();
    Integer count = StoredValues.CHANGE_DATA.get(engine).unresolvedCommentCount();
    if (!a1.unify(new IntegerTerm(count != null ? count : 0), engine.trail)) {
        return engine.fail();
    }
    return cont;
}

Example 18 with Term

use of com.googlecode.prolog_cafe.lang.Term in project gerrit by GerritCodeReview.

the class PRED_commit_message_1 method exec.

@Override
public Operation exec(Prolog engine) throws PrologException {
    engine.setB0();
    Term a1 = arg1.dereference();
    RevCommit revCommit = StoredValues.COMMIT.get(engine);
    String commitMessage = revCommit.getFullMessage();
    SymbolTerm msg = SymbolTerm.create(commitMessage);
    if (!a1.unify(msg, engine.trail)) {
        return engine.fail();
    }
    return cont;
}

Example 19 with Term

use of com.googlecode.prolog_cafe.lang.Term in project gerrit by GerritCodeReview.

the class PRED_commit_stats_3 method exec.

@Override
public Operation exec(Prolog engine) throws PrologException {
    engine.setB0();
    Term a1 = arg1.dereference();
    Term a2 = arg2.dereference();
    Term a3 = arg3.dereference();
    Map<String, FileDiffOutput> modifiedFiles = StoredValues.DIFF_LIST.get(engine);
    // Account for magic files
    if (!a1.unify(new IntegerTerm(modifiedFiles.size() - countMagicFiles(modifiedFiles.values())), engine.trail)) {
        return engine.fail();
    }
    Integer insertions = modifiedFiles.values().stream().map(FileDiffOutput::insertions).reduce(0, Integer::sum);
    Integer deletions = modifiedFiles.values().stream().map(FileDiffOutput::deletions).reduce(0, Integer::sum);
    if (!a2.unify(new IntegerTerm(insertions), engine.trail)) {
        return engine.fail();
    }
    if (!a3.unify(new IntegerTerm(deletions), engine.trail)) {
        return engine.fail();
    }
    return cont;
}

Example 20 with Term

use of com.googlecode.prolog_cafe.lang.Term in project gerrit by GerritCodeReview.

the class PRED_get_legacy_label_types_1 method exec.

@Override
public Operation exec(Prolog engine) throws PrologException {
    engine.setB0();
    Term a1 = arg1.dereference();
    List<LabelType> list = StoredValues.CHANGE_DATA.get(engine).getLabelTypes().getLabelTypes();
    Term head = Prolog.Nil;
    for (int idx = list.size() - 1; 0 <= idx; idx--) {
        head = new ListTerm(export(list.get(idx)), head);
    }
    if (!a1.unify(head, engine.trail)) {
        return engine.fail();
    }
    return cont;
}