feat: make the first item consider testPart pre-conditions

src/qtism/data/AssessmentSection.php

@@ -320,4 +320,11 @@ public function getComponents(): QtiComponentCollection
 
         return new QtiComponentCollection($comp);
     }
+
+    public function isLastSectionPart(SectionPart $sectionPart): bool
+    {
+        $sectionParts = $this->getSectionParts()->getArrayCopy();
+
+        return end($sectionParts) === $sectionPart;
+    }
 }

src/qtism/data/TestPart.php

@@ -419,4 +419,11 @@ public function __clone()
     {
         $this->setObservers(new SplObjectStorage());
     }
+
+    public function isLastSection(AssessmentSection $assessmentSection): bool
+    {
+        $sections = $this->getAssessmentSections()->getArrayCopy();
+
+        return end($sections) === $assessmentSection;
+    }
 }

src/qtism/runtime/tests/AbstractSessionManager.php

@@ -31,6 +31,7 @@
 use qtism\data\IAssessmentItem;
 use qtism\data\NavigationMode;
 use qtism\data\SubmissionMode;
+use qtism\data\TestPart;
 
 /**
  * The AbstractSessionManager class is a bed for instantiating
@@ -148,6 +149,7 @@ protected function createRoute(AssessmentTest $test): Route
     {
         $routeStack = [];
 
+        /** @var TestPart $testPart */
         foreach ($test->getTestParts() as $testPart) {
             $assessmentSectionStack = [];
 
@@ -195,8 +197,6 @@ protected function createRoute(AssessmentTest $test): Route
                         // Add to the last item of the selection the branch rules of the AssessmentSection/testPart
                         // on which the selection is applied... Only if the route contains something (empty assessmentSection edge case).
                         if ($route->count() > 0) {
-                            $route->getLastRouteItem()->addBranchRules($current->getBranchRules());
-
                             // Do the same as for branch rules for pre conditions, except that they must be
                             // attached on the first item of the route.
                             $route->getFirstRouteItem()->addPreConditions($current->getPreConditions());
@@ -216,6 +216,8 @@ protected function createRoute(AssessmentTest $test): Route
 
         $finalRoutes = $routeStack;
         $route = new SelectableRoute();
+
+        /** @var SelectableRoute $finalRoute */
         foreach ($finalRoutes as $finalRoute) {
             $route->appendRoute($finalRoute);
         }

src/qtism/runtime/tests/AssessmentTestSession.php

@@ -15,7 +15,7 @@
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
  *
- * Copyright (c) 2013-2020 (original work) Open Assessment Technologies SA (under the project TAO-PRODUCT);
+ * Copyright (c) 2013-2023 (original work) Open Assessment Technologies SA (under the project TAO-PRODUCT);
  *
  * @author Jérôme Bogaerts <[email protected]>
  * @license GPLv2
@@ -2406,10 +2406,12 @@ protected function nextRouteItem($ignoreBranchings = false, $ignorePreConditions
         $stop = false;
 
         while ($route->valid() === true && $stop === false) {
+            $branchRules = $route->current()->getEffectiveBranchRules();
+            $numberOfBranchRules = $branchRules->count();
+
             // Branchings?
-            if ($ignoreBranchings === false && count($route->current()->getBranchRules()) > 0 && $this->mustApplyBranchRules() === true) {
-                $branchRules = $route->current()->getBranchRules();
-                for ($i = 0; $i < count($branchRules); $i++) {
+            if ($ignoreBranchings === false && $numberOfBranchRules > 0 && $this->mustApplyBranchRules() === true) {
+                for ($i = 0; $i < $numberOfBranchRules; $i++) {
                     $engine = new ExpressionEngine($branchRules[$i]->getExpression(), $this);
                     $condition = $engine->process();
                     if ($condition !== null && $condition->getValue() === true) {
@@ -2438,7 +2440,7 @@ protected function nextRouteItem($ignoreBranchings = false, $ignorePreConditions
             }
 
             // Preconditions on target?
-            if ($ignorePreConditions === false && $route->valid() === true && ($preConditions = $route->current()->getPreConditions()) && count($preConditions) > 0 && $this->mustApplyPreConditions() === true) {
+            if ($ignorePreConditions === false && $route->valid() === true && ($preConditions = $route->current()->getEffectivePreConditions()) && count($preConditions) > 0 && $this->mustApplyPreConditions() === true) {
                 for ($i = 0; $i < count($preConditions); $i++) {
                     $engine = new ExpressionEngine($preConditions[$i]->getExpression(), $this);
                     $condition = $engine->process();

src/qtism/runtime/tests/Route.php

@@ -1117,10 +1117,11 @@ public function branch($identifier): void
 
             if ($targetRouteItems[$occurence]->getTestPart() !== $this->current()->getTestPart()) {
                 // From IMS QTI:
-                // In case of an item or section, the target must refer to an item or section
-                // in the same testPart [...]
-                $msg = 'Branchings to items outside of the current testPart is forbidden by the QTI 2.1 specification.';
-                throw new OutOfBoundsException($msg);
+                // In the case of an item or section, the target must refer to an item or section in the same test-part
+                // that has not yet been presented.
+                $this->next();
+
+                return;
             }
 
             $this->setPosition($this->getRouteItemPosition($targetRouteItems[$occurence]));
@@ -1133,10 +1134,11 @@ public function branch($identifier): void
         if (isset($assessmentSectionIdentifierMap[$id])) {
             if ($assessmentSectionIdentifierMap[$id][0]->getTestPart() !== $this->current()->getTestPart()) {
                 // From IMS QTI:
-                // In case of an item or section, the target must refer to an item or section
-                // in the same testPart [...]
-                $msg = 'Branchings to assessmentSections outside of the current testPart is forbidden by the QTI 2.1 specification.';
-                throw new OutOfBoundsException($msg);
+                // In the case of an item or section, the target must refer to an item or section in the same test-part
+                // that has not yet been presented.
+                $this->next();
+
+                return;
             }
 
             // We branch to the first RouteItem belonging to the section.

src/qtism/runtime/tests/RouteItem.php

@@ -268,6 +268,30 @@ public function getPreConditions(): PreConditionCollection
         return $this->preConditions;
     }
 
+    /**
+     * Get the PreConditions that actually need to be applied considering all the parent elements: TestPart and Section
+     *
+     * @return PreConditionCollection A collection of PreCondition objects.
+     */
+    public function getEffectivePreConditions(): PreConditionCollection
+    {
+        $routeItemPreConditions = new PreConditionCollection([]);
+
+        foreach ($this->getTestPart()->getPreConditions() as $preCondition) {
+            $routeItemPreConditions->attach($preCondition);
+        }
+
+        foreach ($this->getAssessmentSection()->getPreConditions() as $preCondition) {
+            $routeItemPreConditions->attach($preCondition);
+        }
+
+        foreach ($this->getPreConditions() as $preCondition) {
+            $routeItemPreConditions->attach($preCondition);
+        }
+
+        return $routeItemPreConditions;
+    }
+
     /**
      * Set the PreCondition objects to be applied prior to the RouteItem.
      *
@@ -426,4 +450,69 @@ public function getTimeLimits($excludeItem = false): RouteTimeLimitsCollection
 
         return $timeLimits;
     }
+
+    public function getEffectiveBranchRules(): BranchRuleCollection
+    {
+        if ($this->getBranchRules()->count() > 0) {
+            return $this->getBranchRules();
+        }
+
+        $sectionBranchRules = $this->getEffectiveSectionBranchRules();
+
+        if ($sectionBranchRules === null || $sectionBranchRules->count() > 0) {
+            return $sectionBranchRules ?? new BranchRuleCollection();
+        }
+
+        $testPart = $this->getTestPart();
+        $currentItemSections = $this->getAssessmentSections()->getArrayCopy();
+
+        if (!$testPart->isLastSection($currentItemSections[0])) {
+            return new BranchRuleCollection();
+        }
+
+        return $testPart->getBranchRules();
+    }
+
+    /**
+     * Selects branching rules from the section/subsection.
+     * Branching rules will be selected only if the item or subsection is the last one in the parent section.
+     *
+     * @return BranchRuleCollection|null Returns the branching rules for the last section or null if the
+     *                                   element/subsection is not the last.
+     */
+    private function getEffectiveSectionBranchRules(): ?BranchRuleCollection
+    {
+        /** @var AssessmentSection[] $sections */
+        $sections = $this->getAssessmentSections()->getArrayCopy();
+
+        // Remove the current section from the section list, as this section contains a list of items, not sections.
+        $currentSection = array_pop($sections);
+
+        if ($currentSection === null || !$currentSection->isLastSectionPart($this->getAssessmentItemRef())) {
+            return null;
+        }
+
+        if ($currentSection->getBranchRules()->count() > 0) {
+            return $currentSection->getBranchRules();
+        }
+
+        $lastSection = $currentSection;
+
+        // Iterate through parent sections.
+        // Note: $sections should not contain the current section, as `$section->getSectionParts()` would then return a
+        // list of items instead of sections.
+        foreach (array_reverse($sections) as $section) {
+            if (!$section->isLastSectionPart($lastSection)) {
+                return null;
+            }
+
+            if ($section->getBranchRules()->count() > 0) {
+                return $section->getBranchRules();
+            }
+
+            $lastSection = $section;
+        }
+
+        return new BranchRuleCollection();
+    }
 }

test/qtismtest/runtime/tests/AssessmentTestSessionBranchingsTest.php

@@ -248,4 +248,22 @@ public function testBranchingOnPreconditon(): void
         $this::assertNull($session['Q03.SCORE']);
         $this::assertSame(1.0, $session['Q04.SCORE']->getValue());
     }
+
+    public function testBranchingOnTestPartsSimple1(): void
+    {
+        $session = self::instantiate(self::samplesDir() . 'custom/runtime/branchings/branchings_testparts.xml');
+        $session->beginTestSession();
+
+        // We are starting at item Q01, in testPart P01.
+        $this->assertEquals('Q01', $session->getCurrentAssessmentItemRef()->getIdentifier());
+
+        // Let's jump to testPart P03.
+        $session->beginAttempt();
+        $session->endAttempt(new State([new ResponseVariable('RESPONSE', Cardinality::SINGLE, BaseType::IDENTIFIER, new QtiIdentifier('GotoP03'))]));
+        $session->moveNext();
+
+        // We expect to land in testPart P03, item Q03.
+        $this->assertEquals('Q03', $session->getCurrentAssessmentItemRef()->getIdentifier());
+        $this->assertEquals('P03', $session->getCurrentTestPart()->getIdentifier());
+    }
 }

test/qtismtest/runtime/tests/RouteTest.php

@@ -601,10 +601,10 @@ public function testBranchUnknownTarget(): void
 
     public function testBranchToAssessmentItemRefOutsideOfTestPart(): void
     {
-        $route = self::buildSimpleRoute(Route::class, 2, 1);
-        $this->expectException(OutOfBoundsException::class);
-        $this->expectExceptionMessage('Branchings to items outside of the current testPart is forbidden by the QTI 2.1 specification.');
-        $route->branch('Q2');
+        $route = self::buildSimpleRoute(Route::class, 2, 2);
+        $route->branch('Q3');
+
+        $this->assertEquals('Q2', $route->current()->getAssessmentItemRef()->getIdentifier());
     }
 
     public function testBranchToSameTestPart(): void
@@ -655,24 +655,27 @@ public function testBranchToSectionOutsideOfTestPart(): void
 
         $assessmentItemRef1 = new AssessmentItemRef('Q1', 'Q1.xml');
         $assessmentItemRef2 = new AssessmentItemRef('Q2', 'Q2.xml');
+        $assessmentItemRef3 = new AssessmentItemRef('Q3', 'Q3.xml');
 
         $assessmentSection1 = new AssessmentSection('S1', 'Section 1', true);
-        $assessmentSection1->setSectionParts(new SectionPartCollection([$assessmentItemRef1]));
+        $assessmentSection1->setSectionParts(new SectionPartCollection([$assessmentItemRef1, $assessmentItemRef2]));
 
         $assessmentSection2 = new AssessmentSection('S2', 'Section 2', true);
-        $assessmentSection2->setSectionParts(new SectionPartCollection([$assessmentItemRef2]));
+        $assessmentSection2->setSectionParts(new SectionPartCollection([$assessmentItemRef3]));
 
         $testPart1 = new TestPart('T1', new AssessmentSectionCollection([$assessmentSection1]));
         $testPart2 = new TestPart('T2', new AssessmentSectionCollection([$assessmentSection2]));
         $assessmentTest = new AssessmentTest('Test1', 'Test 1', new TestPartCollection([$testPart1, $testPart2]));
 
         $route->addRouteItem($assessmentItemRef1, $assessmentSection1, $testPart1, $assessmentTest);
-        $route->addRouteItem($assessmentItemRef2, $assessmentSection2, $testPart2, $assessmentTest);
-
-        $this->expectException(OutOfBoundsException::class);
-        $this->expectExceptionMessage('Branchings to assessmentSections outside of the current testPart is forbidden by the QTI 2.1 specification.');
+        $route->addRouteItem($assessmentItemRef2, $assessmentSection1, $testPart1, $assessmentTest);
+        $route->addRouteItem($assessmentItemRef3, $assessmentSection2, $testPart2, $assessmentTest);
 
         $route->branch('S2');
+        $currentRoute = $route->current();
+
+        $this->assertEquals('Q2', $currentRoute->getAssessmentItemRef()->getIdentifier());
+        $this->assertEquals('S1', $currentRoute->getAssessmentSection()->getIdentifier());
     }
 
     public function testGetRouteItemPositionUnknownRouteItem(): void

test/samples/custom/runtime/branchings/branchings_testparts.xml

@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<assessmentTest xmlns="http://www.imsglobal.org/xsd/imsqti_v2p1"
+	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+	xsi:schemaLocation="http://www.imsglobal.org/xsd/imsqti_v2p1 http://www.taotesting.com/xsd/qticompact_v2p1.xsd"
+	identifier="branchings_single_section_linear" title="Branchings Single Section Linear">
+	<testPart identifier="P01" navigationMode="linear" submissionMode="individual">
+		<!-- If the response to Q01 "GotoP02", redirect to testPart "P02". -->
+		<branchRule target="P02">
+			<match>
+				<variable identifier="Q01.RESPONSE"/>
+				<baseValue baseType="identifier">GotoP02</baseValue>
+			</match>
+		</branchRule>
+		<!-- If the response to Q01 "GotoP03", redirect to testPart "P03". -->
+		<branchRule target="P03">
+			<match>
+				<variable identifier="Q01.RESPONSE"/>
+				<baseValue baseType="identifier">GotoP03</baseValue>
+			</match>
+		</branchRule>
+		<assessmentSection identifier="S01" fixed="false" title="Section1" visible="false">
+			<assessmentItemRef identifier="Q01" href="./Q01.xml" fixed="false" timeDependent="false">
+				<responseDeclaration identifier="RESPONSE" cardinality="single" baseType="identifier"/>
+			</assessmentItemRef>
+		</assessmentSection>
+	</testPart>
+	<testPart identifier="P02" navigationMode="linear" submissionMode="individual">
+		<assessmentSection identifier="S02" fixed="false" title="Section2" visible="false">
+			<assessmentItemRef identifier="Q02" href="./Q02.xml" fixed="false" timeDependent="false"/>
+		</assessmentSection>
+	</testPart>
+	<testPart identifier="P03" navigationMode="linear" submissionMode="individual">
+		<assessmentSection identifier="S03" fixed="false" title="Section3" visible="false">
+			<assessmentItemRef identifier="Q03" href="./Q03.xml" fixed="false" timeDependent="false"/>
+		</assessmentSection>
+	</testPart>
+</assessmentTest>