IR

[repair.git] / Repair / RepairCompiler / MCC / IR / ReservedSetDescriptor.java

diff --git a/Repair/RepairCompiler/MCC/IR/ReservedSetDescriptor.java b/Repair/RepairCompiler/MCC/IR/ReservedSetDescriptor.java
new file mode 100755 (executable)
index 0000000..9667144
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/IR/ReservedSetDescriptor.java
@@ -0,0 +1,16 @@
+package MCC.IR;
+
+/**
+ * ReservedSetDescriptor
+ *
+ * handles reserved sets: int and Token
+ */
+
+public class ReservedSetDescriptor extends SetDescriptor {
+
+    public ReservedSetDescriptor(String name, TypeDescriptor td) {
+        super(name);
+        setType(td);
+    }
+
+}