(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* File: Stmt.i3                                               *)
(* Last Modified On Sat Feb 10 20:32:25 1990 By kalsow         *)
(*      Modified On Tue Jan 16 06:44:23 1990 By muller         *)

INTERFACE Stmt;

IMPORT M3, Token;

TYPE T = M3.Stmt;

TYPE
  Outcome = {FallThrough, Exits, Returns};
  Outcomes = SET OF Outcome;

PROCEDURE Parse (READONLY fail: Token.Set): T;

PROCEDURE Bind (t: T);

PROCEDURE TypeCheck (t: T);

PROCEDURE Precompile (t: T);

PROCEDURE Compile (t: T): Outcomes;

PROCEDURE Initialize ();

END Stmt.