Merge branch 'yentl' into jit

core/core_algorithm.alc

@@ -0,0 +1,23 @@
+Void function main():
+	// Initialize the Core Formalism
+
+	// Create the Model itself
+	// TODO
+
+	// Make us an admin user
+	// TODO
+
+	// Switch all new users to the user_function
+	// TODO
+
+	// Call this for ourselves as well
+	user_function()
+
+	// Done, so finish up
+	return !
+
+Void function user_function():
+	// Add user to Core Formalism
+
+	// Delete user from Core Formalism
+	return !

core/core_formalism.mvc

@@ -0,0 +1,58 @@
+import models/SimpleClassDiagrams as SimpleClassDiagrams
+
+SimpleClassDiagrams CoreFormalism {
+    Class String {
+        $
+            if (bool_not(is_physical_string(self))):
+                return "String has no string value"!
+            else:
+                return "OK"!
+        $
+    }
+
+    Class Permissions {
+        $
+            if (bool_not(is_physical_string(self))):
+                return "Permissions has no string value"!
+            else:
+                return "OK"!
+        $
+    }
+
+    Class Boolean {
+        $
+            if (bool_not(is_physical_bool(self))):
+                return "Boolean has no bool value"!
+            else:
+                return "OK"!
+        $
+    }
+
+    Class User {
+        name : String
+        admin : Boolean
+    }
+
+    Class Group {
+        name : String
+    }
+
+    Association ownedBy (Group, User) {}
+
+    Class Model {
+        name : String
+        location : String
+        permissions : Permissions
+    }
+
+    Class Transformation {
+        name : String
+        location : String
+    }
+
+    Class ModelTransformation : Transformation {}
+
+    Class ActionLanguage : Transformation {}
+}
+
+export CoreFormalism to models/CoreFormalism