/[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 93377 by julian, Wed Nov 13 17:15:59 2013 UTC revision 93378 by julian, Thu Nov 14 15:57:08 2013 UTC
# Line 180  feature -- Basic operations Line 180  feature -- Basic operations
180                                  "is_wrapped",                                  "is_wrapped",
181                                  "is_free",                                  "is_free",
182                                  "is_open",                                  "is_open",
183                                    "is_closed",
184                                  "inv_without",                                  "inv_without",
185                                  "inv_only"                                  "inv_only"
186                          >>                          >>
# Line 205  feature -- Basic operations Line 206  feature -- Basic operations
206                                  "owner",                                  "owner",
207                                  "owns",                                  "owns",
208                                  "subjects",                                  "subjects",
209                                  "observers",                                  "observers"
                                 "is_wrapped"  
210                          >>                          >>
211                          Result.compare_objects                          Result.compare_objects
212                  end                  end

Legend:
Removed from v.93377  
changed lines
  Added in v.93378

  ViewVC Help
Powered by ViewVC 1.1.23