m3front/src/misc/Marker.i3

 Copyright (C) 1992, Digital Equipment Corporation           
 All rights reserved.                                        
 See the file COPYRIGHT for a full description.              
                                                             
 File: Marker.i3                                             
 Last Modified On Wed Oct 25 11:39:40 PDT 1995 by ericv      
      Modified On Fri May 19 07:41:46 PDT 1995 by kalsow     
      Modified On Sat Jun 10 18:44:15 PDT 1989 by muller     


INTERFACE Marker;

IMPORT CG, Type, Variable, ESet, Expr, M3RT;

CONST
  Return_exception = -1;
  Exit_exception = -2;

PROCEDURE Pop ();

 pop to top scope. 

PROCEDURE SaveFrame ();

 mark and save the top scope so it can be emitted in the
   global table of scopes 
 TRY-EXCEPT 

PROCEDURE PushTry     (l_start, l_stop: CG.Label;  info: CG.Var;  ex: ESet.T);
PROCEDURE PushTryElse (l_start, l_stop: CG.Label;  info: CG.Var);

 TRY-FINALLY 

PROCEDURE PushFinally     (l_start, l_stop: CG.Label;  info: CG.Var);
PROCEDURE PushFinallyProc (l_start, l_stop: CG.Label;  info: CG.Var;
                           handler: CG.Proc;  h_level: INTEGER);
PROCEDURE PopFinally      (VAR(*OUT*) returnSeen, exitSeen: BOOLEAN);

 LOCK-END 

PROCEDURE PushLock (l_start, l_stop: CG.Label;  mutex: CG.Var);

 LOOP-EXIT 

PROCEDURE PushExit (l_stop: CG.Label);
PROCEDURE ExitOK   (): BOOLEAN;

 TRY-PASSING (RAISES) 

PROCEDURE PushRaises (l_start, l_stop: CG.Label;  ex: ESet.T;  info: CG.Var);

 PROCEDURE-RETURN 

PROCEDURE PushProcedure (t: Type.T;  v: Variable.T;  cc: CG.CallingConvention);
PROCEDURE ReturnVar     (VAR(*OUT*) t: Type.T;  VAR(*OUT*) v: Variable.T);
PROCEDURE ReturnOK      (): BOOLEAN;

 code generation 

PROCEDURE EmitExit ();
PROCEDURE AllocReturnTemp ();
PROCEDURE EmitReturn (expr: Expr.T;  fromFinally: BOOLEAN);
PROCEDURE EmitScopeTable (): INTEGER;
PROCEDURE EmitExceptionTest (signature: Type.T;  need_value: BOOLEAN): CG.Val;
PROCEDURE NextHandler (VAR(*OUT*) handler: CG.Label;
                       VAR(*OUT*) info: CG.Var): BOOLEAN;

PROCEDURE PushFrame (frame: CG.Var;  class: M3RT.HandlerClass);
PROCEDURE PopFrame (frame: CG.Var);

 generate code to link and unlink 'frame' from the global
   stack of exception frames 

PROCEDURE SetLock (acquire: BOOLEAN;  var: CG.Var;  offset: INTEGER);

 generate the call to acquire or release a mutex 

PROCEDURE CaptureState (frame: CG.Var;  handler: CG.Label);

 call 'setjmp' on 'frame's jmpbuf and branch to 'handler' on re-returns. 

PROCEDURE Reset ();

END Marker.





interface Type is in: