Rename PatchSet methods
Avoid "get" prefix on getters in an AutoValue class. Rename "getPatchSetId" to "number", to avoid giving the impression that it returns a PatchSet.Id. Change-Id: I6d2ff6e9c46cf21bf98b111bfc9fb81d113640b8
This commit is contained in:
@@ -50,7 +50,7 @@ public class PRED_uploader_1 extends Predicate.P1 {
|
||||
return engine.fail();
|
||||
}
|
||||
|
||||
Account.Id uploaderId = patchSet.getUploader();
|
||||
Account.Id uploaderId = patchSet.uploader();
|
||||
|
||||
if (!a1.unify(new StructureTerm(user, new IntegerTerm(uploaderId.get())), engine.trail)) {
|
||||
return engine.fail();
|
||||
|
||||
Reference in New Issue
Block a user