The Open Protocol Notation Programming Guide 1 Document Version 1 (4/23/2018)
Download 1.37 Mb.
|
- Navigate this page:
- From (Decoding) Pattern
- Not Patterns Pattern[6] ::= ! Pattern[6] Nullable or Optional Patterns
- Literal and Expression Patterns
- Membership Patterns Pattern[7] ::= in Expression Compound Patterns
- Reference Patterns with Capture
PatternsNote that types and proper patterns are unified with one non-terminal operator, called Pattern, reflecting that types are subset of patterns. Composed PatternsPattern ::= ([|Expression|])? Pattern | ([|Expression|])? Pattern[1] Pattern[1] ::= Pattern[1] & Pattern[2] Pattern[2] ::= Pattern[2] + Pattern[3] Count PatternsPattern[3] ::= Pattern[4] * Pattern[3] ::= Pattern[4] + Pattern[3] ::= Pattern[4] #? Pattern[3] ::= Pattern[4] # PatternCountValue Pattern[3] ::= Pattern[4] # PatternCountValue .. PatternCountValue? Pattern[3] ::= Pattern[4] #.. PatternCountValue PatternCountValue ::= PrimaryExpression From (Decoding) PatternPattern[3] ::= Pattern[4] from Reference Pattern[4] ::= Pattern[5] Constraint Constraint ::= where Expression Capture PatternsPattern[5] ::= Identifier : Pattern[6] Pattern[5] ::= var Identifier PrimaryPattern ::= Pattern[6] Pattern[6] ::= ! Pattern[6] Nullable or Optional PatternsPattern[6] ::= Pattern[7] ? Pattern[6] ::= optional ([|Expression|])? Pattern[7] Note: in the context of a sequential pattern, this operator denotes 0 or 1 repetitions. In the context of a singleton pattern, it denotes nullable. Parenthesized PatternsPattern[7] ::= ( Pattern ) Pattern[7] ::= PrimaryPattern(( Pattern ( , Pattern )* )? ) Reference PatternsPattern[7] ::= ReferencePattern ReferencePattern ::= ReferencePatternIdentifier GenericArguments? TypeArguments? TypeArguments ::= [ ( Expression ( , Expression )* )? ] ReferencePatternWithoutArguments ::= ReferencePatternIdentifier GenericArguments? ReferencePatternIdentifier ::= QualifiedIdentifier | PredefinedTypeIdentifier PredefinedTypeIdentifier ::= byte | sbyte | short | ushort | int | uint | long | ulong | float | double | decimal | guid | bool | char | string | binary | any | any aspect | any endpoint | any message | any type | array | set | map | | json | xml | treedata | void Pattern[7] ::= $ PrimaryExpression Pattern[7] ::= Literal Pattern[7] ::= regex BlockLiteral Range PatternsPattern[7] ::= $ PrimaryExpression .. PrimaryExpression Pattern[7] ::= Literal .. Literal Membership PatternsPattern[7] ::= in Expression Compound PatternsPattern[7] ::= (\\ | \)? ReferencePattern FieldPatterns? ((\\ | \) ReferencePattern FieldPatterns?)* ) FieldPatterns ::= { (FieldPattern ( , FieldPattern )* )? } FieldPattern ::= (Identifier | exception) is Pattern | Identifier == Expression | Expression Array PatternsPattern[7] ::= [ SequentialPattern? ] SequentialPattern::= Pattern ( , Pattern )* ( , WildcardPattern? )? WildcardPattern ::= ... ( Identifier )? Map PatternsPattern[7] ::= { ( EntryPattern ( , EntryPattern )* ( , WildcardPattern? )? )? } EntryPattern ::= Expression -> Pattern Pattern[7] ::= { SequentialPattern? } Enum PatternsPattern[7] ::= ( enum | flags ) EnumBase? { (EnumField ( , EnumField )* )? ,? } EnumBase ::= ReferencePatternWithoutArguments EnumField ::= Identifier ( = Expression)? Aspects? Reference Patterns with CapturePattern[7] ::= ReferencePatternWithCapture ReferencePatternWithCapture ::= (Identifier:)? ReferencePattern 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:
|