Additional isX state utility methods for IntValue/ObjectValue

Author: Col-E

recaf-core/src/main/java/software/coley/recaf/util/analysis/value/IntValue.java

@@ -67,6 +67,56 @@ default int getSize() {
 		return 1;
 	}
 
+	/**
+	 * @param value
+	 * 		Value to check against.
+	 *
+	 * @return {@code true} when the known value is equal to the given value.
+	 */
+	default boolean isSame(int value) {
+		return value().isPresent() && value().getAsInt() == value;
+	}
+
+	/**
+	 * @param value
+	 * 		Value to check against.
+	 *
+	 * @return {@code true} when the known value is less than the given value.
+	 */
+	default boolean isLessThan(int value) {
+		return value().isPresent() && value().getAsInt() < value;
+	}
+
+	/**
+	 * @param value
+	 * 		Value to check against.
+	 *
+	 * @return {@code true} when the known value is less than or equal to the given value.
+	 */
+	default boolean isLessThanOrEqual(int value) {
+		return value().isPresent() && value().getAsInt() <= value;
+	}
+
+	/**
+	 * @param value
+	 * 		Value to check against.
+	 *
+	 * @return {@code true} when the known value is greater than the given value.
+	 */
+	default boolean isGreaterThan(int value) {
+		return value().isPresent() && value().getAsInt() > value;
+	}
+
+	/**
+	 * @param value
+	 * 		Value to check against.
+	 *
+	 * @return {@code true} when the known value is greater than or equal to the given value.
+	 */
+	default boolean isGreaterThanOrEqual(int value) {
+		return value().isPresent() && value().getAsInt() >= value;
+	}
+
 	@Nonnull
 	default IntValue add(int incr) {
 		OptionalInt value = value();

recaf-core/src/main/java/software/coley/recaf/util/analysis/value/ObjectValue.java

@@ -114,6 +114,13 @@ default boolean isNull() {
 		return nullness() == Nullness.NULL;
 	}
 
+	/**
+	 * @return {@code true} when this value is known to be <b>not</b> {@code null}.
+	 */
+	default boolean isNotNull() {
+		return nullness() == Nullness.NOT_NULL;
+	}
+
 	@Override
 	default int getSize() {
 		return 1;