1 files changed, 16 insertions, 0 deletions
diff --git a/src/fjbg/ch/epfl/lamp/fjbg/JReferenceType.java b/src/fjbg/ch/epfl/lamp/fjbg/JReferenceType.java
new file mode 100644
index 0000000000..99c6acff71
--- /dev/null
+++ b/src/fjbg/ch/epfl/lamp/fjbg/JReferenceType.java
@@ -0,0 +1,16 @@
+// $Id$
+
+package ch.epfl.lamp.fjbg;
+
+/**
+ * Types for Java references, i.e. arrays and objects.
+ *
+ * @version 1.0
+ * @author Michel Schinz
+ */
+
+abstract public class JReferenceType extends JType {
+    public boolean isReferenceType() { return true; }
+
+    abstract public String getDescriptor();
+}