XPath 2.0 - Type System

Type System

The type system of XPath 2.0 is noteworthy for the fact that it mixes strong typing and weak typing within a single language.

Operations such as arithmetic and boolean comparison require atomic values as their operands. If an operand returns a node (for example, @price * 1.2), then the node is automatically atomized to extract the atomic value. If the input document has been validated against a schema, then the node will typically have a type annotation, and this determines the type of the resulting atomic value (in this example, the price attribute might have the type decimal). If no schema is in use, the node will be untyped, and the type of the resulting atomic value will be untypedAtomic. Typed atomic values are checked to ensure that they have an appropriate type for the context where they are used: for example, it is not possible to multiply a date by a number. Untyped atomic values, by contrast, follow a weak typing discipline: they are automatically converted to a type appropriate to the operation where they are used: for example with an arithmetic operation an untyped atomic value is converted to the type double.

Read more about this topic:  XPath 2.0

Famous quotes containing the words type and/or system:

    Mediocre people have an answer for everything and are astonished at nothing. They always want to have the air of knowing better than you what you are going to tell them; when, in their turn, they begin to speak, they repeat to you with the greatest confidence, as if dealing with their own property, the things that they have heard you say yourself at some other place.... A capable and superior look is the natural accompaniment of this type of character.
    Eugène Delacroix (1798–1863)

    The United States is unusual among the industrial democracies in the rigidity of the system of ideological control—”indoctrination” we might say—exercised through the mass media.
    Noam Chomsky (b. 1928)