Basic RAMification algorithm (untested and not compiling)

bootstrap/metamodels.alc

@@ -193,155 +193,7 @@ Element function initialize_SCD(location : String):
 	instantiate_attribute(scd, "tuc", "name", "target_upper_cardinality")
 
 	// Add in the Action Language metamodel
-	instantiate_node(scd, "Class", "Action")
-	instantiate_node(scd, "Class", "Statement")
-	instantiate_node(scd, "Class", "Expression")
-	instantiate_node(scd, "Class", "funcdef")
-	instantiate_node(scd, "Class", "param")
-	instantiate_node(scd, "Class", "if")
-	instantiate_node(scd, "Class", "break")
-	instantiate_node(scd, "Class", "while")
-	instantiate_node(scd, "Class", "continue")
-	instantiate_node(scd, "Class", "assign")
-	instantiate_node(scd, "Class", "return")
-	instantiate_node(scd, "Class", "output")
-	instantiate_node(scd, "Class", "declare")
-	instantiate_node(scd, "Class", "global")
-	instantiate_node(scd, "Class", "access")
-	instantiate_node(scd, "Class", "constant")
-	instantiate_node(scd, "Class", "input")
-	instantiate_node(scd, "Class", "resolve")
-	instantiate_node(scd, "Class", "call")
-	instantiate_link(scd, "Association", "dict_link", "Action", "Any")
-	instantiate_link(scd, "Association", "to_str", "dict_link", "String")
-	instantiate_attribute(scd, "to_str", "name", "name")
-	instantiate_link(scd, "Inheritance", "", "Action", "Any")
-	instantiate_link(scd, "Inheritance", "", "funcdef", "Action")
-	instantiate_link(scd, "Inheritance", "", "param", "Action")
-	instantiate_link(scd, "Inheritance", "", "Statement", "Action")
-	instantiate_link(scd, "Inheritance", "", "Expression", "Action")
-	instantiate_link(scd, "Inheritance", "", "resolve", "Statement")
-	instantiate_link(scd, "Inheritance", "", "if", "Statement")
-	instantiate_link(scd, "Inheritance", "", "break", "Statement")
-	instantiate_link(scd, "Inheritance", "", "continue", "Statement")
-	instantiate_link(scd, "Inheritance", "", "global", "Statement")
-	instantiate_link(scd, "Inheritance", "", "while", "Statement")
-	instantiate_link(scd, "Inheritance", "", "assign", "Statement")
-	instantiate_link(scd, "Inheritance", "", "return", "Statement")
-	instantiate_link(scd, "Inheritance", "", "call", "Statement")
-	instantiate_link(scd, "Inheritance", "", "declare", "Statement")
-	instantiate_link(scd, "Inheritance", "", "call", "Expression")
-	instantiate_link(scd, "Inheritance", "", "access", "Expression")
-	instantiate_link(scd, "Inheritance", "", "constant", "Expression")
-	instantiate_link(scd, "Inheritance", "", "input", "Expression")
-	instantiate_link(scd, "Association", "statement_next", "Statement", "Statement")
-	instantiate_link(scd, "Association", "if_cond", "if", "Expression")
-	instantiate_link(scd, "Association", "if_then", "if", "Statement")
-	instantiate_link(scd, "Association", "if_else", "if", "Statement")
-	instantiate_link(scd, "Association", "while_cond", "while", "Expression")
-	instantiate_link(scd, "Association", "while_body", "while", "Statement")
-	instantiate_link(scd, "Association", "assign_var", "assign", "Any")
-	instantiate_link(scd, "Association", "assign_value", "assign", "Expression")
-	instantiate_link(scd, "Association", "break_while", "break", "while")
-	instantiate_link(scd, "Association", "continue_while", "continue", "while")
-	instantiate_link(scd, "Association", "return_value", "return", "Expression")
-	instantiate_link(scd, "Association", "resolve_var", "resolve", "Any")
-	instantiate_link(scd, "Association", "access_var", "access", "Any")
-	instantiate_link(scd, "Association", "constant_node", "constant", "Any")
-	instantiate_link(scd, "Association", "output_node", "output", "Expression")
-	instantiate_link(scd, "Association", "global_var", "global", "String")
-	instantiate_link(scd, "Association", "param_name", "param", "String")
-	instantiate_link(scd, "Association", "param_value", "param", "Expression")
-	instantiate_link(scd, "Association", "param_next_param", "param", "param")
-	instantiate_link(scd, "Association", "funcdef_body", "funcdef", "Statement")
-	instantiate_link(scd, "Association", "call_func", "call", "Expression")
-	instantiate_link(scd, "Association", "call_params", "call", "param")
-	instantiate_link(scd, "Association", "call_last_param", "call", "param")
-	instantiate_link(scd, "Inheritance", "", "statement_next", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "if_cond", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "if_then", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "if_else", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "while_cond", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "while_body", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "assign_var", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "assign_value", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "break_while", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "continue_while", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "return_value", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "resolve_var", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "access_var", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "constant_node", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "output_node", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "global_var", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "param_name", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "param_value", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "param_next_param", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "funcdef_body", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "call_func", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "call_params", "dict_link")
-	instantiate_link(scd, "Inheritance", "", "call_last_param", "dict_link")
-
-	// Add cardinalities on how many connections are allowed: one of each
-	instantiate_attribute(scd, "statement_next", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "if_cond", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "if_cond", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "if_then", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "if_then", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "if_else", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "while_cond", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "while_cond", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "while_body", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "while_body", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "assign_var", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "assign_var", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "assign_value", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "assign_value", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "break_while", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "break_while", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "continue_while", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "continue_while", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "return_value", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "resolve_var", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "resolve_var", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "access_var", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "access_var", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "constant_node", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "constant_node", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "output_node", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "output_node", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "global_var", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "global_var", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "param_name", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "param_name", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "param_value", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "param_value", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "param_next_param", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "funcdef_body", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "funcdef_body", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "call_func", "target_lower_cardinality", 1)
-	instantiate_attribute(scd, "call_func", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "call_params", "target_upper_cardinality", 1)
-	instantiate_attribute(scd, "call_last_param", "target_upper_cardinality", 1)
-
-	// Now still allow for constraints on classes
-	instantiate_link(scd, "Association", "constraint", "Class", "funcdef")
-	instantiate_attribute(scd, "constraint", "name", "constraint")
-
-	// Add constraints to all primitive classes
-	//add_constraint(scd, "if", constraint_if)
-	//add_constraint(scd, "while", constraint_while)
-	//add_constraint(scd, "break", constraint_break)
-	//add_constraint(scd, "continue", constraint_continue)
-	//add_constraint(scd, "assign", constraint_assign)
-	//add_constraint(scd, "return", constraint_return)
-	//add_constraint(scd, "output", constraint_output)
-	//add_constraint(scd, "input", constraint_input)
-	//add_constraint(scd, "declare", constraint_declare)
-	//add_constraint(scd, "global", constraint_global)
-	//add_constraint(scd, "access", constraint_access)
-	//add_constraint(scd, "constant", constraint_constant)
-	//add_constraint(scd, "resolve", constraint_resolve)
-	//add_constraint(scd, "call", constraint_call)
+	add_AL(scd)
 
 	// And add some, to enforce correct physical types
 	add_constraint(scd, "Natural", constraint_natural)
