All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.eclipse.epsilon.emc.emf.xml.Test.xml Maven / Gradle / Ivy

The newest version!
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<TestSuite xsi:schemaLocation="TestCases TestCases.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<TestCase>
	<Function name='Assign' precondition='1' returnValue = 'false'></Function>
	<instance filename="C:\PhD\ALLOY\case_studies\CourseAssignment\EnhancedVersion\TestGen\Regions\Assign_Region4_Pre1.als" bitwidth="5" command="Check AssignReg4_1_4 for 5 int, exactly 2 DepartmentState, exactly 4 Student, exactly 3 Lecturer, exactly 3 Course">


<sig name="Int" extends="univ" isBuiltin="true">
  <atom name="-16"/>
  <atom name="-15"/>
  <atom name="-14"/>
  <atom name="-13"/>
  <atom name="-12"/>
  <atom name="-11"/>
  <atom name="-10"/>
  <atom name="-9"/>
  <atom name="-8"/>
  <atom name="-7"/>
  <atom name="-6"/>
  <atom name="-5"/>
  <atom name="-4"/>
  <atom name="-3"/>
  <atom name="-2"/>
  <atom name="-1"/>
  <atom name="0"/>
  <atom name="1"/>
  <atom name="2"/>
  <atom name="3"/>
  <atom name="4"/>
  <atom name="5"/>
  <atom name="6"/>
  <atom name="7"/>
  <atom name="8"/>
  <atom name="9"/>
  <atom name="10"/>
  <atom name="11"/>
  <atom name="12"/>
  <atom name="13"/>
  <atom name="14"/>
  <atom name="15"/>
</sig>

<sig name="seq/Int" extends="Int" isBuiltin="true">
  <atom name="0"/>
  <atom name="1"/>
  <atom name="2"/>
  <atom name="3"/>
</sig>

<sig name="cs/Constants" extends="univ" isOne="true">
  <atom name="cs/Constants$0"/>
</sig>

<field name="Max_Attendees">
    <type> <sig name="cs/Constants"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Constants$0"/> <atom name="7"/> </tuple>
</field>

<field name="Max_CourseSubscription">
    <type> <sig name="cs/Constants"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Constants$0"/> <atom name="6"/> </tuple>
</field>

<field name="Max_LecturerAssignment">
    <type> <sig name="cs/Constants"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Constants$0"/> <atom name="3"/> </tuple>
</field>

<field name="Min_ExpYear">
    <type> <sig name="cs/Constants"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Constants$0"/> <atom name="3"/> </tuple>
</field>

<sig name="cs/Person" extends="univ" isAbstract="true">
  <atom name="cs/Student$0"/>
  <atom name="cs/Student$1"/>
  <atom name="cs/Student$2"/>
  <atom name="cs/Student$3"/>
  <atom name="cs/Lecturer$0"/>
  <atom name="cs/Lecturer$1"/>
  <atom name="cs/Lecturer$2"/>
</sig>

<field name="age">
    <type> <sig name="cs/Person"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Student$0"/> <atom name="15"/> </tuple>
    <tuple> <atom name="cs/Student$1"/> <atom name="7"/> </tuple>
    <tuple> <atom name="cs/Student$2"/> <atom name="6"/> </tuple>
    <tuple> <atom name="cs/Student$3"/> <atom name="6"/> </tuple>
    <tuple> <atom name="cs/Lecturer$0"/> <atom name="7"/> </tuple>
    <tuple> <atom name="cs/Lecturer$1"/> <atom name="3"/> </tuple>
    <tuple> <atom name="cs/Lecturer$2"/> <atom name="11"/> </tuple>
</field>

<sig name="cs/Student" extends="cs/Person">
  <atom name="cs/Student$0"/>
  <atom name="cs/Student$1"/>
  <atom name="cs/Student$2"/>
  <atom name="cs/Student$3"/>
</sig>

