From 750b37401bc3eb3e9deb7126d90f871973ba477b Mon Sep 17 00:00:00 2001
From: ArenBabikian
Date: Mon, 11 May 2020 10:06:57 -0400
Subject: Remove derived features from the PLEDGE MM
---
.../src/Taxation/Tax_Card.java | 27 ----------------------
1 file changed, 27 deletions(-)
(limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Card.java')
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Card.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Card.java
index bcfc0c75..94de4a1b 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Card.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Card.java
@@ -16,7 +16,6 @@ import org.eclipse.emf.ecore.EObject;
*
*
* - {@link Taxation.Tax_Card#getCard_identifier Card identifier}
- * - {@link Taxation.Tax_Card#getTax_card_type Tax card type}
* - {@link Taxation.Tax_Card#getTax_office Tax office}
* - {@link Taxation.Tax_Card#getPercentage_of_witholding Percentage of witholding}
* - {@link Taxation.Tax_Card#getTax_payers_name_surname Tax payers name surname}
@@ -79,32 +78,6 @@ public interface Tax_Card extends EObject {
*/
void setCard_identifier(String value);
- /**
- * Returns the value of the 'Tax card type' attribute.
- * The literals are from the enumeration {@link Taxation.Tax_Card_Type}.
- *
- *
- * @return the value of the 'Tax card type' attribute.
- * @see Taxation.Tax_Card_Type
- * @see #setTax_card_type(Tax_Card_Type)
- * @see Taxation.TaxationPackage#getTax_Card_Tax_card_type()
- * @model required="true" derived="true"
- * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot derivation='if(self.income.taxPayer.incomes->size()=1) then \nTax_Card_Type::Principal\n\telse\n\t\tlet all_incomes:OrderedSet(Income)=self.income.taxPayer.incomes->select(inc:Income| inc.income_amount= self.income.taxPayer.incomes.income_amount->max())->asOrderedSet() in\n\t\tlet bigest_income:Income= all_incomes->first() in\n\t\t\t if(bigest_income=self.income) then\n\t\t\t \t Tax_Card_Type::Principal\n\t\t\t else\n\t\t\t\t\tTax_Card_Type::Additional\n\t\t\t\tendif\nendif\n\t\t\t\t'"
- * @generated
- */
- Tax_Card_Type getTax_card_type();
-
- /**
- * Sets the value of the '{@link Taxation.Tax_Card#getTax_card_type Tax card type}' attribute.
- *
- *
- * @param value the new value of the 'Tax card type' attribute.
- * @see Taxation.Tax_Card_Type
- * @see #getTax_card_type()
- * @generated
- */
- void setTax_card_type(Tax_Card_Type value);
-
/**
* Returns the value of the 'Tax office' attribute.
* The literals are from the enumeration {@link Taxation.Tax_Office}.
--
cgit v1.2.3-70-g09d2