juno-compiler/src/JunoCompileRep.i3

 Copyright (C) 1992, Digital Equipment Corporation                         
 All rights reserved.                                                      
 See the file COPYRIGHT for a full description.                            
                                                                           
 Last modified on Mon Oct 31 09:38:22 PST 1994 by heydon                   
      modified on Sat Oct 17 18:01:02 PDT 1992 by gnelson                  
      modified on Fri Aug  7 21:54:01 PDT 1992 by myers                    


INTERFACE JunoCompileRep;

 This interface reveals to clients like JunoAssemble that the result
   produced by JunoCompile.Cmd is actually a restricted form of JunoAST.T. 


IMPORT JunoAST, StackTbl, JunoScope;
FROM JunoCompileErr IMPORT Error;

TYPE
  Result = BRANDED "JunoCompileRep.Result" OBJECT
    cmd: JunoAST.Cmd
  END;

PROCEDURE Cmd(
    cmd: JunoAST.Cmd;
    scp: JunoScope.T;
    stack_tbl: StackTbl.T;
    annotate := TRUE;
    pure := FALSE):
  Result RAISES {Error};

 Compile the command cmd according to the TotalCmd non-terminal of the
   Juno grammar in the scope scp, producing a bytecode stream to be
   executed. The scope scp must be a Unit scope. By default, this
   procedure first annotates cmd; use annotate := FALSE if cmd has
   already been annotated.


   Raises Error in the event of a compilation error, or if pure is set and
   cmd contains a reference to a global variable or procedure. 

END JunoCompileRep.