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

TEST: 092-T23-T

category

status

Compilation and execution results for Windows (first) and Mono (second)
NOT PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 18:06
Compilation: ERROR
Execution: NOT RUN
(24, 1) Enclosing object/module needs a protected modifier
NOT PASSED Compiler: 1.2.8.0
Date, time: 2010.08.06, 22:22
Compilation: ERROR
Execution: NOT RUN
(24, 1) Enclosing object/module needs a protected modifier
(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  
 (**   
  * 9. Concurrency-Activities-Protocols  
  * 9.2. Protocol-Controlled-and-Activities  
  *     Positive test: Conversions  
  *)  
 module Main;  
 protocol P = (  
      START_TEXT, MODIFIER1, MODIFIER2, END_TEXT, OK,  
      P = START_TEXT { (string | MODIFIER1 | MODIFIER2) ?OK} END_TEXT  
 );  
   
   
 procedure processCmd( cmd: P );  
 begin  
   
 end processCmd;  
   
 procedure addTextLine( s: string );  
 begin  
      writeln(s);  
 end addTextLine;  
   
   
 activity A implements P;  
 var request: object;  
 begin   
      repeat  
           accept request;  
           if request is  P then  
                processCmd( P( request ) )  
           else (* It is a string *)  
                addTextLine( string( request ) )  
           end  
      until (request is P) & (P(request) = P.END_TEXT);  
 end A;  
   
 var a: activity{P};  
 begin  
      a := new A;  
      a("Hello world");  
      halt(1)  
 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