diff options
author | bd-912 <bdunahu@colostate.edu> | 2024-03-27 13:09:08 -0600 |
---|---|---|
committer | bd-912 <bdunahu@colostate.edu> | 2024-03-27 13:09:08 -0600 |
commit | 8131ddc22af5d39114a55349d71bcdc467599187 (patch) | |
tree | 9aaa7b984f223b1b405bb1598982ea992eeba67d /minijava/TypeInstance.java | |
parent | e8af241aa57104d62c25c8bcbc2df76510998bf9 (diff) |
Expand file structure, Vaporize skeleton
Diffstat (limited to 'minijava/TypeInstance.java')
-rw-r--r-- | minijava/TypeInstance.java | 43 |
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; - } - -} |