Fix for #2383:

- Replaced class restriction with specialized class in error messages. - Use pretty-printing of class specialization in ClassInf.assertValid. git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@17735 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Oct 17, 2013 · b19b90d · b19b90d
1 parent 5224cb3
commit b19b90d
Show file tree

Hide file tree

Showing 4 changed files with 523 additions and 439 deletions.
diff --git a/Compiler/FrontEnd/ClassInf.mo b/Compiler/FrontEnd/ClassInf.mo
@@ -598,7 +598,7 @@ algorithm
       equation
         str1 = Absyn.pathString(getStateName(st));
         str2 = printStateStr(st);
-        str3 = SCodeDump.restrString(re);
+        str3 = SCodeDump.restrictionStringPP(re);
         Error.addSourceMessage(Error.RESTRICTION_VIOLATION, {str1,str2,str3}, info);
       then
         fail();