Grammar

What follows is a rough rendition of the Lama2 grammar, followed by a visual exploration of the grammar in the railroad diagram format (thanks to Railroad Diagram Generator)

EBNF Description

Lama2File       ::= (Proceessor Separator)? Requestor (Separator Processor Separator Requestor)*
Separator       ::= `^---$`
Processor       ::= `(?!(get|post|head|put|delete|connect|trace|patch))`
Requestor       ::= HTTPVerb Multipart? TheURL Details?
HTTPVerb        ::= "get" | "head" | "post" | "put" | "delete" | "connect" | "trace" | "patch"
Multipart       ::= "multipart"
TheURL          ::= "http" "s"? "://" [A-Za-z0-9-._~:/?#[@!$&'()*+,;%=]+ /* ws: explicit */
Details         ::= HeaderData | DataHeader

HeaderData      ::= Headers DataInput?
DataHeader      ::= DataInput Headers?
Headers         ::= HeaderPair HeaderPair*
HeaderPair      ::= (QuotedString | Unquoted) ":" (QuotedString | Unquoted)
DataInput       ::= VarJSON | JSONType

VarJSON         ::= VarJSONPair VarJSONPair* FilesPair?
VarJSONPair     ::= (QuotedString | VarJSONUnquoted) "=" (QuotedString | VarJSONUnquoted)
FilesPair       ::= FilesPair FilesPair*
FilesPair       ::= (QuotedString | FilesUnquoted) "@" (QuotedString | FilesUnquoted)
VarJSONUnquoted ::= [@0-9A-Za-z \t!$%&()*+./;<>?^_`|~-]+ /* ws: explicit */
FilesUnquoted   ::= [0-9A-Za-z \t!$%&()*+./;<>?^_`|~-]+ /* ws: explicit */
QuotedString    ::= ['"] Char* ['"]
Unquoted        ::= [0-9A-Za-z \t!$%&()*+./;<=>?^_`|~-]+ /* ws: explicit */


JSONType        ::= ComplexType | PrimitiveType
ComplexType     ::= List | Map
PrimitiveType   ::= Null | Boolean | QuotedString | Number
Map             ::= "{" Pair? (Pair ",")* "}"
List            ::= "[" JSONType? (JSONType ",")* "]"
Pair            ::= QuotedString ":" JSONType

Boolean         ::= "true" | "false"
Null            ::= "null"


Number          ::= Integer Fraction? Exponent?
Exponent        ::= [eE] Sign? Digits
Fraction        ::= "." Digits
Integer         ::= IntegerRule4 | IntegerRule3 | IntegerRule2 | IntegerRule1

IntegerRule1    ::= Digit
IntegerRule2    ::= OneNine Digits
IntegerRule3    ::= Sign IntegerRule1
IntegerRule4    ::= Sign IntegerRule2

Digits          ::= Digit Digit*
Digit           ::= "0"? OneNine
OneNine         ::= [1-9]
Sign            ::= [-+]

Railroad Diagram

Lama2File:

Lama2File

         ::= ( Proceessor Separator )? Requestor ( Separator Processor Separator Requestor )*

no references

Separator:

Separator

         ::= '---'

referenced by:

• Lama2File

Processor:

Processor

         ::= '(?!(get|post|head|put|delete|connect|trace|patch))'

referenced by:

• Lama2File

Requestor:

Requestor

         ::= HTTPVerb Multipart? TheURL Details?

referenced by:

• Lama2File

HTTPVerb:

HTTPVerb ::= 'get'

           | 'head'

           | 'post'

           | 'put'

           | 'delete'

           | 'connect'

           | 'trace'

           | 'patch'

referenced by:

• Requestor

Multipart:

Multipart

         ::= 'multipart'

referenced by:

• Requestor

TheURL:

TheURL   ::= 'http' 's'? '://' [A-Za-z0-9._~:/?[@!$&'()*+,;%=#x2D#x23]+

          /* ws: explicit */

referenced by:

• Requestor

Details:

Details  ::= HeaderData

           | DataHeader

referenced by:

• Requestor

HeaderData:

HeaderData

         ::= Headers DataInput?

referenced by:

• Details

DataHeader:

DataHeader

         ::= DataInput Headers?

referenced by:

• Details

Headers:

Headers  ::= HeaderPair HeaderPair*

referenced by:

• DataHeader
• HeaderData

HeaderPair:

HeaderPair

         ::= ( QuotedString | Unquoted ) ':' ( QuotedString | Unquoted )

referenced by:

• Headers

DataInput:

DataInput

         ::= VarJSON

           | JSONType

referenced by:

• DataHeader
• HeaderData

VarJSON:

VarJSON  ::= VarJSONPair VarJSONPair* FilesPair?

referenced by:

• DataInput

VarJSONPair:

VarJSONPair

         ::= ( QuotedString | VarJSONUnquoted ) '=' ( QuotedString | VarJSONUnquoted )

referenced by:

• VarJSON

FilesPair:

FilesPair

         ::= FilesPair FilesPair*

           | ( QuotedString | FilesUnquoted ) '@' ( QuotedString | FilesUnquoted )

referenced by:

• FilesPair
• VarJSON

VarJSONUnquoted:

VarJSONUnquoted

         ::= [@0-9A-Za-z \t!$%&()*+./;<>?^_`|~#x2D]+

          /* ws: explicit */

referenced by:

• VarJSONPair

FilesUnquoted:

FilesUnquoted

         ::= [0-9A-Za-z \t!$%&()*+./;<>?^_`|~#x2D]+

          /* ws: explicit */

referenced by:

• FilesPair

QuotedString:

QuotedString

         ::= ['"] Char* ['"]

referenced by:

• FilesPair
• HeaderPair
• Pair
• PrimitiveType
• VarJSONPair

Unquoted:

Unquoted ::= [0-9A-Za-z \t!$%&()*+./;<=>?^_`|~#x2D]+

          /* ws: explicit */

referenced by:

• HeaderPair

JSONType:

JSONType ::= ComplexType

           | PrimitiveType

referenced by:

• DataInput
• List
• Pair

ComplexType:

ComplexType

         ::= List

           | Map

referenced by:

• JSONType

PrimitiveType:

PrimitiveType

         ::= Null

           | Boolean

           | QuotedString

           | Number

referenced by:

• JSONType

Map:

Map      ::= '{' Pair? ( Pair ',' )* '}'

referenced by:

• ComplexType

List:

List     ::= '[' JSONType? ( JSONType ',' )* ']'

referenced by:

• ComplexType

Pair:

Pair     ::= QuotedString ':' JSONType

referenced by:

• Map

Boolean:

Boolean  ::= 'true'

           | 'false'

referenced by:

• PrimitiveType

Null:

Null     ::= 'null'

referenced by:

• PrimitiveType

Number:

Number   ::= Integer Fraction? Exponent?

referenced by:

• PrimitiveType

Exponent:

Exponent ::= [eE] Sign? Digits

referenced by:

• Number

Fraction:

Fraction ::= '.' Digits

referenced by:

• Number

Integer:

Integer  ::= IntegerRule4

           | IntegerRule3

           | IntegerRule2

           | IntegerRule1

referenced by:

• Number

IntegerRule1:

IntegerRule1

         ::= Digit

referenced by:

• Integer
• IntegerRule3

IntegerRule2:

IntegerRule2

         ::= OneNine Digits

referenced by:

• Integer
• IntegerRule4

IntegerRule3:

IntegerRule3

         ::= Sign IntegerRule1

referenced by:

• Integer

IntegerRule4:

IntegerRule4

         ::= Sign IntegerRule2

referenced by:

• Integer

Digits:

Digits   ::= Digit Digit*

referenced by:

• Exponent
• Fraction
• IntegerRule2

Digit:

Digit    ::= '0'? OneNine

referenced by:

• Digits
• IntegerRule1

OneNine:

OneNine  ::= [1-9]

referenced by:

• Digit
• IntegerRule2

Sign:

Sign     ::= [-+]

referenced by:

• Exponent
• IntegerRule3
• IntegerRule4

---

... generated by RR - Railroad Diagram Generator