From b9cb0a10696103fcb2419ffbc3db9a4a68d0022d Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Thu, 27 Mar 2008 16:30:59 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7524 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/ocl_parser/type_checker.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/su4sml/src/ocl_parser/type_checker.sml b/su4sml/src/ocl_parser/type_checker.sml index 46803aa..9e24adf 100644 --- a/su4sml/src/ocl_parser/type_checker.sml +++ b/su4sml/src/ocl_parser/type_checker.sml @@ -420,7 +420,7 @@ let val typ = type_of_path path model handle GetClassifierError s => raise TC_OperationWithTypeError ("Wrong or ommited package in a OperationWithType call. Please ajust the the package of the type.\n" ^ "OclTerm is: " ^ ocl2string true opcall ^ "\n") val _ = trace low ("res OpCall: oclTypeOf 4:" ^ "... " ^ "\n") - val res = OperationWithType (rterm,rtyp,"oclIsTypeOf",typ,Boolean) + val res = OperationWithType (rterm,rtyp,"oclIsKindOf",typ,Boolean) val _ = trace function_ends ("TypeChecker.resolve_OclTerm\n") in res @@ -443,7 +443,7 @@ let val typ = type_of_path path model handle GetClassifierError s => raise TC_OperationWithTypeError ("Wrong or ommited package in a OperationWithType call. Please ajust the the package of the type.\n" ^ "OclTerm is: " ^ ocl2string true opcall ^ "\n") val _ = trace low ("res OpCall: oclTypeOf 4:" ^ "... " ^ "\n") - val res = OperationWithType (rterm,rtyp,"oclIsTypeOf",typ,Boolean) + val res = OperationWithType (rterm,rtyp,"oclAsType",typ,typ) val _ = trace function_ends ("TypeChecker.resolve_OclTerm\n") in res