gerrit_owners.PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6 Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gerrit-owners Show documentation
Show all versions of gerrit-owners Show documentation
Gerrit Plugin that provides a Prolog predicate for enabling per directory code review requirements.
The newest version!
package gerrit_owners;
/*
'$dummy_3_src/main/prolog/gerrit_owners.pl'/6 defined in src/main/prolog/gerrit_owners.pl
This file is generated by Prolog Cafe.
PLEASE DO NOT EDIT!
*/
import com.googlecode.prolog_cafe.lang.*;
import com.googlecode.prolog_cafe.builtin.*;
import static gerrit_owners.PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6.*;
final class PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6 extends Predicate.P4 {
static final SymbolTerm s1 = SymbolTerm.intern("rename");
static final Operation $dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_sub_1 = new PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_sub_1();
static final Operation $dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_1 = new PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_1();
static final Operation $dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_2 = new PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_2();
private final Term arg5, arg6;
public PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6(Term a1, Term a2, Term a3, Term a4, Term a5, Term a6, Operation cont) {
this.arg1 = a1;
this.arg2 = a2;
this.arg3 = a3;
this.arg4 = a4;
this.arg5 = a5;
this.arg6 = a6;
this.cont = cont;
}
@Override
public Operation exec(Prolog engine) {
engine.areg1 = arg1;
engine.areg2 = arg2;
engine.areg3 = arg3;
engine.areg4 = arg4;
engine.areg5 = arg5;
engine.areg6 = arg6;
engine.cont = cont;
engine.setB0();
return engine.jtry6($dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_1, $dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_sub_1);
}
}
final class PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_sub_1 extends Operation {
@Override
public Operation exec(Prolog engine) {
return engine.trust($dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_2);
}
}
final class PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_1 extends Operation {
@Override
public Operation exec(Prolog engine) {
// '$dummy_3_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E,F):-D==rename,owner(E,B),'$dummy_4_src/main/prolog/gerrit_owners.pl'(F,E)
Term a1, a2, a3, a4, a5, a6;
Operation p1;
Operation cont;
a1 = engine.areg1;
a2 = engine.areg2;
a3 = engine.areg3;
a4 = engine.areg4;
a5 = engine.areg5;
a6 = engine.areg6;
cont = engine.cont;
// '$dummy_3_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E,F):-['$equality_of_term'(D,rename),owner(E,B),'$dummy_4_src/main/prolog/gerrit_owners.pl'(F,E)]
//START inline expansion of $equality_of_term(a(4),s(1))
a4 = a4.dereference();
if (! a4.equals(s1)) {
return engine.fail();
}
//END inline expansion
p1 = new PRED_$dummy_4_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_2(a6, a5, cont);
return new PRED_owner_2(a5, a2, p1);
}
}
final class PRED_$dummy_3_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_6_2 extends Operation {
@Override
public Operation exec(Prolog engine) {
// '$dummy_3_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E,F):-owner(C,A),'$dummy_5_src/main/prolog/gerrit_owners.pl'(C,F)
Term a1, a2, a3, a4, a5, a6;
Operation p1;
Operation cont;
a1 = engine.areg1;
a2 = engine.areg2;
a3 = engine.areg3;
a4 = engine.areg4;
a5 = engine.areg5;
a6 = engine.areg6;
cont = engine.cont;
// '$dummy_3_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E,F):-[owner(C,A),'$dummy_5_src/main/prolog/gerrit_owners.pl'(C,F)]
p1 = new PRED_$dummy_5_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_2(a3, a6, cont);
return new PRED_owner_2(a3, a1, p1);
}
}