/[eiffelstudio]/branches/eth/eve/eweasel/tests/incr382/test1_rev3.e
ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/incr382/test1_rev3.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84268 - (show annotations)
Tue Aug 24 14:02:11 2010 UTC (9 years, 5 months ago) by jasonw
File size: 340 byte(s)
<<Merged from trunk#84267.>>
1
2 deferred class TEST1 [G -> INTEGER create default_create end]
3 feature
4 try
5 do
6 io.new_line;
7 (agent stoat).call ([(create {G}.default_create).min_value, {G}.max_value])
8
9 end
10
11 stoat (a, b: INTEGER)
12 deferred
13 end
14
15 invariant
16 correct: ((agent : G do end).item ([])) = 0
17 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23