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

(* File: Module.def                                            *)
(* Last modified on Fri Feb 23 07:29:52 1990 by muller         *)
(*      modified on Tue Jan  9 16:37:52 1990 by kalsow         *)


INTERFACE Module;

IMPORT Value, Scope, Type, Token, Text, String;

TYPE T <: Value.T;

PROCEDURE Parse (interfaceOnly : BOOLEAN := FALSE): T;

PROCEDURE NewDefn (name: Text.T;  safe: BOOLEAN): T;

PROCEDURE Bind (t: T);

PROCEDURE TypeCheck (t: T;  main: BOOLEAN);

PROCEDURE Compile (t: T);

PROCEDURE IsSafe (): BOOLEAN;

PROCEDURE IsInterface (): BOOLEAN;

PROCEDURE ExportScope (t: T): Scope.T;

PROCEDURE CurrentName (): String.T;

VAR (*READONLY*) depth: INTEGER := 0; (* == 1 in main module *)

END Module.