From b5cba7599a3ba3a3e4fd4863f7879802925b3ad6 Mon Sep 17 00:00:00 2001
From: Anders Nilsson <andersn@fiol>
Date: Mon, 13 Feb 2006 19:46:38 +0100
Subject: [PATCH] Added Types.jrag where type lookup will be implemented

---
 Types.jrag | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 Types.jrag

diff --git a/Types.jrag b/Types.jrag
new file mode 100644
index 0000000..3abda03
--- /dev/null
+++ b/Types.jrag
@@ -0,0 +1,15 @@
+/* -*-Java-*- */
+
+aspect Types {
+//     syn lazy Class Class.getSuperClass();
+//     eq OwlClassDecl.getSuperClass() {
+// 	for (int i=0; i<getNumElement(); i++) {
+// 	    if (getElement(i) instanceof RdfsSubClassOf) {
+// 		return getElement(i);
+// 	    }
+// 	}
+//     }
+//     eq OwlClassUse.getSuperClass() {
+// 	return null;
+//     }
+}
\ No newline at end of file
-- 
GitLab