equal
deleted
inserted
replaced
1 (* Title: BaseDefinitions/celem-4.sml |
|
2 Author: Walther Neuper |
|
3 (c) due to copyright terms |
|
4 |
|
5 *) |
|
6 signature CALCELEMENT_4 = |
|
7 sig |
|
8 type pat |
|
9 val pats2str: pat list -> string |
|
10 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
|
11 val pats2str' : pat list -> string |
|
12 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
|
13 (*NONE*) |
|
14 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* ) |
|
15 (*NONE*) |
|
16 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
|
17 end |
|
18 |
|
19 (**) |
|
20 structure Celem4(**): CALCELEMENT_4(**) = |
|
21 struct |
|
22 (**) |
|
23 |
|
24 (* the pattern for an item of a problems model or a methods guard *) |
|
25 type pat = |
|
26 (string * (* field *) |
|
27 (term * (* description *) |
|
28 term)) (* id | arbitrary term *); |
|
29 fun pat2str ((field, (dsc, id)) : pat) = |
|
30 pair2str (field, pair2str (UnparseC.term dsc, UnparseC.term id)) |
|
31 fun pats2str pats = (strs2str o (map pat2str)) pats |
|
32 fun pat2str' ((field, (dsc, id)) : pat) = |
|
33 pair2str (field, pair2str (UnparseC.term dsc, UnparseC.term id)) ^ "\n" |
|
34 fun pats2str' pats = (strs2str o (map pat2str')) pats |
|
35 |
|
36 (**)end(**) |
|