The Fortress Language Specification - CiteSeerX

• top-level variable declarations (see Section 6.2)
• dimension declarations (see Chapter 18)
• unit declarations (see Chapter 18)
• top-level type aliases (see Section 8.9)
• test declarations (see Chapter 19)
• top-level property declarations (see Chapter 19)
Local declarations occur in another declaration or in some expression (or both). These may be one of the following:
• method declarations (see Section 9.2): these occur in trait and object declarations and object expressions
• field declarations (see Section 10.2): these occur in object declarations and object expressions, and include field
declarations in the parameter list of an object declaration
• local function declarations (see Section 6.4): these occur in block expressions
• local variable declarations (see Section 6.3): these occur in block expressions
• local property declarations (see Chapter 19): these occur in trait and object declarations and object expressions
• labeled blocks (see Section 13.13)
• static-parameter declarations, which may declare type parameters, nat parameters, int parameters, bool
parameters, dim parameters, unit parameters, opr parameters, or ident parameters (see Chapter 11): these
occur in static-parameter lists of trait and parameterized object declarations, top-level type aliases, top-level
function declarations, and method declarations
• hidden-type-variable declarations: these occur in where clauses of trait and object declarations, top-level function
declarations, and method declarations
• type aliases in where clauses: these occur in where clauses of trait and object declarations, top-level function
declarations, and method declarations
• (value) parameter declarations, which may be keyword-parameter declarations: these occur in parameter lists of
parameterized object declarations, top-level function declarations, method declarations, local function declarations,
and function expressions (but do not include nontransient parameter declarations in the parameter list of
an object declaration, which are field declarations)
Some declarations are syntactic sugar for other declarations. Throughout this chapter, we consider declarations after
they have been desugared. Thus, apparent field declarations in trait declarations are actually method declarations (as
described in Section 9.2), and a dimension and unit declaration may desugar into several separate declarations (as
described in Section 35.3). After desugaring, the kinds of declarations listed above are disjoint.
In addition to these explicit declarations, there are two cases in which names are declared implicitly: The special name
self is implicitly declared as a parameter by some method declarations. See Section 9.2 for details about when self
is implicitly declared. The name result is implicitly declared by the ensures clause of a contract. See Section 12.4
for a discussion of contracts.
Trait declarations, object declarations, top-level type aliases, type-parameter declarations, and hidden-type-variable
declarations are collectively called type declarations; they declare names that refer to types (see Chapter 8). Dimension
declarations and dim -parameter declarations are dimension declarations, and unit declarations and unit -parameter
declarations are unit declarations. Parameterized object declarations, top-level function declarations, method declarations,
and local function declarations are collectively called functional declarations. Nonparameterized object declarations,
top-level variable declarations, field declarations, local variable declarations, and (value) parameter declarations
(including implicit declarations of self ) are collectively called variable declarations. Nonparameterized object
55