Changeset 829

Timestamp:

Aug 6, 2012 5:48:42 PM (12 years ago)

Author:

Anya Helene Bagge

Message:

• Resources: add some axioms

File:

• trunk/magnolia-eclipse/src/org/magnolialang/memo/Resources.rsc (modified) (1 diff)

trunk/magnolia-eclipse/src/org/magnolialang/memo/Resources.rsc

@@ -23 +23 @@
 @javaClass{org.magnolialang.memo.RscResources}
 public java void initializeMagnolia();
+
+public boolean moduleNameLocAxiom(AST moduleName, Resources res) {
+        return getModuleName(getModuleLoc(moduleName, res), res) == moduleName;
+}
+public boolean moduleLocNameAxiom(loc moduleLoc, Resources res) {
+        return getModuleLoc(getModuleName(moduleLoc, res), res) == moduleLoc;
+}