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'" 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