File: BlockStmt.i3 Last Modified On Fri Jun 24 08:56:15 PDT 1994 By kalsow
INTERFACEBlockStmt ; IMPORT M3, Stmt, Tracer; PROCEDURE Parse (needScope := TRUE): Stmt.T; PROCEDURE ExtractFails (t: Stmt.T): M3.ExSet; PROCEDURE BodyOffset (t: Stmt.T): INTEGER; PROCEDURE ParseTrace (): Tracer.T; PROCEDURE CheckTrace (t: Tracer.T; VAR cs: Stmt.CheckState); END BlockStmt.