@@ -422,3 +274,155 @@ Element function create_metamodels():
 		initialize_bottom(location_bottom)
 
 	return dict_read(dict_read(read_root(), "__hierarchy"), "models")!
+
+Void function add_AL(model : Element):
+	instantiate_node(model, "Class", "Action")
+	instantiate_node(model, "Class", "Statement")
+	instantiate_node(model, "Class", "Expression")
+	instantiate_node(model, "Class", "funcdef")
+	instantiate_node(model, "Class", "param")
+	instantiate_node(model, "Class", "if")
+	instantiate_node(model, "Class", "break")
+	instantiate_node(model, "Class", "while")
+	instantiate_node(model, "Class", "continue")
+	instantiate_node(model, "Class", "assign")
+	instantiate_node(model, "Class", "return")
+	instantiate_node(model, "Class", "output")
+	instantiate_node(model, "Class", "declare")
+	instantiate_node(model, "Class", "global")
+	instantiate_node(model, "Class", "access")
+	instantiate_node(model, "Class", "constant")
+	instantiate_node(model, "Class", "input")
+	instantiate_node(model, "Class", "resolve")
+	instantiate_node(model, "Class", "call")
+	instantiate_link(model, "Association", "dict_link", "Action", "Any")
+	instantiate_link(model, "Association", "to_str", "dict_link", "String")
+	instantiate_attribute(model, "to_str", "name", "name")
+	instantiate_link(model, "Inheritance", "", "Action", "Any")
+	instantiate_link(model, "Inheritance", "", "funcdef", "Action")
+	instantiate_link(model, "Inheritance", "", "param", "Action")
+	instantiate_link(model, "Inheritance", "", "Statement", "Action")
+	instantiate_link(model, "Inheritance", "", "Expression", "Action")
+	instantiate_link(model, "Inheritance", "", "resolve", "Statement")
+	instantiate_link(model, "Inheritance", "", "if", "Statement")
+	instantiate_link(model, "Inheritance", "", "break", "Statement")
+	instantiate_link(model, "Inheritance", "", "continue", "Statement")
+	instantiate_link(model, "Inheritance", "", "global", "Statement")
+	instantiate_link(model, "Inheritance", "", "while", "Statement")
+	instantiate_link(model, "Inheritance", "", "assign", "Statement")
+	instantiate_link(model, "Inheritance", "", "return", "Statement")
+	instantiate_link(model, "Inheritance", "", "call", "Statement")
+	instantiate_link(model, "Inheritance", "", "declare", "Statement")
+	instantiate_link(model, "Inheritance", "", "call", "Expression")
+	instantiate_link(model, "Inheritance", "", "access", "Expression")
+	instantiate_link(model, "Inheritance", "", "constant", "Expression")
+	instantiate_link(model, "Inheritance", "", "input", "Expression")
+	instantiate_link(model, "Association", "statement_next", "Statement", "Statement")
+	instantiate_link(model, "Association", "if_cond", "if", "Expression")
+	instantiate_link(model, "Association", "if_then", "if", "Statement")
+	instantiate_link(model, "Association", "if_else", "if", "Statement")
+	instantiate_link(model, "Association", "while_cond", "while", "Expression")
+	instantiate_link(model, "Association", "while_body", "while", "Statement")
+	instantiate_link(model, "Association", "assign_var", "assign", "Any")
+	instantiate_link(model, "Association", "assign_value", "assign", "Expression")
+	instantiate_link(model, "Association", "break_while", "break", "while")
+	instantiate_link(model, "Association", "continue_while", "continue", "while")
+	instantiate_link(model, "Association", "return_value", "return", "Expression")
+	instantiate_link(model, "Association", "resolve_var", "resolve", "Any")
+	instantiate_link(model, "Association", "access_var", "access", "Any")
+	instantiate_link(model, "Association", "constant_node", "constant", "Any")
+	instantiate_link(model, "Association", "output_node", "output", "Expression")
+	instantiate_link(model, "Association", "global_var", "global", "String")
+	instantiate_link(model, "Association", "param_name", "param", "String")
+	instantiate_link(model, "Association", "param_value", "param", "Expression")
+	instantiate_link(model, "Association", "param_next_param", "param", "param")
+	instantiate_link(model, "Association", "funcdef_body", "funcdef", "Statement")
+	instantiate_link(model, "Association", "call_func", "call", "Expression")
+	instantiate_link(model, "Association", "call_params", "call", "param")
+	instantiate_link(model, "Association", "call_last_param", "call", "param")
+	instantiate_link(model, "Inheritance", "", "statement_next", "dict_link")
+	instantiate_link(model, "Inheritance", "", "if_cond", "dict_link")
+	instantiate_link(model, "Inheritance", "", "if_then", "dict_link")
+	instantiate_link(model, "Inheritance", "", "if_else", "dict_link")
+	instantiate_link(model, "Inheritance", "", "while_cond", "dict_link")
+	instantiate_link(model, "Inheritance", "", "while_body", "dict_link")
+	instantiate_link(model, "Inheritance", "", "assign_var", "dict_link")
+	instantiate_link(model, "Inheritance", "", "assign_value", "dict_link")
+	instantiate_link(model, "Inheritance", "", "break_while", "dict_link")
+	instantiate_link(model, "Inheritance", "", "continue_while", "dict_link")
+	instantiate_link(model, "Inheritance", "", "return_value", "dict_link")
+	instantiate_link(model, "Inheritance", "", "resolve_var", "dict_link")
+	instantiate_link(model, "Inheritance", "", "access_var", "dict_link")
+	instantiate_link(model, "Inheritance", "", "constant_node", "dict_link")
+	instantiate_link(model, "Inheritance", "", "output_node", "dict_link")
+	instantiate_link(model, "Inheritance", "", "global_var", "dict_link")
+	instantiate_link(model, "Inheritance", "", "param_name", "dict_link")
+	instantiate_link(model, "Inheritance", "", "param_value", "dict_link")
+	instantiate_link(model, "Inheritance", "", "param_next_param", "dict_link")
+	instantiate_link(model, "Inheritance", "", "funcdef_body", "dict_link")
+	instantiate_link(model, "Inheritance", "", "call_func", "dict_link")
+	instantiate_link(model, "Inheritance", "", "call_params", "dict_link")
+	instantiate_link(model, "Inheritance", "", "call_last_param", "dict_link")
+
+	// Add cardinalities on how many connections are allowed: one of each
+	instantiate_attribute(model, "statement_next", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "if_cond", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "if_cond", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "if_then", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "if_then", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "if_else", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "while_cond", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "while_cond", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "while_body", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "while_body", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "assign_var", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "assign_var", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "assign_value", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "assign_value", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "break_while", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "break_while", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "continue_while", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "continue_while", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "return_value", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "resolve_var", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "resolve_var", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "access_var", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "access_var", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "constant_node", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "constant_node", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "output_node", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "output_node", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "global_var", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "global_var", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "param_name", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "param_name", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "param_value", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "param_value", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "param_next_param", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "funcdef_body", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "funcdef_body", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "call_func", "target_lower_cardinality", 1)
+	instantiate_attribute(model, "call_func", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "call_params", "target_upper_cardinality", 1)
+	instantiate_attribute(model, "call_last_param", "target_upper_cardinality", 1)
+
+	// Now still allow for constraints on classes
+	instantiate_link(model, "Association", "constraint", "Class", "funcdef")
+	instantiate_attribute(model, "constraint", "name", "constraint")
+
+	// Add constraints to all primitive classes
+	//add_constraint(model, "if", constraint_if)
+	//add_constraint(model, "while", constraint_while)
+	//add_constraint(model, "break", constraint_break)
+	//add_constraint(model, "continue", constraint_continue)
+	//add_constraint(model, "assign", constraint_assign)
+	//add_constraint(model, "return", constraint_return)
+	//add_constraint(model, "output", constraint_output)
+	//add_constraint(model, "input", constraint_input)
+	//add_constraint(model, "declare", constraint_declare)
+	//add_constraint(model, "global", constraint_global)
+	//add_constraint(model, "access", constraint_access)
+	//add_constraint(model, "constant", constraint_constant)
+	//add_constraint(model, "resolve", constraint_resolve)
+	//add_constraint(model, "call", constraint_call)
+	return !

