Improve model checking

DNI3/etl/DNI-model-check.etl

@@ -133,6 +133,53 @@ pre check_sdn_controller_applications {
 	}
 }
 
+pre check_sdn_flow_rules {
+	var flow_rules = DNI.getAllOfKind("SdnFlowRule");
+	for (fr in flow_rules) {
+		if (fr.sdnSwitch.isUndefined()) {
+			throw "No sdnSwitch defined for flow rule!";
+		} else if (fr.flow.isUndefined()) {
+			throw "No flow defined for flow rule!";
+		} else if (fr.controllerApplication.isUndefined()) {
+			throw "No controllerApplication defined for flow rule!";
+		}
+	}
+}
+
+pre check_node {
+	var nodes = DNI.getAllOfKind("Node");
+	for (n in nodes) {
+		if (n.name.isUndefined()) {
+			throw "No name defined for node!"; 
+		} else if (n.interfaces.isUndefined() or n.interfaces.size() == 0) {
+			throw "No interfaces defined for node " + n.name;
+		} else if (n.sdntype.isUndefined()) {
+			throw "No sdntype defined for node " + n.name;
+		} else if (n.hosts.isDefined() and n.hosts.size() > 0 and n.isHostedOn.isDefined()) {
+			throw "Node " + n.name + " is hosted on a node and hosts other nodes at the same time!";
+		} else if (n.end.isUndefined() and n.intermediate.isUndefined()) {
+			throw "Node " + n.name + " is neither End nor Intermediate!";
+		} else if (n.sdntype.eClass.name <> "SDN" and n.end.isDefined() and n.intermediate.isDefined()) {
+			throw "Node " + n.name + " is End and Intermediate but not an SDN switch!";
+		} else if (n.isPhysical == "true" and n.isHostedOn.isDefined()) {
+			throw "Node " + n.name + " is physical but hosted on another node!";
+		} else if (n.isPhysical == "false" and n.isHostedOn.isUndefined()) {
+			throw "Node " + n.name + " is virtual but not hosted on another node!";
+		}
+	}
+}
+
+pre check_end {
+	var ends = DNI.getAllOfKind("End");
+	for (end in ends) {
+		if (end.node.isUndefined()) {
+			throw "End has no node attribute!";
+		} else if (end.performance.isUndefined()) {
+			throw "No performance defined for End!";
+		}
+	}
+}
+
 post {
 	"Done running model check! Everything seems fine.".println();
 }
\ No newline at end of file