90102: Function test xfi:items-in-instance

Documentation

Tests of xfi:items-in-instance($instance as element(xbrli:xbrl)) as schema-element(xbrli:item)*

Owners

Name	Affiliation	Email	Start	End
Herm Fischer	UBMatrix / Mark V Systems	fischer@markv.com	19-02-2008 at 00:00:00

Test Case Variations

---

V-01 Works for an instance with one fact.

Documentation

Tests that the function returns the correct facts for an instance with one fact.

Inputs

• schema: facts-in-instance.xsd
• instance: one-fact-instance.xml (DTS Discovery starting point) (ID=V01)
• Function Call: xfi:items-in-instance(/xbrli:xbrl)
  
  (against file V01)

Outputs

• Result test: count( $result ) eq 1 and local-name( $result ) eq 'c1' and $result instance of element(concept:c1,xs:string) and data( $result ) instance of xs:string and namespace-uri( $result ) eq 'http://xbrl.org/formula/conformance/example'

---

V-02 Works for an instance with no facts.

Documentation

Tests that the function returns the correct facts for an instance with no facts.

Inputs

• schema: facts-in-instance.xsd
• instance: empty-instance.xml (DTS Discovery starting point) (ID=V02)
• Function Call: xfi:items-in-instance(/xbrli:xbrl)
  
  (against file V02)

Outputs

• Result test: count( $result ) eq 0

---

V-03 Works for an instance with several facts.

Documentation

Tests that the function returns the correct facts for an instance with one fact.

Inputs

• schema: facts-in-instance.xsd
• instance: three-fact-instance.xml (DTS Discovery starting point) (ID=V03)
• Function Call: xfi:items-in-instance(/xbrli:xbrl)
  
  (against file V03)

Outputs

• Result test: count( $result ) eq 3 and local-name($result[1]) eq 'c1' and namespace-uri($result[1]) eq 'http://xbrl.org/formula/conformance/example' and local-name($result[2]) eq 'c1' and namespace-uri($result[2]) eq 'http://xbrl.org/formula/conformance/example' and local-name($result[3]) eq 'c1' and namespace-uri($result[3]) eq 'http://xbrl.org/formula/conformance/example' and (every $node in $result satisfies $node instance of element(concept:c1,xs:string) and data($node) instance of xs:string)

---

V-04 Works for an instance with tuples.

Documentation

Tests that the function returns the correct facts for an instance with tuples. This instance includes nil tuples and tuples within tuples and items within tuples.

Inputs

• schema: facts-in-instance.xsd
• instance: tuple-instance.xml (DTS Discovery starting point) (ID=V04)
• Function Call: xfi:items-in-instance(/xbrli:xbrl)
  
  (against file V04)

Outputs

• Result test: count( $result ) eq 1 and local-name($result[1]) eq 'c1' and namespace-uri($result[1]) eq 'http://xbrl.org/formula/conformance/example' and data($result[1]) instance of xs:string and $result[1]/text() eq 'hello earthling'

---

V-05 Wrong node to function

Documentation

XBRL-defined error for node type incorrect.

Inputs

• schema: facts-in-instance.xsd
• instance: one-fact-instance.xml (DTS Discovery starting point) (ID=V05)
• Function Call: xfi:items-in-instance(//xbrli:context[1])
  
  (against file V05)

Outputs

• Error code: xqt-err:XPTY0004

---

V-06 Works for an instance with facts of different data types.

Documentation

Tests that the function returns the correct facts for an instance and that each has proper type and PSVI atomicity type for typed operations.

Inputs

• schema: facts-in-instance.xsd
• instance: multiple-types-instance.xml (DTS Discovery starting point) (ID=V06)
• Function Call: xfi:items-in-instance(/xbrli:xbrl)
  
  (against file V06)

Outputs

• Result test: count( $result ) eq 4 and (every $node in $result satisfies if ($node/@id eq 'a') then ($node instance of element(concept:c1,xs:string) and data($node) instance of xs:string) else if ($node/@id eq 'b') then ($node instance of element(concept:i1,xs:integer) and data($node) instance of xs:integer and $node+1 eq 12346) else if ($node/@id eq 'c') then ($node instance of element(concept:d1) and data($node) instance of xs:date and $node eq xs:date('2007-12-31')) else if ($node/@id eq 'd') then ($node instance of element(concept:d1) and data($node) instance of xs:dateTime and $node eq xs:dateTime('2007-12-31T12:30:40')) else false())

Revisions

Name	On	Details
Herm Fischer	30-01-2008 at 00:00:00	Created the test case.
Herm Fischer	05-12-2008 at 00:00:00	Added variations with integer and dateUnion, added data type verification.