phpdoc-parser/doc/grammars/type.ebnf

Type
  ::= Atomic (Union | Intersection)?
    | Nullable

Union
  ::= ('|' Atomic)+

Intersection
  ::= ('&' Atomic)+

Nullable
  ::= '?' Identifier Generic?

Atomic
  ::= Identifier (Generic | Array)?
    | '(' Type ')' Array?

Generic
  ::= '<' Type (',' Type)* '>'

Array
  ::= ('[' ']')+

Identifier
  ::= ('\'? Word)+

Word
  ::= [a-zA-Z_#x7F-#x10FFFF][0-9a-zA-Z_#x7F-#x10FFFF]*
init 2017-07-10 15:16:28 +02:00			`Type`
			`::= Atomic (Union \| Intersection)?`
add support for nullable type 2017-10-27 21:33:37 +02:00			`\| Nullable`
init 2017-07-10 15:16:28 +02:00
			`Union`
			`::= ('\|' Atomic)+`

			`Intersection`
			`::= ('&' Atomic)+`

add support for nullable type 2017-10-27 21:33:37 +02:00			`Nullable`
			`::= '?' Identifier Generic?`

init 2017-07-10 15:16:28 +02:00			`Atomic`
			`::= Identifier (Generic \| Array)?`
			`\| '(' Type ')' Array?`

			`Generic`
			`::= '<' Type (',' Type)* '>'`

			`Array`
			`::= ('[' ']')+`

			`Identifier`
			`::= ('\'? Word)+`

			`Word`
			`::= [a-zA-Z_#x7F-#x10FFFF][0-9a-zA-Z_#x7F-#x10FFFF]*`