aboutsummaryrefslogtreecommitdiff
path: root/src/Markdown/markdown.bnf
blob: b0a3ede634080c2e858a553126e858c3db67823c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
{
  psiPackage = 'org.jetbrains.markdown'
  psiImplPackage = 'org.jetbrains.markdown.impl'

  parserClass="org.jetbrains.markdown.MarkdownParser"
  parserUtilClass="org.jetbrains.dokka.Markdown.GeneratedParserUtilBase"
  elementTypeHolderClass = 'org.jetbrains.markdown.MarkdownElementTypes'

  tokenTypeClass = 'org.jetbrains.dokka.Markdown.MarkdownTokenType'

  tokens=[
    LINE_WS='regexp:[\ \t\f]'
    EOL='"\r"|"\n"|"\r\n"'
    BOM = '\357\273\277'
    number='regexp:\d+(\.\d*)?'
    String='regexp:[^~\*_`&\[\]()<!#\\ \t\n\r]+'
    AnyChar='regexp:.'
  ]
}

Document ::= BOM? ( Block )*

OptionalSpace ::= Spacechar*
RequiredSpace ::= Spacechar+
NonindentSpace ::= ("   " | "  " | " ")?

BlankLine ::= OptionalSpace Newline

Whitespace ::= Spacechar | Newline
EndLine ::=   LineBreak | TerminalEndline | NormalEndline
NormalEndline ::=   OptionalSpace Newline !BlankLine
TerminalEndline ::= OptionalSpace Newline <<eof>>
LineBreak ::= "  " NormalEndline
Indent ::=            "\t" | "    "

// ---- BLOCKS ----
Block ::= BlankLine* (
        Para
        | Plain
        | OrderedList
        | BulletList
        )

Para ::= NonindentSpace Inlines (BlankLine+ | TerminalEndline)
Plain ::= Inlines

HorizontalRule ::= NonindentSpace
                 ( '*' OptionalSpace '*' OptionalSpace '*' (OptionalSpace '*')*
                 | '-' OptionalSpace '-' OptionalSpace '-' (OptionalSpace '-')*
                 | '_' OptionalSpace '_' OptionalSpace '_' (OptionalSpace '_')*)
                 OptionalSpace Newline BlankLine+

Bullet ::= !HorizontalRule NonindentSpace ('+' | '*' | '-') Spacechar+
Enumerator ::= NonindentSpace number '.' Spacechar+

BulletList ::= &Bullet List
OrderedList ::= &Enumerator List

List ::=  (ListItem BlankLine*)+
ListItem      ::= (Bullet | Enumerator) ListBlock ( ListContinuationBlock )*

ListBlock ::= !BlankLine Plain ( ListBlockLine )*
ListBlockLine ::= !BlankLine !(Indent? (Bullet | Enumerator)) !HorizontalRule Indent? Plain

ListContinuationBlock ::= BlankLine* (Indent ListBlock)+


// ---- INLINES ----
Inlines ::= (!EndLine Inline | EndLine &Inline )+ EndLine?
Inline  ::= String | EndLine | RequiredSpace | Strong | Emph | Link

Emph ::= EmphStar | EmphUnderscore
EmphStar ::= '*' !Whitespace (!'*' Inline)+ '*'
EmphUnderscore ::= '_' !Whitespace (!'_' Inline)+ '_'

Strong ::= StrongStar | StrongUnderscore
StrongStar ::= '**' !Whitespace (!'**' Inline)+ '**'
StrongUnderscore ::= '__' !Whitespace (!'__' Inline)+ '__'

Link ::=  ReferenceLink
ReferenceLink ::= ReferenceLinkSingle
ReferenceLinkSingle ::= '[' Target ']'
Target ::= String