In specifications, one sometimes needs a
constant of sort String[char].
Such constants are provided by the syntax for an abstract-string-literal.
The syntax for such an abstract-string-literal
is nearly the same as a C++ string literal (see section 4.13.4 String Constants)
except that it has a leading A.
abstract-string-literal ::=A"[ string-character ] ..."
Some examples of abstract-string-literals follow.
A"" A"the previous line contains the empty abstract string"
Such constants are sometimes useful in writing down examples in function specifications (see section 6.9.1 Examples in Function Specifications).
The sort String[char] is defined in the trait
AbstractStringTrait, which follows.
% @(#)$Id: AbstractStringTrait.lsl,v 1.2 1995/06/29 15:42:12 leavens Exp $ AbstractStringTrait: trait includes int, String(char, String[char], int for Int)
Go to the first, previous, next, last section, table of contents.