/[eiffelstudio]/trunk/eweasel/tests/multicon051/b.e
ViewVC logotype

Contents of /trunk/eweasel/tests/multicon051/b.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 77387 - (show annotations)
Fri Feb 27 04:58:11 2009 UTC (10 years, 10 months ago) by manus
File size: 311 byte(s)
Added a new test hightlighting wrong processing of errors for using binary or unary operator on
  a constraint which is multiple. Or missing detection of error, or reporting an error when there is none.

1 class B [G -> {A [ANY], C}]
2
3 feature {NONE} -- Test
4
5 anchor: G
6
7 f (a: ANY): BOOLEAN
8 do
9 Result := True
10 end
11
12 g (a: like anchor; b: ANY)
13 require
14 a1: a + b /= Void
15 a2: -a /= Void
16 a3: (-a) + (b) /= Void
17 a4: (-a).add (b) /= Void
18 a5: a.add (b) /= Void
19 a6: a.minus /= Void
20 do
21 end
22
23 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23