diff options
Diffstat (limited to 'minijava/TypeInstance.java')
| -rw-r--r-- | minijava/TypeInstance.java | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/minijava/TypeInstance.java b/minijava/TypeInstance.java index 483a093..f7d6329 100644 --- a/minijava/TypeInstance.java +++ b/minijava/TypeInstance.java @@ -2,9 +2,15 @@ package minijava; public class TypeInstance { TypeEnum type; + String type_name; - public TypeInstance(TypeEnum type) { + 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) { @@ -22,8 +28,16 @@ public class TypeInstance { 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; + } + } |
