(Nonfunctional) Implemented many type-checking rules

1 files changed, 29 insertions, 0 deletions

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;
+	}
+
+}