blob: de46e4767e9e0d56ae22295f414a56ca1c5a7529 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText=" * Copyright (c) 2008 Daniel Varro&#xD;&#xA; * All rights reserved. This program and the accompanying materials&#xD;&#xA; * are made available under the terms of the Eclipse Public License v1.0&#xD;&#xA; * which accompanies this distribution, and is available at&#xD;&#xA; * http://www.eclipse.org/legal/epl-v10.html&#xD;&#xA; *&#xD;&#xA; * Contributors:&#xD;&#xA; * Daniel Varro - initial API and implementation&#xD;&#xA;"
modelDirectory="/org.eclipse.viatra2.gtasm.typing.model/src" modelPluginID="org.eclipse.viatra2.gtasm.typing.model"
modelName="TypeRules" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0"
copyrightFields="false">
<foreignModel>VTCLTypeRule.ecore</foreignModel>
<genPackages prefix="Typerules" basePackage="org.eclipse.viatra2.gtasm" disposableProviderFactory="true"
ecorePackage="VTCLTypeRule.ecore#/">
<genClasses ecoreClass="VTCLTypeRule.ecore#//RuleSet">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference VTCLTypeRule.ecore#//RuleSet/extends"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VTCLTypeRule.ecore#//RuleSet/typerules"/>
</genClasses>
<genClasses image="false" ecoreClass="VTCLTypeRule.ecore#//TypeJudgement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//TypeJudgement/isValid"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//TypeJudgement/result"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//TypeJudgement/name"/>
</genClasses>
<genClasses ecoreClass="VTCLTypeRule.ecore#//UnaryTypeJudgement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//UnaryTypeJudgement/operand"/>
</genClasses>
<genClasses ecoreClass="VTCLTypeRule.ecore#//BinaryTypeJudgement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//BinaryTypeJudgement/firstOperand"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//BinaryTypeJudgement/secondOperand"/>
</genClasses>
<genClasses image="false" ecoreClass="VTCLTypeRule.ecore#//TypeRule">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VTCLTypeRule.ecore#//TypeRule/judgements"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//TypeRule/operator"/>
</genClasses>
<genClasses ecoreClass="VTCLTypeRule.ecore#//CustomTypeJudgement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute VTCLTypeRule.ecore#//CustomTypeJudgement/operands"/>
</genClasses>
</genPackages>
</genmodel:GenModel>