fix(region): contents in iframes should pass the region rule if the iframe itself is in a region

lib/checks/navigation/heading-order-after.js

@@ -1,8 +1,10 @@
+import { matchAncestry } from '../../core/utils';
+
 export default function headingOrderAfter(results) {
   // Construct a map of all headings on the page
   const headingOrder = getHeadingOrder(results);
   results.forEach(result => {
-    result.result = getHeadingOrderOutcome(result, headingOrder)
+    result.result = getHeadingOrderOutcome(result, headingOrder);
   });
   return results;
 }
@@ -11,20 +13,20 @@ export default function headingOrderAfter(results) {
  * Determine check outcome, based on the position of the result in the headingOrder
  */
 function getHeadingOrderOutcome(result, headingOrder) {
-  const index = findHeadingOrderIndex(headingOrder, result.node.ancestry)
+  const index = findHeadingOrderIndex(headingOrder, result.node.ancestry);
   const currLevel = headingOrder[index]?.level ?? -1;
   const prevLevel = headingOrder[index - 1]?.level ?? -1;
 
   // First heading always passes
   if (index === 0) {
-    return true
-  };
+    return true;
+  }
   // Heading not in the map
   if (currLevel === -1) {
-    return undefined; 
+    return undefined;
   }
   // Check if a heading is skipped
-  return (currLevel - prevLevel <= 1)
+  return currLevel - prevLevel <= 1;
 }
 
 /**
@@ -73,7 +75,7 @@ function mergeHeadingOrder(mergedHeadingOrder, result) {
 
 /**
  * Determine where the iframe results fit into the top-level heading order
- * 
+ *
  * If a frame has no headings, but it does have iframes we might not have a result.
  * We can account for this by finding the closest ancestor we do know about.
  */
@@ -83,7 +85,7 @@ function getFrameIndex(headingOrder, frameAncestry) {
     if (index !== -1) {
       return index;
     }
-    frameAncestry = shortenArray(frameAncestry, 1)
+    frameAncestry = shortenArray(frameAncestry, 1);
   }
   return -1;
 }
@@ -105,25 +107,6 @@ function addFrameToHeadingAncestry(heading, frameAncestry) {
   return { ...heading, ancestry };
 }
 
-/**
- * Check if two ancestries are identical
- */
-function matchAncestry(ancestryA, ancestryB) {
-  if (ancestryA.length !== ancestryB.length) {
-    return false;
-  }
-  return ancestryA.every((selectorA, index) => {
-    const selectorB = ancestryB[index];
-    if (!Array.isArray(selectorA)) {
-      return selectorA === selectorB;
-    }
-    if (selectorA.length !== selectorB.length) {
-      return false;
-    }
-    return selectorA.every((str, index) => selectorB[index] === str);
-  });
-}
-
 /**
  * Shorten an array by some number of items
  */

lib/checks/navigation/region-after.js

@@ -0,0 +1,31 @@
+import { matchAncestry } from '../../core/utils';
+
+function regionAfter(results) {
+  const iframeResults = results.filter(r => r.data.isIframe);
+
+  results.forEach(r => {
+    // continue if the element passed the check or is not in a frame
+    if (r.result || r.node.ancestry.length === 1) {
+      return;
+    }
+
+    const frameAncestry = r.node.ancestry.slice(0, -1);
+    for (const iframeResult of iframeResults) {
+      // if the container frame passed the check, this element should also pass
+      if (matchAncestry(frameAncestry, iframeResult.node.ancestry)) {
+        r.result = iframeResult.result;
+        break;
+      }
+    }
+  });
+
+  // iframe elements should always pass
+  iframeResults.forEach(r => {
+    if (!r.result) {
+      r.result = true;
+    }
+  });
+  return results;
+}
+
+export default regionAfter;

lib/checks/navigation/region-evaluate.js

