The Open Protocol Notation Programming Guide 1 Document Version 1 (4/23/2018)
Download 1.37 Mb.
|
- Navigate this page:
- Annotation Declarations
- Constructor Declarations
DeclarationsAspectsAspects ::= with InitializerExpression ( , InitializerExpression )* AspectsAfterBlock ::= Aspects ; Field DeclarationsFieldDeclaration ::= ExtensionModifier? FieldModifier* PrimaryPattern Identifier Constraint? Aspects? ( = Expression Aspects? )? ; ExtensionModifier ::= change | delete FieldModifier ::= VisibilityModifier | static | const VisibilityModifier ::= public | internal Annotation DeclarationsAnnotationDeclaration ::= ExtensionModifier? AnnotationModifier* annotation PrimaryPattern Identifier Aspects? ; AnnotationModifier ::= VisibilityModifier AnnotationDeclaration ::= ExtensionModifier? AnnotationModifier* annotation PrimaryPattern QualifiedIdentifier#Identifier Aspects? ; AnnotationModifier ::= VisibilityModifier MethodDeclaration ::= ExtensionModifier? MethodModifier* PrimaryPattern PropertyModifier? MethodIdentifier GenericParameters? Parameters Aspects? ( Block AspectsAfterBlock? | ; ) MethodDeclaration ::= extern VisibilityModifier? PrimaryPattern PropertyModifier? MethodIdentifier GenericParameters? Parameters Aspects? ; MethodDeclaration ::= ~endpoint ( PrimaryPattern Identifier Aspects?) Aspects? ( Block AspectsAfterBlock? | ; ) PropertyModifier ::= get | set MethodModifier ::= VisibilityModifier | static | virtual | override | abstract GenericParameters ::= < Identifier ( , Identifier)* > Parameters ::= ( (this? Parameter ( , Parameter )* )? ) Parameter ::= ParameterModifier? PrimaryPattern Identifier Constraint? Aspects? ParameterModifier ::= ref | out MethodIdentifier ::= Identifier | operator DefinableOperator DefinableOperator ::= one of [] + - * / % ~ ^ & | << >> == != <= >= < > as in Constructor DeclarationsConstructorDeclaration ::= ExtensionModifier? VisibilityModifier? Identifier Parameters Aspects? ( Block AspectsAfterBlock? | ; ) Invariant DeclarationsInvariantDeclaration ::= invariant (Identifier : )? Expression ( , Expression )? ; Pattern DeclarationsPatternDeclaration ::= ExtensionModifier? VisibilityModifier? pattern Identifier GenericParameters? Aspects? = Pattern Aspects? ; Syntax DeclarationsSyntaxDeclaration ::= ExtensionModifier? VisibilityModifier? syntax Identifier TypeParameters? Aspects? = Production Aspects? ; SyntaxDeclaration ::= ExtensionModifier? VisibilityModifier? syntax ignore Aspects? = regex BlockLiteral Aspects? ; SyntaxDeclaration ::= ExtensionModifier? VisibilityModifier? syntax separator Aspects? = regex BlockLiteral Aspects? ; TypeDeclaration ::= ExtensionModifier? TypeModifier* type Identifier GenericParameters? TypeParameters? Aspects? TypeBase? { TypeMember* } AspectsAfterBlock? TypeDeclaration ::= extern VisbilityModifier * type Identifier GenericParameters? Aspects? ; TypeParameters ::= [ ( Parameter ( , Parameter )* )? ] TypeBase ::= : ReferencePattern ( , ReferencePattern )* TypeModifier ::= VisbilityModifier | abstract TypeMember ::= FieldDeclaration | ConstructorDeclaration | MethodDeclaration | PatternDeclaration | InvariantDeclaration Interface DeclarationsInterfaceDeclaration ::= VisibilityModifier? interface Identifier GenericParameters? Aspects? TypeBase? { InterfaceMember* } AspectsAfterBlock? InterfaceMember ::= MethodDeclaration Message DeclarationsMessageDeclaration ::= ExtensionModifier? VisibilityModifier? message Identifier TypeParameters? Aspects? TypeBase? { MessageMember* } AspectsAfterBlock? MessageDeclaration ::= ExtensionModifier? VisibilityModifier? operation Identifier TypeParameters? Aspects? { OperationMember* } ( Aspects ResultDeclaration* ; | ResultDeclaration+ ; )? MessageDeclarationInContract ::= ExtensionModifier? VisibilityModifier? ( accepts | issues )? message Identifier TypeParameters? Aspects? TypeBase? { MessageMember* } AspectsAfterBlock? MessageDeclarationInContract ::= ExtensionModifier? VisibilityModifier? ( accepts | issues )? operation Identifier TypeParameters? Aspects? { OperationMember* } ( Aspects ResultDeclaration* ; | ResultDeclaration+ ; )? OperationFieldDeclaration ::= ( in | out | result |in out |in result )? FieldDeclaration ResultDeclaration ::= ( error | success | exception ) Pattern Aspects? MessageMember ::= TypeMember OperationMember ::= OperationFieldDeclaration | MethodDeclaration | PatternDeclaration | InvariantDeclaration MessageDeclaration ::= ExtensionModifier? VisibilityModifier? virtual operation Identifier Aspects? { OperationMember* } ( Aspects VirtualResultDeclaration* | VirtualResultDeclaration+ )? = (Scenario | QualifiedIdentifier TypeArguments?); MessageDeclarationInContract ::= ExtensionModifier? VisibilityModifier? ( accepts | issues )? virtual operation Identifier Aspects? { OperationMember* } ( Aspects VirtualResultDeclaration* | VirtualResultDeclaration+ )? = (Scenario | QualifiedIdentifier TypeArguments?); VirtualResultDeclaration ::= ( error | success ) Pattern Aspects? | (exception PrimaryPattern Identifier Constraint? Aspects? = Expression Aspects?) Aspect DeclarationsAspectDeclaration ::= ExtensionModifier? TypeModifier* aspect Identifier Aspects? TypeBase? { AspectMember* } AspectsAfterBlock? AspectMember ::= ThisFieldDeclaration | FieldDeclaration | InvariantDeclaration ThisFieldDeclaration ::= FieldModifier* PrimaryPattern this Constraint? Aspects? ( = Expression Aspects? )? ; ActorDeclaration ::= ExtensionModifier? VisibilityModifier? static? autostart? actor Identifier Parameters PartialOrderDeclaration* Aspects? { ActorMember* } AspectsAfterBlock? ActorMember ::= FieldDeclaration | MethodDeclaration | PatternDeclaration | TypeDeclaration | InvariantDeclaration | RuleDeclaration | ActorDeclaration | ScenarioDeclaration ActorModifier ::= VisibilityModifier | autostart RuleDeclaration ::= (observe | process) ( Identifier : )? TransmitPattern { Statement* } RuleDeclaration ::= observe ( Identifier : )? ScenarioTransmitPattern { Statement* } ScenarioTransmitPattern ::= Expression (Identifier:)? Scenario ScenarioTransmitPattern ::= Expression (Identifier:)? QualifiedIdentifier TransmitPattern ::= Expression Direction Pattern Direction ::= issues | accepts PartialOrderDeclaration ::= (follows | precedes) QualifiedIdentifier GenericArguments? (, QualifiedIdentifier GenericArguments?)* Binding DeclarationBindingDeclaration ::= ExtensionModifier? BindingModifier* binding Identifier Aspects? : ReferencePattern over ReferencePatternWithCapture ( { BindingMember* } AspectsAfterBlock? | Aspects? ; ) BindingMember ::= FieldDeclaration | MethodDeclaration | PatternDeclaration | TypeDeclaration | InvariantDeclaration | BindingRuleDeclaration BindingModifier ::= VisibilityModifier BindingRuleDeclaration ::= rule ( Identifier : )? Direction Pattern => Expression Direction Expression Aspects? ; Contract DeclarationsContractDeclaration ::= ExtensionModifier? VisibilityModifier? contract Identifier Aspects? ( ContractElement+ )? { ContractMember* } AspectsAfterBlock? ContractMember ::= MessageDeclarationInContract ContractElement ::= ExtensionModifier? ( ( consumes | provides ) | accepts | issues ) ReferencePattern Endpoint DeclarationsEndpointDeclaration ::= ExtensionModifier? VisibilityModifier? endpoint Identifier EndpointAddress? EndpointTransports? PartialOrderDeclaration? Aspects? ContractElement+ ( { EndpointMember* } AspectsAfterBlock? | Aspects? ; ) EndpointDeclaration ::= ExtensionModifier? VisibilityModifier? client endpoint Identifier PartialOrderDeclaration? Aspects? ( { EndpointMember* } AspectsAfterBlock? | Aspects? ; ) EndpointAddress ::= [ EndpointIndex ( , EndpointIndex )* ,? ] EndpointIndex ::= Pattern Identifier Aspects? EndpointTransports ::= over ReferencePatternWithCapture TransportConstraint? ( | over ReferencePatternWithCapture TransportConstraint?)* TransportConstraint ::= where value EndpointTransports EndpointMember ::= FieldDeclaration | MethodDeclaration | PatternDeclaration | TypeDeclaration | InvariantDeclaration | RuleDeclaration | ActorDeclaration | ScenarioDeclaration ScenarioDeclaration ::= ExtensionModifier? VisibilityModifier? scenario Identifier ScenarioTypeParameters? Aspects? = Scenario Aspects? ; ScenarioTypeParameters ::= [ ( ScenarioTypeParameter ( ,ScenarioTypeParameter)* )? ] ScenarioTypeParameter ::= out? PrimaryPattern Identifier Constraint? Aspects? Role DeclarationsRoleDeclaration ::= ExtensionModifier? VisibilityModifier? role Identifier EndpointAddress? EndpointTransports? Aspects? ( { RoleMember* } AspectsAfterBlock? | Aspects? ; ) RoleMember ::= EndpointMember | EndpointDeclaration Typedef DeclarationsTypedefDeclaration ::= VisibilityModifier? typedef Identifier Aspects? = ReferencePatternIdentifier Aspects? ; DocumentsDocument ::= module QualifiedIdentifier Extensions Aspects? ; UsingDeclaration* ModuleMember* Document ::= protocol QualifiedIdentifier Extensions Aspects? ; UsingDeclaration* ProtocolMember* ModuleMember ::= FieldDeclaration | MethodDeclaration | TypeDeclaration | PatternDeclaration | InvariantDeclaration | ActorDeclaration | MessageDeclaration | ContractDeclaration | AnnotationDeclaration | AspectDeclaration | InterfaceDeclaration | SyntaxDeclaration | BindingDeclaration | ScenarioDeclaration | TypedefDeclaration ProtocolMember ::= ModuleMember | EndpointDeclaration | RoleDeclaration | ConnectionDeclaration Extensions ::= extends QualifiedIdentifier ( , QualifiedIdentifer )* UsingDeclaration ::= using (QualifiedIdentifier Aspects?) | XMLNamespace; XMLNamespace ::= please refer to the XML namespaces grammar definition at Namespaces in XML 1.0 Directory: download download -> Performance Tuning Guidelines for Windows Server 2008 May 20, 2009 Abstract download -> Northern England’s set-jetting locations download -> Bbc archives: Beyond the programme download download -> Occupational health and safety download -> Dynatest 3031 lwd light Weight Deflectometer download -> Forth coming competitive exams download -> English Olympiad Tasks: 10 th form Аудіювання, 10 клас. Текст download -> Brush High School Morning Announcements Friday, September 05, 2014 all school download -> Year 9 The Arts — Music download -> Years 7 and 8 standard elaborations — Australian Curriculum: Music draft Download 1.37 Mb. Share with your friends:
|