From 92d1161bb07cd57fabfeba64542809117caf5a87 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 6 Apr 2008 12:19:47 +0000 Subject: [PATCH] added support for printing predicates git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7610 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/ocl2string.sml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/su4sml/src/ocl2string.sml b/su4sml/src/ocl2string.sml index f4aef5e..05eea87 100644 --- a/su4sml/src/ocl2string.sml +++ b/su4sml/src/ocl2string.sml @@ -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 *)