Go to the first, previous, next, last section, table of contents. Simple Type Names

The syntax of simple-type-name is as in C++. The nonterminals typedef-non-class-or-enum-name, typedef-enum-name, and original-enum-name are all previously-declared identifiers (see section 4.9 Context-Dependent Keywords). See section Class and Namespace Names for the syntax of complete-class-name and nested-name-specifier.

simple-type-name ::= complete-type-name 
        | [ :: ] nested-name-specifier template template-class-instance
        | built-in-type-name
complete-type-name ::= complete-class-name
        | complete-non-class-type-name
complete-non-class-type-name ::=  [ :: ] [ nested-name-specifier ] non-class-type-name
non-class-type-name ::= enum-name | typedef-non-class-or-enum-name
built-in-type-name ::= char | short | int | long | signed | unsigned | float | double
        | bool | void
enum-name ::= original-enum-name | typedef-enum-name

See Section r.7.1.6 of [Stroustrup91] for restrictions on the use of long, short, double, signed, unsigned, and char.

Each of the built-in types of C++ is automatically associated with a trait of the same name in Larch/C++. This trait defines the abstract values of the C++ values of such types. For example, the abstract values int is modeled by abstract values of sort int in trait int. See section 11 Built-in Types for the details on how the abstract values of these types are modeled in LSL.

Go to the first, previous, next, last section, table of contents.