From e455e10b4702d86a21f737eab4dfba5dc52dd190 Mon Sep 17 00:00:00 2001
From: Niklas Fors <niklas.fors@cs.lth.se>
Date: Mon, 6 Aug 2018 10:38:57 +0200
Subject: [PATCH] violateLowerBounds -> violatesLowerBounds
---
spec/jastadd/Backend.jadd | 2 +-
tests/valid/LowerBounds.java | 8 ++++----
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/spec/jastadd/Backend.jadd b/spec/jastadd/Backend.jadd
index f2bb942..f206987 100644
--- a/spec/jastadd/Backend.jadd
+++ b/spec/jastadd/Backend.jadd
@@ -426,7 +426,7 @@ aspect BackendBidirectionalAPI {
aspect LowerBoundCheck {
public void Program.generateLowerBoundCheck(StringBuilder sb) {
- sb.append(ind(1) + "public boolean ASTNode.violateLowerBounds() {\n");
+ sb.append(ind(1) + "public boolean ASTNode.violatesLowerBounds() {\n");
sb.append(ind(2) + "return !getLowerBoundsViolations().isEmpty();\n");
sb.append(ind(1) + "}\n");
diff --git a/tests/valid/LowerBounds.java b/tests/valid/LowerBounds.java
index b2f7832..4fe5ea6 100644
--- a/tests/valid/LowerBounds.java
+++ b/tests/valid/LowerBounds.java
@@ -27,21 +27,21 @@ public class LowerBounds extends AbstractTests {
r.addB(b1);
r.addB(b2);
- assertTrue(r.violateLowerBounds());
+ assertTrue(r.violatesLowerBounds());
a1.setB(b1);
a2.setB(b2);
b1.setC(c1);
b2.setC(c2);
- assertFalse(r.violateLowerBounds());
+ assertFalse(r.violatesLowerBounds());
b2.setC(c1);
- assertTrue(r.violateLowerBounds());
+ assertTrue(r.violatesLowerBounds());
b1.setC(c2);
- assertFalse(r.violateLowerBounds());
+ assertFalse(r.violatesLowerBounds());
}
}
\ No newline at end of file
--
GitLab