/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/translation/custom/e2b_custom_ownership_handler.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/eiffel2boogie/translation/custom/e2b_custom_ownership_handler.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 93596 by polikarn, Thu Nov 28 19:46:33 2013 UTC revision 93597 by julian, Tue Dec 3 00:48:44 2013 UTC
# Line 245  feature -- Basic operations Line 245  feature -- Basic operations
245                                          l_string.append (", ")                                          l_string.append (", ")
246                                  end                                  end
247                                  l_string.remove_tail (2)                                  l_string.remove_tail (2)
248                                  helper.add_semantic_error (Void, a_context_feature, "Filtered invariant of class '" + a_class.name_in_upper + "' lists invalid tag: " + l_string)                                  helper.add_semantic_error (a_context_feature, "Filtered invariant of class '" + a_class.name_in_upper + "' lists invalid tag: " + l_string)
249                          end                          end
250                  end                  end
251    

Legend:
Removed from v.93596  
changed lines
  Added in v.93597

  ViewVC Help
Powered by ViewVC 1.1.23