namespace skypesim; import DSM.metamodel.SkypeSim.SkypeSimEditor; @incremental machine Final_Rules_Random { gtrule Rule1_Create_Client_Firewall_ON() = { precondition pattern lhs(ND,Network) = { ND(ND); Network(Network); } action { println("SC created, registered and Attribute Memory is set="); // println("SC created, registered and Attribute Memory is set="+value(K)); } } rule main() = seq { // Create clients forall with apply Rule1_Create_Client_Firewall_ON()do skip; } }