summaryrefslogtreecommitdiff
path: root/minijava/TypeInstance.java
diff options
context:
space:
mode:
authorbd-912 <bdunahu@colostate.edu>2024-03-27 13:09:08 -0600
committerbd-912 <bdunahu@colostate.edu>2024-03-27 13:09:08 -0600
commit8131ddc22af5d39114a55349d71bcdc467599187 (patch)
tree9aaa7b984f223b1b405bb1598982ea992eeba67d /minijava/TypeInstance.java
parente8af241aa57104d62c25c8bcbc2df76510998bf9 (diff)
Expand file structure, Vaporize skeleton
Diffstat (limited to 'minijava/TypeInstance.java')
-rw-r--r--minijava/TypeInstance.java43
1 files changed, 0 insertions, 43 deletions
diff --git a/minijava/TypeInstance.java b/minijava/TypeInstance.java
deleted file mode 100644
index f7d6329..0000000
--- a/minijava/TypeInstance.java
+++ /dev/null
@@ -1,43 +0,0 @@
-package minijava;
-
-public class TypeInstance {
- TypeEnum type;
- String type_name;
-
- public String toString() {
- return "name:" + type_name + "|type:" + type;
- }
-
- public TypeInstance(String type_name, TypeEnum type) {
- this.type = type;
- this.type_name = type_name;
- }
-
- 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 boolean has_checked() {
- return type != TypeEnum.ERROR;
- }
-
- public TypeEnum get_type() {
- return this.type;
- }
-
- public String get_type_name() {
- return this.type_name;
- }
-
-}