gerrit_owners.PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5 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_0_src/main/prolog/gerrit_owners.pl'/5 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_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5.*;
final class PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5 extends Predicate.P4 {
static final SymbolTerm s1 = SymbolTerm.intern("rename");
static final Operation $dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_sub_1 = new PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_sub_1();
static final Operation $dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_1 = new PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_1();
static final Operation $dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_2 = new PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_2();
private final Term arg5;
public PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5(Term a1, Term a2, Term a3, Term a4, Term a5, Operation cont) {
this.arg1 = a1;
this.arg2 = a2;
this.arg3 = a3;
this.arg4 = a4;
this.arg5 = a5;
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.cont = cont;
engine.setB0();
return engine.jtry5($dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_1, $dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_sub_1);
}
}
final class PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_sub_1 extends Operation {
@Override
public Operation exec(Prolog engine) {
return engine.trust($dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_2);
}
}
final class PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_1 extends Operation {
@Override
public Operation exec(Prolog engine) {
// '$dummy_0_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E):-D==rename,owner(E,A),'$dummy_1_src/main/prolog/gerrit_owners.pl'(E)
Term a1, a2, a3, a4, a5;
Operation p1;
Operation cont;
a1 = engine.areg1;
a2 = engine.areg2;
a3 = engine.areg3;
a4 = engine.areg4;
a5 = engine.areg5;
cont = engine.cont;
// '$dummy_0_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E):-['$equality_of_term'(D,rename),owner(E,A),'$dummy_1_src/main/prolog/gerrit_owners.pl'(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_1_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_1(a5, cont);
return new PRED_owner_2(a5, a1, p1);
}
}
final class PRED_$dummy_0_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_5_2 extends Operation {
@Override
public Operation exec(Prolog engine) {
// '$dummy_0_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E):-owner(C,B),'$dummy_2_src/main/prolog/gerrit_owners.pl'(C)
Term a1, a2, a3, a4, a5;
Operation p1;
Operation cont;
a1 = engine.areg1;
a2 = engine.areg2;
a3 = engine.areg3;
a4 = engine.areg4;
a5 = engine.areg5;
cont = engine.cont;
// '$dummy_0_src/main/prolog/gerrit_owners.pl'(A,B,C,D,E):-[owner(C,B),'$dummy_2_src/main/prolog/gerrit_owners.pl'(C)]
p1 = new PRED_$dummy_2_src$002Fmain$002Fprolog$002Fgerrit_owners$002Epl_1(a3, cont);
return new PRED_owner_2(a3, a2, p1);
}
}