@@ -42,6 +42,7 @@ function findRegionlessElms(virtualNode, options) {
   // End recursion if the element is a landmark, skiplink, or hidden content
   if (
     isRegion(virtualNode, options) ||
+    ['iframe', 'frame'].includes(virtualNode.props.nodeName) ||
     (dom.isSkipLink(virtualNode.actualNode) &&
       dom.getElementByReference(virtualNode.actualNode, 'href')) ||
     !dom.isVisible(node, true)
@@ -52,7 +53,12 @@ function findRegionlessElms(virtualNode, options) {
       vNode._hasRegionDescendant = true;
       vNode = vNode.parent;
     }
-
+    // iframes are counted as regionless here, but parent tree should treat them as having content
+    // after method makes iframes count as regions
+    // this means siblings to iframes will fail, not the parent that contains an iframe and other children
+    if (['iframe', 'frame'].includes(virtualNode.props.nodeName)) {
+      return [virtualNode];
+    }
     return [];
 
     // Return the node is a content element. Ignore any direct text children
@@ -75,6 +81,11 @@ function findRegionlessElms(virtualNode, options) {
 
 function regionEvaluate(node, options, virtualNode) {
   let regionlessNodes = cache.get('regionlessNodes');
+
+  this.data({
+    isIframe: ['iframe', 'frame'].includes(virtualNode.props.nodeName)
+  });
+
   if (regionlessNodes) {
     return !regionlessNodes.includes(virtualNode);
   }

lib/checks/navigation/region.json

@@ -1,8 +1,9 @@
 {
   "id": "region",
   "evaluate": "region-evaluate",
+  "after": "region-after",
   "options": {
-    "regionMatcher": "dialog, [role=dialog], [role=alertdialog], svg, iframe"
+    "regionMatcher": "dialog, [role=dialog], [role=alertdialog], svg"
   },
   "metadata": {
     "impact": "moderate",

lib/core/base/metadata-function-map.js

@@ -60,6 +60,7 @@ import internalLinkPresentEvaluate from '../../checks/navigation/internal-link-p
 import metaRefreshEvaluate from '../../checks/navigation/meta-refresh-evaluate';
 import pAsHeadingEvaluate from '../../checks/navigation/p-as-heading-evaluate';
 import regionEvaluate from '../../checks/navigation/region-evaluate';
+import regionAfter from '../../checks/navigation/region-after';
 import skipLinkEvaluate from '../../checks/navigation/skip-link-evaluate';
 import uniqueFrameTitleAfter from '../../checks/navigation/unique-frame-title-after';
 import uniqueFrameTitleEvaluate from '../../checks/navigation/unique-frame-title-evaluate';
@@ -234,6 +235,7 @@ const metadataFunctionMap = {
   'meta-refresh-evaluate': metaRefreshEvaluate,
   'p-as-heading-evaluate': pAsHeadingEvaluate,
   'region-evaluate': regionEvaluate,
+  'region-after': regionAfter,
   'skip-link-evaluate': skipLinkEvaluate,
   'unique-frame-title-after': uniqueFrameTitleAfter,
   'unique-frame-title-evaluate': uniqueFrameTitleEvaluate,

lib/core/utils/index.js

@@ -53,6 +53,7 @@ export {
   matchesExpression,
   convertSelector
 } from './matches';
+export { default as matchAncestry } from './match-ancestry';
 export { default as memoize } from './memoize';
 export { default as mergeResults } from './merge-results';
 export { default as nodeSorter } from './node-sorter';

lib/core/utils/match-ancestry.js

@@ -0,0 +1,20 @@
+/**
+ * Check if two ancestries are identical
+ */
+function matchAncestry(ancestryA, ancestryB) {
+  if (ancestryA.length !== ancestryB.length) {
+    return false;
+  }
+  return ancestryA.every((selectorA, index) => {
+    const selectorB = ancestryB[index];
+    if (!Array.isArray(selectorA)) {
+      return selectorA === selectorB;
+    }
+    if (selectorA.length !== selectorB.length) {
+      return false;
+    }
+    return selectorA.every((str, index) => selectorB[index] === str);
+  });
+}
+
+export default matchAncestry;

test/checks/navigation/region-after.js

@@ -0,0 +1,153 @@
+describe('region-after', function() {
+  'use strict';
+
+  var checkContext = axe.testUtils.MockCheckContext();
+
+  afterEach(function() {
+    checkContext.reset();
+  });
+
+  it('should always pass iframes', function() {
+    var results = checks.region.after([
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe']
+        },
+        result: false
+      },
+      {
+        data: { isIframe: false },
+        node: {
+          ancestry: ['html > body > iframe', 'html > body > p']
+        },
+        result: false
+      }
+    ]);
+    assert.equal(results[0].result, true);
+    assert.equal(results[1].result, false);
+  });
+
+  it('should pass children of iframes if the iframe contained in it is in a region', function() {
+    var results = checks.region.after([
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe']
+        },
+        result: true
+      },
+      {
+        data: { isIframe: false },
+        node: {
+          ancestry: ['html > body > iframe', 'html > body > p']
+        },
+        result: false
+      }
+    ]);
+
+    assert.equal(results[0].result, true);
+    assert.equal(results[1].result, true);
+  });
+
+  it('should pass nested iframes', function() {
+    var results = checks.region.after([
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe']
+        },
+        result: false
+      },
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe', 'html > body > iframe']
+        },
+        result: false
+      },
+      {
+        data: { isIframe: false },
+        node: {
+          ancestry: [
+            'html > body > iframe',
+            'html > body > iframe',
+            'html > body > p'
+          ]
+        },
+        result: false
+      }
+    ]);
+
+    assert.equal(results[0].result, true);
+    assert.equal(results[1].result, true);
+    assert.equal(results[2].result, false);
+  });
+
+  it('should pass children of nested iframes if the nested iframe is in a region', function() {
+    var results = checks.region.after([
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe']
+        },
+        result: false
+      },
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe', 'html > body > iframe']
+        },
+        result: true
+      },
+      {
+        data: { isIframe: false },
+        node: {
+          ancestry: [
+            'html > body > iframe',
+            'html > body > iframe',
+            'html > body > p'
+          ]
+        },
+        result: false
+      }
+    ]);
+
+    assert.equal(results[0].result, true);
+    assert.equal(results[1].result, true);
+    assert.equal(results[2].result, true);
+  });
+
+  it('should pass content if a grandparent frame passes', function() {
+    var results = checks.region.after([
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe']
+        },
+        result: true
+      },
+      {
+        data: { isIframe: true },
+        node: {
+          ancestry: ['html > body > iframe', 'html > body > iframe']
+        },
+        result: false
+      },
+      {
+        data: { isIframe: false },
+        node: {
+          ancestry: [
+            'html > body > iframe',
+            'html > body > iframe',
+            'html > body > p'
+          ]
+        },
+        result: false
+      }
+    ]);
+    assert.equal(results[0].result, true);
+    assert.equal(results[1].result, true);
+    assert.equal(results[2].result, true);
+  });
+});

test/checks/navigation/region.js

@@ -290,14 +290,6 @@ describe('region', function() {
     assert.isTrue(checkEvaluate.apply(checkContext, checkArgs));
   });
 
-  it('treats iframe elements as regions', function() {
-    var checkArgs = checkSetup(
-      '<iframe id="target"></iframe><div role="main">Content</div>'
-    );
-
-    assert.isTrue(checkEvaluate.apply(checkContext, checkArgs));
-  });
-
   it('returns the outermost element as the error', function() {
     var checkArgs = checkSetup(
       '<div id="target"><p>This is random content.</p></div><div role="main"><h1 id="mainheader" tabindex="0">Introduction</h1></div>'