From dfb52793e38853fb67ee954a2a7497681d421a90 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 28 Apr 2006 08:14:04 +0000 Subject: [PATCH] added some utility methods git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4461 3260e6d1-4efc-4170-b0a7-36055960796d --- src/rep_core.sml | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/rep_core.sml b/src/rep_core.sml index 0e622e3..5e39d38 100644 --- a/src/rep_core.sml +++ b/src/rep_core.sml @@ -114,13 +114,18 @@ val operations_of : Classifier -> operation list val invariant_of : Classifier -> (string option * Rep_OclTerm.OclTerm) list val string_of_path : string list -> string -val arguments_of_op : operation -> (string * Rep_OclType.OclType) list +val arguments_of_op : operation -> (string * Rep_OclType.OclType) list val precondition_of_op : operation -> (string option * Rep_OclTerm.OclTerm) list -val result_of_op : operation -> Rep_OclType.OclType +val result_of_op : operation -> Rep_OclType.OclType val postcondition_of_op : operation -> (string option * Rep_OclTerm.OclTerm) list val name_of_op : operation -> string val mangled_name_of_op : operation -> string +val class_of : Rep_OclType.Path -> Classifier list -> Classifier +val parent_of : Classifier -> Classifier list -> Classifier +val parents_of : Classifier -> Classifier list -> Rep_OclType.Path list +val operation_of : Classifier list -> Rep_OclType.Path -> operation option +val topsort_cl : Classifier list -> Classifier list end structure Rep_Core : REP_CORE =