From c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 26 Apr 2020 18:23:13 -0400 Subject: Add PLEDGE case study files --- .../Category_of_Health_and_Pension_Insurances.java | 232 +++++++++++++++++++++ 1 file changed, 232 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Category_of_Health_and_Pension_Insurances.java (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Category_of_Health_and_Pension_Insurances.java') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Category_of_Health_and_Pension_Insurances.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Category_of_Health_and_Pension_Insurances.java new file mode 100644 index 00000000..5cc3e13d --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Category_of_Health_and_Pension_Insurances.java @@ -0,0 +1,232 @@ +/** + */ +package Taxation; + +import java.util.Arrays; +import java.util.Collections; +import java.util.List; + +import org.eclipse.emf.common.util.Enumerator; + +/** + * + * A representation of the literals of the enumeration 'Category of Health and Pension Insurances', + * and utility methods for working with them. + * + * @see Taxation.TaxationPackage#getCategory_of_Health_and_Pension_Insurances() + * @model + * @generated + */ +public enum Category_of_Health_and_Pension_Insurances implements Enumerator { + /** + * The 'MANDATORY HEALTH AND PENSION INSURANCE' literal object. + * + * + * @see #MANDATORY_HEALTH_AND_PENSION_INSURANCE_VALUE + * @generated + * @ordered + */ + MANDATORY_HEALTH_AND_PENSION_INSURANCE(0, "MANDATORY_HEALTH_AND_PENSION_INSURANCE", "MANDATORY_HEALTH_AND_PENSION_INSURANCE"), + + /** + * The 'ADDITIONAL EMPLOYERS PENSION INSURANCE' literal object. + * + * + * @see #ADDITIONAL_EMPLOYERS_PENSION_INSURANCE_VALUE + * @generated + * @ordered + */ + ADDITIONAL_EMPLOYERS_PENSION_INSURANCE(1, "ADDITIONAL_EMPLOYERS_PENSION_INSURANCE", "ADDITIONAL_EMPLOYERS_PENSION_INSURANCE"), + + /** + * The 'CONTINUED HEALTH AND PENSION INSURANCE' literal object. + * + * + * @see #CONTINUED_HEALTH_AND_PENSION_INSURANCE_VALUE + * @generated + * @ordered + */ + CONTINUED_HEALTH_AND_PENSION_INSURANCE(2, "CONTINUED_HEALTH_AND_PENSION_INSURANCE", "CONTINUED_HEALTH_AND_PENSION_INSURANCE"); + + /** + * The 'MANDATORY HEALTH AND PENSION INSURANCE' literal value. + * + * + * @see #MANDATORY_HEALTH_AND_PENSION_INSURANCE + * @model + * @generated + * @ordered + */ + public static final int MANDATORY_HEALTH_AND_PENSION_INSURANCE_VALUE = 0; + + /** + * The 'ADDITIONAL EMPLOYERS PENSION INSURANCE' literal value. + * + * + * @see #ADDITIONAL_EMPLOYERS_PENSION_INSURANCE + * @model + * @generated + * @ordered + */ + public static final int ADDITIONAL_EMPLOYERS_PENSION_INSURANCE_VALUE = 1; + + /** + * The 'CONTINUED HEALTH AND PENSION INSURANCE' literal value. + * + * + * @see #CONTINUED_HEALTH_AND_PENSION_INSURANCE + * @model + * @generated + * @ordered + */ + public static final int CONTINUED_HEALTH_AND_PENSION_INSURANCE_VALUE = 2; + + /** + * An array of all the 'Category of Health and Pension Insurances' enumerators. + * + * + * @generated + */ + private static final Category_of_Health_and_Pension_Insurances[] VALUES_ARRAY = + new Category_of_Health_and_Pension_Insurances[] { + MANDATORY_HEALTH_AND_PENSION_INSURANCE, + ADDITIONAL_EMPLOYERS_PENSION_INSURANCE, + CONTINUED_HEALTH_AND_PENSION_INSURANCE, + }; + + /** + * A public read-only list of all the 'Category of Health and Pension Insurances' enumerators. + * + * + * @generated + */ + public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); + + /** + * Returns the 'Category of Health and Pension Insurances' literal with the specified literal value. + * + * + * @param literal the literal. + * @return the matching enumerator or null. + * @generated + */ + public static Category_of_Health_and_Pension_Insurances get(String literal) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + Category_of_Health_and_Pension_Insurances result = VALUES_ARRAY[i]; + if (result.toString().equals(literal)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Category of Health and Pension Insurances' literal with the specified name. + * + * + * @param name the name. + * @return the matching enumerator or null. + * @generated + */ + public static Category_of_Health_and_Pension_Insurances getByName(String name) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + Category_of_Health_and_Pension_Insurances result = VALUES_ARRAY[i]; + if (result.getName().equals(name)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Category of Health and Pension Insurances' literal with the specified integer value. + * + * + * @param value the integer value. + * @return the matching enumerator or null. + * @generated + */ + public static Category_of_Health_and_Pension_Insurances get(int value) { + switch (value) { + case MANDATORY_HEALTH_AND_PENSION_INSURANCE_VALUE: return MANDATORY_HEALTH_AND_PENSION_INSURANCE; + case ADDITIONAL_EMPLOYERS_PENSION_INSURANCE_VALUE: return ADDITIONAL_EMPLOYERS_PENSION_INSURANCE; + case CONTINUED_HEALTH_AND_PENSION_INSURANCE_VALUE: return CONTINUED_HEALTH_AND_PENSION_INSURANCE; + } + return null; + } + + /** + * + * + * @generated + */ + private final int value; + + /** + * + * + * @generated + */ + private final String name; + + /** + * + * + * @generated + */ + private final String literal; + + /** + * Only this class can construct instances. + * + * + * @generated + */ + private Category_of_Health_and_Pension_Insurances(int value, String name, String literal) { + this.value = value; + this.name = name; + this.literal = literal; + } + + /** + * + * + * @generated + */ + @Override + public int getValue() { + return value; + } + + /** + * + * + * @generated + */ + @Override + public String getName() { + return name; + } + + /** + * + * + * @generated + */ + @Override + public String getLiteral() { + return literal; + } + + /** + * Returns the literal value of the enumerator, which is its string representation. + * + * + * @generated + */ + @Override + public String toString() { + return literal; + } + +} //Category_of_Health_and_Pension_Insurances -- cgit v1.2.3-70-g09d2