This interface contains the definitions of the default tree walk procedures for the syntactic nodes. Leaf nodes are not present.
INTERFACEM3AST_AS_Walk ; IMPORT M3AST_AS_F; IMPORT AST_WalkRep; PROCEDURE Qual_used_id( n: M3AST_AS_F.Qual_used_id; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Compilation_Unit( n: M3AST_AS_F.Compilation_Unit; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Interface_gen_def( n: M3AST_AS_F.Interface_gen_def; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Module_gen_def( n: M3AST_AS_F.Module_gen_def; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Interface_gen_ins( n: M3AST_AS_F.Interface_gen_ins; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Module_gen_ins( n: M3AST_AS_F.Module_gen_ins; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Interface( n: M3AST_AS_F.Interface; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Module( n: M3AST_AS_F.Module; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Import_item( n: M3AST_AS_F.Import_item; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Simple_import( n: M3AST_AS_F.Simple_import; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE From_import( n: M3AST_AS_F.From_import; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Revelation_s( n: M3AST_AS_F.Revelation_s; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Const_decl_s( n: M3AST_AS_F.Const_decl_s; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Type_decl_s( n: M3AST_AS_F.Type_decl_s; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Var_decl_s( n: M3AST_AS_F.Var_decl_s; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Exc_decl_s( n: M3AST_AS_F.Exc_decl_s; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Proc_decl( n: M3AST_AS_F.Proc_decl; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Const_decl( n: M3AST_AS_F.Const_decl; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Var_decl( n: M3AST_AS_F.Var_decl; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Exc_decl( n: M3AST_AS_F.Exc_decl; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Subtype_decl( n: M3AST_AS_F.Subtype_decl; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Concrete_decl( n: M3AST_AS_F.Concrete_decl; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Subtype_reveal( n: M3AST_AS_F.Subtype_reveal; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Concrete_reveal( n: M3AST_AS_F.Concrete_reveal; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Named_type( n: M3AST_AS_F.Named_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Root_type( n: M3AST_AS_F.Root_type; h: AST_WalkRep.Handle; ) RAISES ANY ; PROCEDURE Enumeration_type( n: M3AST_AS_F.Enumeration_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Subrange_type( n: M3AST_AS_F.Subrange_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Array_type( n: M3AST_AS_F.Array_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Record_type( n: M3AST_AS_F.Record_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Object_type( n: M3AST_AS_F.Object_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Set_type( n: M3AST_AS_F.Set_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Procedure_type( n: M3AST_AS_F.Procedure_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Ref_type( n: M3AST_AS_F.Ref_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Packed_type( n: M3AST_AS_F.Packed_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Opaque_type( n: M3AST_AS_F.Opaque_type; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Brand( n: M3AST_AS_F.Brand; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Fields( n: M3AST_AS_F.Fields; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Method( n: M3AST_AS_F.Method; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Override( n: M3AST_AS_F.Override; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Formal_param( n: M3AST_AS_F.Formal_param; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Raisees_some( n: M3AST_AS_F.Raisees_some; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Range( n: M3AST_AS_F.Range; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Range_EXP( n: M3AST_AS_F.Range_EXP; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Constructor( n: M3AST_AS_F.Constructor; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE RANGE_EXP_elem( n: M3AST_AS_F.RANGE_EXP_elem; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Actual_elem( n: M3AST_AS_F.Actual_elem; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE BINARY( n: M3AST_AS_F.BINARY; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE UNARY( n: M3AST_AS_F.UNARY; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Select( n: M3AST_AS_F.Select; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Call( n: M3AST_AS_F.Call; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Index( n: M3AST_AS_F.Index; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Actual( n: M3AST_AS_F.Actual; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Assign_st( n: M3AST_AS_F.Assign_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Call_st( n: M3AST_AS_F.Call_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Case_st( n: M3AST_AS_F.Case_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Eval_st( n: M3AST_AS_F.Eval_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE For_st( n: M3AST_AS_F.For_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE If_st( n: M3AST_AS_F.If_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Lock_st( n: M3AST_AS_F.Lock_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Loop_st( n: M3AST_AS_F.Loop_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Raise_st( n: M3AST_AS_F.Raise_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Repeat_st( n: M3AST_AS_F.Repeat_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Return_st( n: M3AST_AS_F.Return_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Try_st( n: M3AST_AS_F.Try_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Typecase_st( n: M3AST_AS_F.Typecase_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE While_st( n: M3AST_AS_F.While_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE With_st( n: M3AST_AS_F.With_st; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Block( n: M3AST_AS_F.Block; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Case( n: M3AST_AS_F.Case; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Else_stm( n: M3AST_AS_F.Else_stm; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE By( n: M3AST_AS_F.By; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Elsif( n: M3AST_AS_F.Elsif; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Try_except( n: M3AST_AS_F.Try_except; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Try_finally( n: M3AST_AS_F.Try_finally; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Tcase( n: M3AST_AS_F.Tcase; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Handler( n: M3AST_AS_F.Handler; h: AST_WalkRep.Handle ) RAISES ANY; PROCEDURE Binding( n: M3AST_AS_F.Binding; h: AST_WalkRep.Handle ) RAISES ANY; END M3AST_AS_Walk.