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

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7426 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-03-17 15:31:58 +00:00
parent 0174e5bf7d
commit 6c5605999a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/ocl_parser/preprocessor.sml
View File

@ -291,7 +291,7 @@ and generate_variables (Literal (paras)) path meth_name model = Literal (paras)
val _ = trace low ("generate_variable: AttributeCall\n")
val _ = List.app (print o (fn x => x^"\n") o string_of_path o name_of ) model
(* val classifier = obsolete_obsolete_class_of path model *)
val classifier = class_of path model
val classifier = class_of path (model,[])
val _ = trace low "classifier found\n"
val meth_list = operations_of classifier
val meth = find_operation meth_name meth_list