Identifiers that denote objects
Next: Constructors
Up: Expressions
Previous: Literals
Identifiers that denote objects can be used as expressions. When such
an identifier is used as an expression, its value is the object it
denotes, and the type of the expression is the type of the identifier.
The following kinds of identifiers can be used as expressions:
- Variables are introduced by declarations (4.5),
which specify their type, and are caused to denote objects by means of
assignments (5).
- Identifiers defined by equates (4.6) can be used as
expressions and so can identifiers that denote built-in and
user-defined routine definitions (9.1,10.2).
Such identifiers denote a particular (constant) object. The type of
an equated identifier is the type of the object it denotes.
- The reserved word self is used within a method
implementation to denote the method's object and its type is the class
type (10.4) of the enclosing class (10.4).
It is also used within the "then" clause of a "make" statement
to refer to the object being initialized and its type is the
class type of the object being initialized.
theta-questions@lcs.mit.edu