Change return type of some APIs from PrimitiveType to more accurate t…

…ypes
pascal-lab · Jan 20, 2024 · 648b3a6 · 648b3a6
1 parent 2e4d316
commit 648b3a6
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 16 deletions.
diff --git a/src/main/java/pascal/taie/ir/exp/ArrayLengthExp.java b/src/main/java/pascal/taie/ir/exp/ArrayLengthExp.java
@@ -24,7 +24,6 @@
 
 import pascal.taie.language.type.ArrayType;
 import pascal.taie.language.type.IntType;
-import pascal.taie.language.type.PrimitiveType;
 
 /**
  * Representation of array length expression, e.g., arr.length.
@@ -48,7 +47,7 @@ public Var getOperand() {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public IntType getType() {
         return IntType.INT;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/ComparisonExp.java b/src/main/java/pascal/taie/ir/exp/ComparisonExp.java
@@ -26,7 +26,6 @@
 import pascal.taie.language.type.FloatType;
 import pascal.taie.language.type.IntType;
 import pascal.taie.language.type.LongType;
-import pascal.taie.language.type.PrimitiveType;
 import pascal.taie.language.type.Type;
 
 /**
@@ -75,7 +74,7 @@ public Op getOperator() {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public IntType getType() {
         return IntType.INT;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/ConditionExp.java b/src/main/java/pascal/taie/ir/exp/ConditionExp.java
@@ -23,7 +23,6 @@
 package pascal.taie.ir.exp;
 
 import pascal.taie.language.type.IntType;
-import pascal.taie.language.type.PrimitiveType;
 
 /**
  * Representation of condition expression, e.g., a == b.
@@ -71,7 +70,7 @@ public Op getOperator() {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public IntType getType() {
         return IntType.INT;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/DoubleLiteral.java b/src/main/java/pascal/taie/ir/exp/DoubleLiteral.java
@@ -23,7 +23,6 @@
 package pascal.taie.ir.exp;
 
 import pascal.taie.language.type.DoubleType;
-import pascal.taie.language.type.PrimitiveType;
 
 public class DoubleLiteral implements FloatingPointLiteral {
 
@@ -43,7 +42,7 @@ public static DoubleLiteral get(double value) {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public DoubleType getType() {
         return DoubleType.DOUBLE;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/FloatLiteral.java b/src/main/java/pascal/taie/ir/exp/FloatLiteral.java
@@ -23,7 +23,6 @@
 package pascal.taie.ir.exp;
 
 import pascal.taie.language.type.FloatType;
-import pascal.taie.language.type.PrimitiveType;
 
 public class FloatLiteral implements FloatingPointLiteral {
 
@@ -43,7 +42,7 @@ public static FloatLiteral get(float value) {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public FloatType getType() {
         return FloatType.FLOAT;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/InstanceOfExp.java b/src/main/java/pascal/taie/ir/exp/InstanceOfExp.java
@@ -23,7 +23,6 @@
 package pascal.taie.ir.exp;
 
 import pascal.taie.language.type.BooleanType;
-import pascal.taie.language.type.PrimitiveType;
 import pascal.taie.language.type.ReferenceType;
 
 import java.util.Set;
@@ -54,7 +53,7 @@ public ReferenceType getCheckedType() {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public BooleanType getType() {
         return BooleanType.BOOLEAN;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/IntLiteral.java b/src/main/java/pascal/taie/ir/exp/IntLiteral.java
@@ -23,7 +23,6 @@
 package pascal.taie.ir.exp;
 
 import pascal.taie.language.type.IntType;
-import pascal.taie.language.type.PrimitiveType;
 
 /**
  * Representation of int literals.
@@ -59,7 +58,7 @@ public static IntLiteral get(int value) {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public IntType getType() {
         return IntType.INT;
     }
 

diff --git a/src/main/java/pascal/taie/ir/exp/LongLiteral.java b/src/main/java/pascal/taie/ir/exp/LongLiteral.java
@@ -23,7 +23,6 @@
 package pascal.taie.ir.exp;
 
 import pascal.taie.language.type.LongType;
-import pascal.taie.language.type.PrimitiveType;
 
 /**
  * Representation of long literals.
@@ -59,7 +58,7 @@ public static LongLiteral get(long value) {
     }
 
     @Override
-    public PrimitiveType getType() {
+    public LongType getType() {
         return LongType.LONG;
     }