/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/e2b_messages.e
ViewVC logotype

Contents of /branches/eth/eve/Src/framework/eiffel2boogie/e2b_messages.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93597 - (show annotations)
Tue Dec 3 00:48:44 2013 UTC (5 years, 10 months ago) by julian
File size: 1163 byte(s)
AutoProof: special translation for lemma and functional
1 note
2 description: "Messages used in AutoProof."
3 date: "$Date$"
4 revision: "$Revision$"
5
6 frozen class
7 E2B_MESSAGES
8
9 inherit
10
11 SHARED_LOCALE
12
13 feature -- Messages
14
15 functional_feature_not_function: STRING_32
16 do Result := "Functional feature has to be a function" end
17
18 functional_feature_not_single_assignment: STRING_32
19 do Result := "A functional feature has to consist of exactly one assignment to the Result" end
20
21
22 modify_field_first_argument_only_manifeststrings: STRING_32
23 do Result := "The tuple in the first argument of 'modify_field' needs to consist only of manifest strings." end
24
25 modify_field_first_argument_string_or_tuple: STRING_32
26 do Result := "First argument of 'modify_field' has to be a manifest string or a tuple of manifest strings." end
27
28 modify_field_field_does_not_exist (a_fname, a_cname: STRING): STRING_32
29 do Result := locale.formatted_string ("Feature '$1' mentioned in 'modify_field' does not exist in class '$2'", a_fname, a_cname) end
30
31 modify_field_field_not_attribute (a_fname: STRING): STRING_32
32 do Result := locale.formatted_string ("Feature '$1' mentioned in 'modify_field' is not an attribute", a_fname) end
33
34 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23