m3front/src/exprs/CheckExpr.i3


Copyright (C) 1994, Digital Equipment Corp.
File: CheckExpr.i3 Last Modified On Sun Aug 23 15:26:38 PDT 1992 By kalsow

INTERFACE CheckExpr;

IMPORT Expr, Target;

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

PROCEDURE Emit (e: Expr.T;  READONLY min, max: Target.Int);
compiles 'e' and ensures that it's contained in [min..max]

END CheckExpr.