×

System and method for an improved type inference

  • US 20060242115A1
  • Filed: 04/25/2005
  • Published: 10/26/2006
  • Est. Priority Date: 04/25/2005
  • Status: Active Grant
First Claim
Patent Images

1. A method for calculating an inferred type of a step in a path expression having an input expression followed by the step, the input expression having an associated input expression type with an associated input expression type cardinality, the step having an axis and a node test, the method comprising:

  • preserving the input expression type cardinality for calculating the inferred type of the step; and

    calculating the inferred type of the step in accordance with the preserved input expression type cardinality, the axis, and the node test.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×