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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84268 - (hide 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 dhollen 84217
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