adjusted paths
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7917 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
a81945e35d
commit
e57edf3ad5
|
@ -297,7 +297,7 @@ fun get_holocl_operation var_name oper class model =
|
||||||
val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
|
val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
|
||||||
(** use Rep_Encoder to get operation as HOL-OCL-Term **)
|
(** use Rep_Encoder to get operation as HOL-OCL-Term **)
|
||||||
(* val term = Rep_Encoder. .... *)
|
(* val term = Rep_Encoder. .... *)
|
||||||
val hol_name = mk_def_of (name_of class)@[(name_of_op oper)]
|
val hol_name = mk_def_of ((name_of class)@[(name_of_op oper)])
|
||||||
val args = List.map (fn (a,b) => (Variable(a,b),b)) (arguments_of_op oper)
|
val args = List.map (fn (a,b) => (Variable(a,b),b)) (arguments_of_op oper)
|
||||||
val typ = type_of class
|
val typ = type_of class
|
||||||
val predicate = Predicate(Variable(var_name,typ),typ,hol_name,args)
|
val predicate = Predicate(Variable(var_name,typ),typ,hol_name,args)
|
||||||
|
@ -327,7 +327,7 @@ fun refine_operation abs_oper conc_oper abs_class conc_class model =
|
||||||
val refine = OperationCall(S,DummyT,["holOclLib","methodology","refinement","OclForwardRefinement"],[(T,DummyT),(R,DummyT)],Boolean)
|
val refine = OperationCall(S,DummyT,["holOclLib","methodology","refinement","OclForwardRefinement"],[(T,DummyT),(R,DummyT)],Boolean)
|
||||||
val _ = trace function_ends ("WFCPOG_Refine_Constraint.refine_classifier\n")
|
val _ = trace function_ends ("WFCPOG_Refine_Constraint.refine_classifier\n")
|
||||||
in
|
in
|
||||||
(["po_refine_"]@(package_of abs_class)@["_"]@(package_of conc_class)@["_"]@[name_of_op abs_oper],refine)
|
(["po_refine_"^(string_of_path (name_of abs_class))^"_"^(string_of_path (name_of conc_class))^"_"^(name_of_op abs_oper)],refine)
|
||||||
end
|
end
|
||||||
|
|
||||||
fun refine_classifier abs_class conc_class model =
|
fun refine_classifier abs_class conc_class model =
|
||||||
|
|
Loading…
Reference in New Issue