14.5. Declaring Types

Allocating storage of different sizes is as easy as modifying procedure TopDecls to recognize more than one keyword. There are a number of decisions to be made here, in terms of what the syntax should be, etc., but for now I'm going to duck all the issues and simply declare by executive fiat that our syntax will be:

<data decl> ::= <typename>  <identifier>


<typename> ::= BYTE | WORD | LONG

(By an amazing coincidence, the first letters of these names happen to be the same as the 68000 assembly code length specifications, so this choice saves us a little work.)

We can create the code to take care of these declarations with only slight modifications. In the routines below, note that I've separated the code generation parts of Alloc from the logic parts. This is in keeping with our desire to encapsulate the machine-dependent part of the compiler.

{ Generate Code for Allocation of a Variable }
procedure AllocVar(N, T: char);
   WriteLn(N, ':', TAB, 'DC.', T, ' 0');

{ Allocate Storage for a Variable }
procedure Alloc(N, T: char);
   AddEntry(N, T);
   AllocVar(N, T);

{ Parse and Translate a Data Declaration }
procedure Decl;
var Typ: char;
   Typ := GetName;
   Alloc(GetName, Typ);

{ Parse and Translate Global Declarations }
procedure TopDecls;
   while Look <> '.' do begin
      case Look of
        'b', 'w', 'l': Decl;
      else Abort('Unrecognized Keyword ' + Look);

Make the changes shown to these procedures, and give the thing a try. Use the single characters 'b', 'w', and 'l' for the keywords (they must be lower case, for now). You will see that in each case, we are allocating the proper storage size. Note from the dumped symbol table that the sizes are also recorded for later use. What later use? Well, that's the subject of the rest of this installment.