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

(* File: Procedure.i3                                          *)
(* Last Modified On Fri Feb 23 03:41:38 1990 By muller         *)
(*      Modified On Fri Feb  9 20:04:18 1990 By kalsow         *)



INTERFACE Procedure;

IMPORT M3, Text, Value, Type, String, Token, Variable, CallExpr, Decl;

TYPE T <: Value.T;

PROCEDURE ParseDecl (READONLY fail       : Token.Set;
                              att        : Decl.Attributes;
                              headerOnly : BOOLEAN  := FALSE);

PROCEDURE Signature   (t: T): Type.T;
PROCEDURE HasBody     (t: T): BOOLEAN;
PROCEDURE BindBody    (t: T);
PROCEDURE CheckBody   (t: T);
PROCEDURE IsNested    (t: T): BOOLEAN;

PROCEDURE EmitFrameName (t: T): BOOLEAN;

PROCEDURE Define (name      : Text.T;
                  methods   : CallExpr.MethodList;
                  signature : Type.T := NIL);

PROCEDURE GenHeaders ();
PROCEDURE GenBodies ();

PROCEDURE CanBeInlined (t: T): BOOLEAN;
PROCEDURE ExpandInline (t: T;  READONLY actuals: ARRAY OF M3.Temp): M3.Temp;

END Procedure.