<field name="sYear">
    <type> <sig name="cs/Student"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Student$0"/> <atom name="4"/> </tuple>
    <tuple> <atom name="cs/Student$1"/> <atom name="4"/> </tuple>
    <tuple> <atom name="cs/Student$2"/> <atom name="4"/> </tuple>
    <tuple> <atom name="cs/Student$3"/> <atom name="4"/> </tuple>
</field>

<sig name="cs/Lecturer" extends="cs/Person">
  <atom name="cs/Lecturer$0"/>
  <atom name="cs/Lecturer$1"/>
  <atom name="cs/Lecturer$2"/>
</sig>

<field name="lExpYear">
    <type> <sig name="cs/Lecturer"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Lecturer$0"/> <atom name="15"/> </tuple>
    <tuple> <atom name="cs/Lecturer$1"/> <atom name="15"/> </tuple>
    <tuple> <atom name="cs/Lecturer$2"/> <atom name="15"/> </tuple>
</field>

<sig name="cs/Course" extends="univ">
  <atom name="cs/Course$0"/>
  <atom name="cs/Course$1"/>
  <atom name="cs/Course$2"/>
</sig>

<field name="cID">
    <type> <sig name="cs/Course"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Course$0"/> <atom name="13"/> </tuple>
    <tuple> <atom name="cs/Course$1"/> <atom name="14"/> </tuple>
    <tuple> <atom name="cs/Course$2"/> <atom name="15"/> </tuple>
</field>

<field name="cAllowedYears">
    <type> <sig name="cs/Course"/> <sig name="Int"/> </type>
    <tuple> <atom name="cs/Course$0"/> <atom name="4"/> </tuple>
    <tuple> <atom name="cs/Course$1"/> <atom name="1"/> </tuple>
    <tuple> <atom name="cs/Course$1"/> <atom name="3"/> </tuple>
    <tuple> <atom name="cs/Course$1"/> <atom name="4"/> </tuple>
    <tuple> <atom name="cs/Course$2"/> <atom name="4"/> </tuple>
</field>

<sig name="cs/DepartmentState" extends="univ">
  <atom name="cs/DepartmentState$0"/>
  <atom name="cs/DepartmentState$1"/>
</sig>

<field name="CourseAssignment">
    <type> <sig name="cs/DepartmentState"/> <sig name="cs/Student"/> <sig name="cs/Course"/> </type>
    <tuple> <atom name="cs/DepartmentState$0"/> <atom name="cs/Student$0"/> <atom name="cs/Course$1"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$0"/> <atom name="cs/Student$1"/> <atom name="cs/Course$2"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$0"/> <atom name="cs/Student$2"/> <atom name="cs/Course$0"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$0"/> <atom name="cs/Student$3"/> <atom name="cs/Course$0"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$1"/> <atom name="cs/Student$0"/> <atom name="cs/Course$1"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$1"/> <atom name="cs/Student$1"/> <atom name="cs/Course$2"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$1"/> <atom name="cs/Student$2"/> <atom name="cs/Course$0"/> </tuple>
    <tuple> <atom name="cs/DepartmentState$1"/> <atom name="cs/Student$3"/> <atom name="cs/Course$0"/> </tuple>
</field>

<field name="TeachingAssignment">
    <type> <sig name="cs/DepartmentState"/> <sig name="cs/Course"/> <sig name="cs/Lecturer"/> </type>
    <tuple> <atom name="cs/DepartmentState$1"/> <atom name="cs/Course$2"/> <atom name="cs/Lecturer$2"/> </tuple>
</field>

<set name="$AssignReg4_1_4_d" type="cs/DepartmentState">
  <atom name="cs/DepartmentState$1"/>
</set>

<set name="$AssignReg4_1_4_d&apos;" type="cs/DepartmentState">
  <atom name="cs/DepartmentState$0"/>
</set>

<set name="$AssignReg4_1_4_lec" type="cs/Lecturer">
  <atom name="cs/Lecturer$2"/>
</set>

<set name="$AssignReg4_1_4_c" type="cs/Course">
  <atom name="cs/Course$2"/>
</set>

</instance>  


</TestCase>
</TestSuite>




© 2015 - 2025 Weber Informatics LLC | Privacy Policy