blob: ce0b675537be94401534d9e28efd00c7eda6a4d4 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!-- ***************************************************************************
* Copyright (c) 2016 École Polytechnique de Montréal
*
* All rights reserved. This program and the accompanying materials are
* made available under the terms of the Eclipse Public License 2.0 which
* accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*************************************************************************** -->
<tmfxml xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:noNamespaceSchemaLocation="xmlDefinition.xsd">
<stateProvider id="test.element.placement" version="1">
<location id="CurrentWorker">
<stateAttribute type="constant" value="Worker" />
<stateAttribute type="eventField" value="workerno" />
</location>
<!-- StateValues -->
<definedValue name="WORKING" value="3" />
<eventHandler eventName="start">
<stateChange>
<stateAttribute type="location" value="CurrentWorker" />
<stateValue type="int" value="$WORKING" />
</stateChange>
</eventHandler>
<definedValue name="WAIT" value="4" />
<eventHandler eventName="wait">
<stateChange>
<stateAttribute type="location" value="CurrentWorker" />
<stateValue type="int" value="$WAIT" />
</stateChange>
</eventHandler>
<definedValue name="IDLE" value="5" />
<eventHandler eventName="awake">
<stateChange>
<stateAttribute type="location" value="CurrentWorker" />
<stateValue type="int" value="$IDLE" />
</stateChange>
</eventHandler>
</stateProvider>
</tmfxml>