Types

Types

< type definition list >	->	< type definition list > < type definition >
	|
< type definition > -> typedef < type specification > < identifier > ;
< type specification >	->	< type name > [ < integer constant > ]
	|	struct { < field list > }
< type name >	->	< identifier >
	|	int
< field list >	->	< field specification >
	|	< field list > < field specification >
< field specification > -> < type name > < identifier > ;

A < type definition > associates an identifier with a structured type. This name can then be used to declare variables or parameters of the type and to describe other structured types that have the elements of the defined type as sub-components. All type names must be declared before they can be used. In particular, C^o does not support recursive types.

Note, that in C^o, one must introduce and use type names for all structured types you wish to use in a program. The language does not allow one to use explicit array or record type specifications outside of the type definition part of the main program.

The only scalar type provided in C^o is the type integer. As noted below, character constants are treated as integer values and the values 0 and 1 are used to represent the Boolean values `true' and `false'.

The type name included in an array specification determines the element type of the array. The integer constant in an array specification specifies the number of elements in the array. The elements of an array are numbered starting at zero. Thus, the specification

Structure types in C^o are similar to strutures in C except that, in the interest of syntactic simplicity, each field must be specified separately (i.e. one cannot include a list of identifiers in a field specification). A particular < identifier > may only name one field of a given record type, but can be reused as a variable name or as the name of a field of any other record type.

Types