File types

File types[20]:

CLASS fileType(componentType) BEGIN
  OPER
    filBuff(fileType): componentType;
    filOp(fileType): voidType;
    filTst(fileType): boolType;
END;

INDICATION
  deref:        filBuff;
  rewriteType:  filOp;
  putType:      filOp;
  resetType:    filOp;
  getType:      filOp;
  eofType:      filTst;
  eolnType:     filTst;

This macro is invoked in definition 3.

Establish a user-defined type[21]:

RULE: TypeDenoter ::=  'file' 'of' type COMPUTE
  TypeDenoter.GotOper=
    InstClass1(fileType,TypeDenoter.Type,type.Type);
END;

This macro is defined in definitions 4, 10, 13, 15, 16, 18, 21, and 23.
This macro is invoked in definition 1.