m3front/src/exprs/CheckExpr.i3

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


 File: CheckExpr.i3                                          
 Last Modified On Sun Aug 23 15:26:38 PDT 1992 By kalsow     


INTERFACE CheckExpr;

IMPORT Expr, Target, CG;

PROCEDURE New      (a: Expr.T;  READONLY min, max: Target.Int;
                    err: CG.RuntimeError): Expr.T;
PROCEDURE NewLower (a: Expr.T;  READONLY min: Target.Int;
                    err: CG.RuntimeError): Expr.T;
PROCEDURE NewUpper (a: Expr.T;  READONLY max: Target.Int;
                    err: CG.RuntimeError): Expr.T;

PROCEDURE EmitChecks (e: Expr.T;  READONLY min, max: Target.Int;
                      err: CG.RuntimeError);

 compiles 'e' and ensures that it's contained in [min..max] 

END CheckExpr.