The Meta-Environment API
00001 #ifndef __PRETTY_PRINT_UTILS__ 00002 #define __PRETTY_PRINT_UTILS__ 00003 00004 #include <pandora.idef> 00005 00006 process PrettyPrint(Path : str, 00007 Tree : term, 00008 Result : term?) is 00009 let 00010 Id : int, 00011 Feedback: summary 00012 in 00013 Id := process-id 00014 . AddJob("Generic pretty printing") 00015 . RemoveSummary("pandora", "all") 00016 . snd-msg(pretty-print(Tree)) 00017 . 00018 ( 00019 rec-msg(pretty-print-result(Result?)) 00020 . AnnotateTree(Result, Path, Result?) 00021 + 00022 rec-msg(pretty-print-error(Feedback?)) 00023 . DisplaySummary(Feedback) 00024 . Result := UNDEFINED 00025 ) 00026 . JobDone("Generic pretty printing") 00027 endlet 00028 00029 #endif /* __PRETTY_PRINT_UTILS__ */