Static Semantics

  • The static type of “1 + 1” is xs:integer.

  • The static type of “r:recipeList/r:recipe” is r:Recipe+.

  • The static type of “r:ingredient/r:quantity * 2” is xs:double.

  • The static type of “r:name” is element().

  • The static type of “r:recipe/@time + 5” is a type error.