HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

added support for printing predicates 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7610 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2008-04-06 12:19:47 +00:00
parent 7cfdcbcad6
commit 92d1161bb0
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
su4sml/src/ocl2string.sml
View File

@ -180,6 +180,14 @@ fun ocl2string show_types oclterm =
^"):"^(string_of_OclType t)
else (ocl2string show_types src)^"."^(hd (rev op_name))
^"("^arglist show_types args^")"
| Predicate (src,styp,op_name,args) => if show_types
then (string_of_path op_name)
^"("^arglist show_types ((src,styp)::args)^"):Boolean"
else (string_of_path op_name)
^"("^arglist show_types ((src,styp)::args)^")"
(**************************************)
(* Variable *)