bootstrap/ramify.alc

@@ -0,0 +1,171 @@
+include "primitives.alh"
+include "object_operations.alh"
+include "modelling.alh"
+include "metamodels.alh"
+
+Element function ramify_func(model : Element, prepost : String):
+	// Create new model structure
+	Element new_model
+	new_model = create_node()
+	dict_add(new_model, "model", create_node())
+	dict_add(new_model, "metamodel", model["metamodel"])
+	dict_add(new_model, "inheritance", model["inheritance"])
+
+	// Get local variables for parts
+	Element old_m
+	Element new_m
+	Element mm
+	String inheritor
+	new_m = new_model["model"]
+	old_m = new_model["model"]
+	mm = new_model["metamodel"]["model"]
+
+	Boolean is_pre
+	is_pre = prepost == "pre"
+
+	// Add in Natural and String
+	instantiate_node(new_model, "Class", "Natural")
+	instantiate_node(new_model, "Class", "String")
+
+	// Add in the complete AL metamodel
+	add_AL(new_model)
+
+	// Add some default elements
+	if (is_pre):
+		//	Class LHS {
+		//		constraint : Expression {
+		//			target_upper_cardinality = 1
+		//		}
+		//		upper_cardinality = 1
+		//		lower_cardinality = 1
+		//	}
+		instantiate_node(new_model, "Class", "LHS")
+		instantiate_attribute(new_model, "LHS", "lower_cardinality", 1)
+		instantiate_attribute(new_model, "LHS", "upper_cardinality", 1)
+		instantiate_link(new_model, "Association", "LHS_constraint", "LHS", "Expression")
+		instantiate_attribute(new_model, "LHS_constraint", "name", "constraint")
+		instantiate_attribute(new_model, "LHS_constraint", "target_upper_cardinality", 1)
+
+		//	Class NAC {}
+		instantiate_node(new_model, "Class", "NAC")
+
+		//	Class Pre_Element {
+		//		label : String {
+		//			target_lower_cardinality = 1
+		//			target_upper_cardinality = 1
+		//		}
+		//		constraint : Expression {
+		//			target_upper_cardinality = 1
+		//		}
+		//	}
+		instantiate_node(new_model, "Class", "Pre_Element")
+		instantiate_link(new_model, "Association", "Pre_Element_label", "Pre_Element", "String")
+		instantiate_attribute(new_model, "Pre_Element_label", "name", "label")
+		instantiate_attribute(new_model, "Pre_Element_label", "target_lower_cardinality", 1)
+		instantiate_attribute(new_model, "Pre_Element_label", "target_upper_cardinality", 1)
+		instantiate_link(new_model, "Association", "Pre_Element_constraint", "Pre_Element", "Expression")
+		instantiate_attribute(new_model, "Pre_Element_constraint", "name", "constraint")
+		instantiate_attribute(new_model, "Pre_Element_constraint", "target_upper_cardinality", 1)
+
+		// Association LHS_contains (LHS, Pre_Element) {}
+		instantiate_link(new_model, "Association", "LHS_contains", "LHS", "Pre_Element")
+		instantiate_attribute(new_model, "LHS_contains", "name", "contains")
+
+		// Association NAC_contains (NAC, Pre_Element) {}
+		instantiate_link(new_model, "Association", "NAC", "Pre_Element")
+		instantiate_attribute(new_model, "NAC_contains", "name", "contains")
+
+		inheritor = "Pre_Element"
+
+	else:
+		//	Class RHS {
+		//		action : FuncDef {
+		//			target_upper_cardinality = 1
+		//		}
+		//		upper_cardinality = 1
+		//		lower_cardinality = 1
+		//	}
+		instantiate_node(new_model, "Class", "RHS")
+		instantiate_attribute(new_model, "RHS", "lower_cardinality", 1)
+		instantiate_attribute(new_model, "RHS", "upper_cardinality", 1)
+		instantiate_link(new_model, "Association", "RHS_action", "RHS", "FuncDef")
+		instantiate_attribute(new_model, "RHS_action", "name", "action")
+		instantiate_attribute(new_model, "RHS_action", "target_upper_cardinality", 1)
+
+		//	Class Post_Element {
+		//		label : String {
+		//			target_lower_cardinality = 1
+		//			target_upper_cardinality = 1
+		//		}
+		//		value : Expression {
+		//			target_upper_cardinality = 1
+		//		}
+		//	}
+		instantiate_node(new_model, "Class", "Post_Element")
+		instantiate_link(new_model, "Association", "Post_Element_label", "Post_Element", "String")
+		instantiate_attribute(new_model, "Post_Element_label", "name", "label")
+		instantiate_attribute(new_model, "Post_Element_label", "target_lower_cardinality", 1)
+		instantiate_attribute(new_model, "Post_Element_label", "target_upper_cardinality", 1)
+		instantiate_link(new_model, "Association", "Post_Element_value", "Post_Element", "Expression")
+		instantiate_attribute(new_model, "Post_Element_value", "name", "value")
+		instantiate_attribute(new_model, "Post_Element_value", "target_upper_cardinality", 1)
+
+		// Association RHS_contains (RHS, Post_Element) {}
+		instantiate_link(new_model, "Association", "RHS_contains", "RHS", "Post_Element")
+		instantiate_attribute(new_model, "RHS_contains", "name", "contains")
+
+		inheritor = "Post_Element"
+
+	// Basics are added, now we need to add each node and transition, but slightly modified
+	Element keys
+	String key
+	Element new_entry
+	Element entry
+	String append
+	if (is_pre):
+		append = "Pre_"
+	else:
+		append = "Post_"
+
+	keys = dict_keys(old_m)
+	while (read_nr_out(keys) > 0):
+		key = set_pop(keys)
+		entry = old_m[key]
+
+		type_name = reverseKeyLookup(old_model["metamodel"]["model"], dict_read_node(old_model["type_mapping"], entry))
+		if (type_name == "Class"):
+			instantiate_node(new_model, type_name, append + key)
+
+		elif (bool_or(type_name == "Association", type_name == "Inheritance")):
+			old_source = reverseKeyLookup(old_model["model"], read_edge_src(entry))
+			old_target = reverseKeyLookup(old_model["model"], read_edge_dst(entry))
+			instantiate_link(new_model, type_name, append + key, append + old_source, append + old_target)
+
+			// 1) Make it inherit from the Root Element (Pre_Element or Post_Element)
+			instantiate_link(new_model, "Inheritance", "", append + key, inheritor)
+			
+		elif (bool_not(has_value(entry))):
+			// Primitive values themselves are not copied, so skip that here
+
+			// An instance link, so just copy over (don't make element of Root Element), and don't even copy if it is lower cardinality
+			// It is probably an attribute at the meta-language level, so check which one it is
+			String name
+			name = cast_v2s(read_attribute(old_model["metamodel"], type_name, "name"))
+			if (bool_not(bool_or(bool_or(name == "lower_cardinality", name == "source_lower_cardinality"), name == "target_lower_cardinality"))):
+				// Not a lower cardinality, so copy
+				source = reverseKeyLookup(old_model["model"], read_edge_src(entry))
+				instantiate_attribute(new_model, source, name, read_edge_dst(entry))
+
+	return new_model
+
+Element function ramify(model : Element):
+	Element rv
+	rv = create_node()
+
+	// Create Pre part
+	dict_add(rv, "pre", ramify_func(model, "Pre"))
+
+	// Create Post part
+	dict_add(rv, "post", ramify_func(model, "Post"))
+
+	return rv!

interface/HUTN/includes/metamodels.alh

@@ -2,3 +2,4 @@ Element function create_metamodels()
 Element function initialize_SCD(location : String)
 Element function initialize_PN(location_SCD : String, location_PN : String)
 Element function initialize_bottom(location : String)
+Void function add_AL(model : Element)