/[eiffelstudio]/trunk/eweasel/tests/scoop061/flag.e
ViewVC logotype

Contents of /trunk/eweasel/tests/scoop061/flag.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 97323 - (show annotations)
Tue May 19 13:33:49 2015 UTC (4 years, 8 months ago) by alexk
File size: 167 byte(s)
Added an example that demonstrates that reads and writes to tuple fields are not performed in an exclusive mode.
1 class FLAG
2
3 feature
4
5 is_ready: BOOLEAN
6
7 reset
8 do
9 is_ready := False
10 ensure
11 not is_ready
12 end
13
14 set
15 do
16 is_ready := True
17 ensure
18 is_ready
19 end
20
21 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23