MODULE; IMPORT CG, CallExpr, Expr, ExprRep, Procedure, ProcType; IMPORT Int, Card, IntegerExpr, Formal, Value, Target, TInt, Scanner; VAR Z: CallExpr.MethodList; VAR formals: Value.T; PROCEDURE InfoThisLine Check (ce: CallExpr.T; VAR cs: Expr.CheckState) = BEGIN EVAL Formal.CheckArgs (cs, ce.args, formals, ce.proc); ce.type := Card.T; END Check; PROCEDURECompile (<*UNUSED*> ce: CallExpr.T) = VAR file: TEXT; line: INTEGER; BEGIN Scanner.Here (file, line); line := MAX (0, line); CG.Load_intt (line); END Compile; PROCEDUREFold (<*UNUSED*> ce: CallExpr.T): Expr.T = VAR file: TEXT; line: INTEGER; b: BOOLEAN; val: Target.Int; BEGIN Scanner.Here (file, line); line := MAX (0, line); b := TInt.FromInt (line, val); <*ASSERT b*> RETURN IntegerExpr.New (Int.T, val); END Fold; PROCEDUREInitialize () = VAR t0 := ProcType.New (Card.T); BEGIN Z := CallExpr.NewMethodList (0, 0, TRUE, TRUE, TRUE, Card.T, NIL, CallExpr.NotAddressable, Check, CallExpr.PrepArgs, Compile, CallExpr.NoLValue, CallExpr.NoLValue, CallExpr.NotBoolean, CallExpr.NotBoolean, Fold, CallExpr.NoBounds, CallExpr.IsNever, (* writable *) CallExpr.IsNever, (* designator *) CallExpr.NotWritable (* noteWriter *)); Procedure.Define ("ThisLine", Z, FALSE, t0); formals := ProcType.Formals (t0); END Initialize; BEGIN END InfoThisLine.