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

TEST: 1002B-T18-T

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: SUCCESS
Execution: SUCCESS
PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: SUCCESS
Execution: SUCCESS
(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  
40  
41  
42  
43  
44  
 (**   
  * 11. Program Units.  
  * 11.2. object  
  * IMPLEMENTS clause  
  *  
  * Positive test: Only set for indexer is defined  
  *)  
   
 (*  
   
 Important problem with [] definition  
   
 *)  
   
 module Main;  
        
 definition De;  
      procedure Hi;   
 end De;  
   
 var ok: boolean;  
 type {ref} OB = object implements De, []  
      procedure {public} Hi implements De.Hi;  
      begin  
           writeln("Hello");  
      end Hi;  
      procedure {public} Set(i, val: integerimplements [].Set;  
      begin  
           writeln("Set", i, val);  
           ok := true  
      end Set;  
 end OB;  
   
 var a: OB;  
      o: object{De};  
        
 begin  
         ok := false;  
      a := new OB;  
      o := a;  
      a[1]:=5;  
      o.Hi;  
      if ok then halt(1) end  
 end Main. 

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