00001 #ifndef SDF_PRETTY
00002 #define SDF_PRETTY
00003 #include <undefined.h>
00004
00005 process GetSdfToBoxEqs(Eqs : term?) is
00006 let
00007 Error: term
00008 in
00009 snd-msg(io-read-and-pack-term("/export/scratch1/daybuild/sisyphus-builds/install/12345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890/sdf-pretty/26390/64719/share/sdf-pretty/Sdf2-pretty.eqs"))
00010 .
00011 (
00012 rec-msg(io-packed-term(Eqs?))
00013 +
00014 rec-msg(io-error-reading(Error?))
00015 . Eqs := UNDEFINED
00016 )
00017 endlet
00018
00019 process ReduceSdfToBox(In : term, Out : term?) is
00020 let
00021 Eqs : term,
00022 Errors : list
00023 in
00024 Out := UNDEFINED
00025 . Eqs := UNDEFINED
00026 . GetSdfToBoxEqs(Eqs?)
00027 .
00028 if not-equal(Eqs, UNDEFINED) then
00029 snd-msg(asfe-rewrite("languages/sdf2/pretty/Sdf2", Eqs, UNDEFINED, In, off))
00030 .
00031 (
00032 rec-msg(asfe-rewrite-result(Out?))
00033 +
00034 rec-msg(asfe-rewrite-result-with-errors(Out?, Errors?))
00035 +
00036 rec-msg(asfe-rewrite-errors(Errors?))
00037 )
00038 else
00039 tau
00040 fi
00041
00042 endlet
00043
00044 process PrettyPrintSdf(Path : str, In : term , Out :term?) is
00045 let
00046 Box : term
00047 in
00048 ReduceSdfToBox(In, Box?)
00049 . PrettyPrint(Path, Box, Out?)
00050 endlet
00051
00052 #endif
