Home
   News
   About the project
   Language
   Compiler download
   Test suite
   Blog on the programming model
   Zonnon @ OCP Forum
   Collection of examples

TEST: 0802T19-X

category

status

Compilation and execution results for Windows (first) and Mono (second)
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 18:06
Compilation: ERROR
Execution: NOT RUN
(22, 26) Duplicate declaration with the name 'age' in the current scope
(22, 2) Could not find definition A
(0, 0) Could not find 'year' qualified by 'age'
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: ERROR
Execution: NOT RUN
(22, 26) Duplicate declaration with the name 'age' in the current scope
(22, 2) Could not find definition A
(0, 0) Could not find 'year' qualified by 'age'
(0, 0) Assembly reference not resolved: System.Configuration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a.

code

1  
2  
3  
4  
5  
6  
7  
8  
9  
10  
11  
12  
13  
14  
15  
16  
17  
18  
19  
20  
21  
22  
23  
24  
25  
26  
27  
28  
29  
30  
31  
32  
33  
34  
35  
36  
37  
38  
39  
 (**   
  * 8. Procedure declaration and formal parameters  
  * 8.2 Properties  
  *  
  * Negative test: the property variable is located in implementor  
  *)  
 module Main;  
      import B;  
   
      var b : B;  
 begin  
      if b.age.year = 2000  
      then halt(1) else halt(0) end;  
 end Main.  
   
 object {publicvalue} B implements A;  
      import C;  
   
      var {public}   
           age : B;  
   
      procedure {getpublic} age : C implements A.age;  
      var a : C;  
      begin  
           a.day := 1;  
           a.month := 1;  
           a.year := 2000;  
           return a;  
      end age;  
 end B.  
   
 definition {public} A;  
 end A.  
   
 object {publicvalue} C;  
      var {public}  
           year, month, day : integer;  
 end C.  
   

information

  • PASSED - overall positive decision about the test
  • NOT PASSED - overall negative decision about the test
  • SUCCESS - compilation / execution successful
  • ERROR - compilation failed with normal syntax or semantic error
  • ABORT - compilation failed because of an internal compiler error
  • NOT RUN - the test was not / not supposed to be executed
  • FAIL - execution failed
Copyright © 2010 ETH Zurich, Switzerland