From 6a24c69232901de51f50beab9c3d3b3760dee334 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Sat, 16 Mar 2024 22:06:32 -0600
Subject: (Nonfunctional) Implemented many type-checking rules

---
 minijava/TypeInstance.java | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 minijava/TypeInstance.java

(limited to 'minijava/TypeInstance.java')

diff --git a/minijava/TypeInstance.java b/minijava/TypeInstance.java
new file mode 100644
index 0000000..13920e4
--- /dev/null
+++ b/minijava/TypeInstance.java
@@ -0,0 +1,29 @@
+package minijava;
+
+public class TypeInstance {
+	TypeEnum type;
+
+	public TypeInstance(TypeEnum type) {
+		this.type = type;
+	}
+
+	public boolean equal_type(TypeInstance other) {
+		/**
+		 * Given a TypeInstance object other,
+		 * returns true if other object
+		 * is the same type as this one.
+		 *
+		 * We can say two types are equal, as
+		 * long as they are not equal on a
+		 * type error!
+		 */
+
+		return this.type != TypeEnum.ERROR
+			this.type == other.type;
+	}
+
+	public TypeEnum get_type() {
+		return this.type;
+	}
+
+}
-- 
cgit v1.2.3