minor fixes to javadoc

VincenzoArceri · VincenzoArceri · commit 1030531c23ff · 2020-12-11T16:08:24.000+01:00
diff --git a/lisa/src/main/java/it/unive/lisa/analysis/BaseLattice.java b/lisa/src/main/java/it/unive/lisa/analysis/BaseLattice.java
@@ -38,7 +38,7 @@ public final L lub(L other) throws SemanticException {
 	 * 
 	 * @param other the other lattice element
 	 * 
-	 * @return the least upper bound
+	 * @return the widening between this and other
 	 * 
 	 * @throws SemanticException if an error occurs during the computation
 	 */
diff --git a/lisa/src/main/java/it/unive/lisa/analysis/Lattice.java b/lisa/src/main/java/it/unive/lisa/analysis/Lattice.java
@@ -29,7 +29,7 @@ public interface Lattice<L extends Lattice<L>> {
 	 * 
 	 * @param other the other lattice element
 	 * 
-	 * @return the least upper bound
+	 * @return the widening between this and other
 	 * 
 	 * @throws SemanticException if an error occurs during the computation
 	 */

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ public final L lub(L other) throws SemanticException {`
`38`	`38`	`*`
`39`	`39`	`* @param other the other lattice element`
`40`	`40`	`*`
`41`		`- * @return the least upper bound`
	`41`	`+ * @return the widening between this and other`
`42`	`42`	`*`
`43`	`43`	`* @throws SemanticException if an error occurs during the computation`
`44`	`44`	`*/`
Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ public interface Lattice<L extends Lattice<L>> {`
`29`	`29`	`*`
`30`	`30`	`* @param other the other lattice element`
`31`	`31`	`*`
`32`		`- * @return the least upper bound`
	`32`	`+ * @return the widening between this and other`
`33`	`33`	`*`
`34`	`34`	`* @throws SemanticException if an error occurs during the computation`
`35`	`35`	`*/`