violateLowerBounds -> violatesLowerBounds

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");
 

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