| <?xml version="1.0" encoding="UTF-8"?> |
| <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
| xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="utptypes" nsURI="http://www.omg.org/spec/UTP/20120801/utptypes.xmi" |
| nsPrefix="utptypes"> |
| <eClassifiers xsi:type="ecore:EEnum" name="Verdict"> |
| <eLiterals name="none"/> |
| <eLiterals name="pass" value="1"/> |
| <eLiterals name="inconclusive" value="2"/> |
| <eLiterals name="fail" value="3"/> |
| <eLiterals name="error" value="4"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Arbiter" abstract="true" interface="true"> |
| <eOperations name="getVerdict" ordered="false" lowerBound="1" eType="#//Verdict"/> |
| <eOperations name="setVerdict" ordered="false" lowerBound="1"> |
| <eParameters name="v" ordered="false" lowerBound="1" eType="#//Verdict"/> |
| </eOperations> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Timer" abstract="true" interface="true"> |
| <eOperations name="start" ordered="false" lowerBound="1"> |
| <eParameters name="expire" ordered="false" lowerBound="1" eType="#//Timepoint"/> |
| </eOperations> |
| <eOperations name="start2" ordered="false" lowerBound="1"> |
| <eParameters name="expire" ordered="false" lowerBound="1" eType="#//Duration"/> |
| </eOperations> |
| <eOperations name="stop" ordered="false" lowerBound="1"/> |
| <eOperations name="read" ordered="false" lowerBound="1" eType="#//Duration"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="isRunning" ordered="false" |
| lowerBound="1" eType="ecore:EDataType ../../org.eclipse.uml2.types/model/Types.ecore#//Boolean" |
| changeable="false"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EDataType" name="Timepoint" instanceClassName="java.lang.String"/> |
| <eClassifiers xsi:type="ecore:EDataType" name="Duration" instanceClassName="java.lang.String"/> |
| <eClassifiers xsi:type="ecore:EDataType" name="Timezone" instanceClassName="java.lang.String"/> |
| </ecore:EPackage> |
