MODULE************************** EXCEPTION UpdateNotPossible;; IMPORT AST; TYPE Null_T = T OBJECT OVERRIDES next := NullNext END; PROCEDURE AST_Iter Null (<*UNUSED*> n: NODE): T RAISES {}= BEGIN RETURN NEW(Null_T); END Null; PROCEDURENullNext ( <*UNUSED*> iter: T; <*UNUSED*> VAR (*out*) n: AST.NODE ): BOOLEAN RAISES {}= BEGIN RETURN FALSE; END NullNext;
PROCEDURE NullUpdate( <*UNUSED*> n: NODE; <*UNUSED*> iter: T; <*UNUSED*> nn: AST.NODE ) RAISES {}= <*FATAL UpdateNodePossible*> BEGIN RAISE UpdateNotPossible; END NullUpdate; ******************************
BEGIN END AST_Iter.