CONTENTS

 

 1     Scope 
 2     References 
 3     Abbreviations   
 4     Introduction      
 5     Conventions     
        5.1     Syntactic metanotation       
        5.2     Specification text   
        5.3     Proformas 
        5.4     Core language       
        5.5     General mapping rules        
 6     Proformas  
        6.1     Test Suite Control  
        6.2     Test Suite Parameters        
        6.3     Module Imports     
        6.4     Simple Types         
        6.5     Structured Types   
        6.6     SequenceOf types 
        6.7     Enumerated Type  
        6.8     Port Types
        6.9     Component Types 
       6.10     Constants 
       6.11     Signature  
       6.12     Simple Templates 
       6.13     Structured Template         
       6.14     Function
       6.15     Altstep  
       6.16     Testcase
 7     BNF productions