From 675cee88cd6fbfe82e7ad20f5d98e97430acb574 Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Mon, 22 Jan 2024 14:41:26 -0800
Subject: [PATCH] Add some generic type arguments (#1365)

Everything seems to compile fine with these changes. Let's us get rid of
a rawtypes suppression.
---
 .../fixedpoint/impl/DefaultFixedPointSystem.java  | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/util/src/main/java/com/ibm/wala/fixedpoint/impl/DefaultFixedPointSystem.java b/util/src/main/java/com/ibm/wala/fixedpoint/impl/DefaultFixedPointSystem.java
index 40c7297df0..b5977a1f53 100644
--- a/util/src/main/java/com/ibm/wala/fixedpoint/impl/DefaultFixedPointSystem.java
+++ b/util/src/main/java/com/ibm/wala/fixedpoint/impl/DefaultFixedPointSystem.java
@@ -89,24 +89,23 @@ public Iterator<AbstractStatement> getStatements() {
   }
 
   @Override
-  @SuppressWarnings("rawtypes")
-  public void addStatement(IFixedPointStatement statement)
+  public void addStatement(IFixedPointStatement<T> statement)
       throws IllegalArgumentException, UnimplementedError {
     if (statement == null) {
       throw new IllegalArgumentException("statement == null");
     }
     if (statement instanceof UnaryStatement) {
-      addStatement((UnaryStatement) statement);
+      addStatement((UnaryStatement<T>) statement);
     } else if (statement instanceof NullaryStatement) {
-      addStatement((NullaryStatement) statement);
+      addStatement((NullaryStatement<T>) statement);
     } else if (statement instanceof GeneralStatement) {
-      addStatement((GeneralStatement) statement);
+      addStatement((GeneralStatement<T>) statement);
     } else {
       Assertions.UNREACHABLE("unexpected: " + statement.getClass());
     }
   }
 
-  public void addStatement(GeneralStatement<?> s) {
+  public void addStatement(GeneralStatement<T> s) {
     if (s == null) {
       throw new IllegalArgumentException("s is null");
     }
@@ -134,7 +133,7 @@ public void addStatement(GeneralStatement<?> s) {
     }
   }
 
-  public void addStatement(UnaryStatement<?> s) {
+  public void addStatement(UnaryStatement<T> s) {
     if (s == null) {
       throw new IllegalArgumentException("s is null");
     }
@@ -157,7 +156,7 @@ public void addStatement(UnaryStatement<?> s) {
     }
   }
 
-  public void addStatement(NullaryStatement<?> s) {
+  public void addStatement(NullaryStatement<T> s) {
     if (s == null) {
       throw new IllegalArgumentException("s is null");
     }