The uses-clause tells Larch/C++ what traits are used to provide the vocabulary for specifying behavior. See section 4.14 LSL Constants for the syntax of lsl-constant.
;trait-list ::= trait [
,trait ] ... trait ::= trait-name [
)] trait-name ::= simple-id renaming ::= replace-list | lsl-sort-list [
,replace-list ] replace-list ::= replace [
,replace ] ... replace ::= lsl-sort
forlsl-formal lsl-sort-list ::= lsl-sort [
,lsl-sort ] lsl-sort ::= simple-id [ lsl-instance-actuals ] | built-in-type-name | lsl-constant lsl-instance-actuals ::=
>lsl-formal ::= lsl-sort | simple-id [
:lsl-signature ] lsl-signature ::= [ lsl-sort-list ]
The uses-clause with its renamings should be thought of as
producing a new trait, which is used by Larch/C++.
The syntax for renaming matches that of LSL [Guttag-Horning93],
and has the same meaning as in LSL.
This "trait" may have a trait-name that would be illegal in LSL,
Go to the first, previous, next, last section, table of contents.