Changes between Initial Version and Version 1 of Ticket #84


Ignore:
Timestamp:
06/18/08 18:41:13 (16 years ago)
Author:
jlegrand
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #84 – Description

    initial v1  
    99  T1 : thread T; 
    1010  T2 : thread T; 
    11   D0 : data D { Cheddar_Properties::Critical_Section => ( "T1", "2", "2",  
    12 "T2", "4", "5" ); }; 
     11  D0 : data D { Cheddar_Properties::Critical_Section => ( "T1", "2", "2", "T2", "4", "5" ); }; 
    1312end P.I; 
    1413 
    … …  
    1716process implementation P.I 
    1817subcomponents 
    19   T1 : thread T { Cheddar_Properties::Critical_Section => ( "D0", "2",  
    20 "2" ); }; 
    21   T2 : thread T { Cheddar_Properties::Critical_Section => ( "D0", "4",  
    22 "5" ); }; 
     18  T1 : thread T { Cheddar_Properties::Critical_Section => ( "D0", "2", "2" ); }; 
     19  T2 : thread T { Cheddar_Properties::Critical_Section => ( "D0", "4", "5" ); }; 
    2320  D0 : data D; 
    2421end P.I; 
    … …  
    5249  D0 : data D; 
    5350connections 
    54   data access D0 -> T1.S {Cheddar_Properties::Critical_Section => ( "2",  
    55 "2"); }; 
    56   data access D0 -> T2.S {Cheddar_Properties::Critical_Section => ( "4",  
    57 "5"); }; 
     51  data access D0 -> T1.S {Cheddar_Properties::Critical_Section => ( "2", "2"); }; 
     52  data access D0 -> T2.S {Cheddar_Properties::Critical_Section => ( "4", "5"); }; 
    5853end P.I; 
    5954