AToMPM/users/(default)/Formalisms/TrafficLight/TrafficLight.pattern.metamodel

{
	"types": {
		"__pState": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "name",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			},
			{
				"name": "initial",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			},
			{
				"name": "current",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pInterrupt": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "at",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			},
			{
				"name": "event",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			},
			{
				"name": "current",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pTimedTransition": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "after",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pInterruptTransition": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "interrupt",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pTime": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "clock",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pAbstractInterrupt": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "current",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pNext": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			}
		],
		"__pEnd": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "current",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pVisualisation": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			},
			{
				"name": "red",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			},
			{
				"name": "yellow",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			},
			{
				"name": "green",
				"type": "code",
				"default": "\"[PYTHON]\"\n\"Example:\t result = True\"\n\"Example:\t result = getAttr()\"\n\n\"[JAVASCRIPT]\"\n\"Example:\t true\"\n\"Example:\t getAttr()\""
			}
		],
		"__pVisualisedBy": [
			{
				"name": "__pLabel",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotIn",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pPivotOut",
				"type": "string",
				"default": ""
			},
			{
				"name": "__pMatchSubtypes",
				"type": "boolean",
				"default": false
			}
		]
	},
	"constraints": [
		{
			"name": "noAbstractInstances",
			"event": "pre-create",
			"code": "/* comment next line to enable this constraint */\nthrow \"IgnoredConstraint\"\nfalse",
			"targetType": "AbstractInterrupt"
		}
	],
	"actions": [
		{
			"name": "distinctPLabels",
			"event": "post-create",
			"code": "if( getAttr(\"__pLabel\") == \"\" )\n{\n\tvar pLabels = getAllNodes().\n\t\t\t\t\t\t\tfilter( function(n) {return hasAttr(\"__pLabel\",n);} ).\n\t\t\t\t\t\t\t\tmap( function(n) {return getAttr(\"__pLabel\",n);} ),\n\t\t i\t\t\t= \"0\";\n\n\twhile( _utils.contains(pLabels,i) )\n\t\ti = String(parseInt(i)+1);\n\tsetAttr(\"__pLabel\",i);\n}",
			"targetType": "*"
		}
	],
	"cardinalities": {
		"__pState": [
			{
				"dir": ">",
				"type": "__pTimedTransition",
				"min": 0,
				"max": "1"
			},
			{
				"dir": ">",
				"type": "__pVisualisedBy",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pTimedTransition",
				"min": 0,
				"max": "Infinity"
			},
			{
				"dir": "in",
				"type": "__pTimedTransition",
				"min": 0,
				"max": "Infinity"
			},
			{
				"dir": "out",
				"type": "__pInterruptTransition",
				"min": 0,
				"max": "Infinity"
			},
			{
				"dir": "in",
				"type": "__pInterruptTransition",
				"min": 0,
				"max": "Infinity"
			},
			{
				"dir": "out",
				"type": "__pVisualisedBy",
				"min": 0,
				"max": "Infinity"
			}
		],
		"__pInterrupt": [
			{
				"dir": ">",
				"type": "__pNext",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "<",
				"type": "__pNext",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pNext",
				"min": 0,
				"max": "Infinity"
			},
			{
				"dir": "in",
				"type": "__pNext",
				"min": 0,
				"max": "Infinity"
			}
		],
		"__pTimedTransition": [
			{
				"dir": "in",
				"type": "__pState",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pState",
				"min": 0,
				"max": "1"
			}
		],
		"__pInterruptTransition": [
			{
				"dir": "in",
				"type": "__pState",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pState",
				"min": 0,
				"max": "1"
			}
		],
		"__pTime": [],
		"__pAbstractInterrupt": [
			{
				"dir": "<",
				"type": "__pNext",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "in",
				"type": "__pNext",
				"min": 0,
				"max": "Infinity"
			}
		],
		"__pNext": [
			{
				"dir": "in",
				"type": "__pInterrupt",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pAbstractInterrupt",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pInterrupt",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pEnd",
				"min": 0,
				"max": "1"
			}
		],
		"__pEnd": [
			{
				"dir": "<",
				"type": "__pNext",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "in",
				"type": "__pNext",
				"min": 0,
				"max": "Infinity"
			}
		],
		"__pVisualisation": [
			{
				"dir": "in",
				"type": "__pVisualisedBy",
				"min": 0,
				"max": "Infinity"
			}
		],
		"__pVisualisedBy": [
			{
				"dir": "in",
				"type": "__pState",
				"min": 0,
				"max": "1"
			},
			{
				"dir": "out",
				"type": "__pVisualisation",
				"min": 0,
				"max": "1"
			}
		]
	},
	"legalConnections": {
		"__pState": {
			"__pState": [
				"__pTimedTransition",
				"__pInterruptTransition"
			],
			"__pVisualisation": [
				"__pVisualisedBy"
			]
		},
		"__pInterrupt": {
			"__pAbstractInterrupt": [
				"__pNext"
			],
			"__pInterrupt": [
				"__pNext"
			],
			"__pEnd": [
				"__pNext"
			]
		}
	},
	"connectorTypes": {
		"__pTimedTransition": "visual",
		"__pInterruptTransition": "visual",
		"__pNext": "visual",
		"__pVisualisedBy": "visual"
	},
	"types2parentTypes": {
		"__pState": [],
		"__pInterrupt": [
			"__pAbstractInterrupt"
		],
		"__pTimedTransition": [],
		"__pInterruptTransition": [],
		"__pTime": [],
		"__pAbstractInterrupt": [],
		"__pNext": [],
		"__pEnd": [
			"__pAbstractInterrupt"
		],
		"__pVisualisation": [],
		"__pVisualisedBy": []
	}
}