RELAX NG implementation of Strings grammar.
Strings are part of high-level specific sorts.
They define the general-purpose string type and
related operators over elements of that type.
File name: strings.rng
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
String is a built-in sort.
StringOperator is a built-in operator.
StringConstant is a built-in constant.
A String type is a built-in sort.
This definition describes the contents strings.
Defines the constant string which may appear in any label
of a High-level Petri net object, except in the signature.
Its content derives from the one of BuiltInOperator
It is a built-in operator.
Defines the 'less than' operator between two strings.
Defines the 'less than or equal' operator.
Defines the 'greater than' operator.
Defines the 'greater than or equal' operator.
Defines the 'concatenation' of two strings.
Defines the 'length' of a string.
Defines the 'append' operator between an element and a string.
With this operator, specified substrings
can be extracted from larger strings.