--- /dev/null
+/**
+
+ MultiMarkdown 6 -- Lightweight markup processor to produce HTML, LaTeX, and more.
+
+ @file parser.y
+
+ @brief Use a cleaned copy of the parser grammar to allow "fuzz" testing with
+ combinations of every line type to find combinations that can't be parsed.
+ NOTE: This does not mean that each of these combinations is properly parsed,
+ simply that it does not cause the parser to fail. Use the test suite to ensure
+ that input text is properly being parsed.
+
+
+ @author Fletcher T. Penney
+ @bug
+
+**/
+
+/*
+
+ Copyright © 2016 - 2017 Fletcher T. Penney.
+
+
+ The `MultiMarkdown 6` project is released under the MIT License..
+
+ GLibFacade.c and GLibFacade.h are from the MultiMarkdown v4 project:
+
+ https://github.com/fletcher/MultiMarkdown-4/
+
+ MMD 4 is released under both the MIT License and GPL.
+
+
+ CuTest is released under the zlib/libpng license. See CuTest.c for the text
+ of the license.
+
+
+ ## The MIT License ##
+
+ Permission is hereby granted, free of charge, to any person obtaining a copy
+ of this software and associated documentation files (the "Software"), to deal
+ in the Software without restriction, including without limitation the rights
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ copies of the Software, and to permit persons to whom the Software is
+ furnished to do so, subject to the following conditions:
+
+ The above copyright notice and this permission notice shall be included in
+ all copies or substantial portions of the Software.
+
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ THE SOFTWARE.
+
+*/
+
+
+
+//
+// Language grammar here
+//
+
+%token_type { int }
+
+
+// Manually copy fallbacks from `parser.y` here
+
+%fallback LINE_PLAIN LINE_TABLE_SEPARATOR LINE_DEFINITION.
+
+%fallback LINE_CONTINUATION LINE_PLAIN LINE_INDENTED_TAB LINE_INDENTED_SPACE LINE_TABLE.
+
+%fallback LINE_HTML LINE_ATX_1 LINE_ATX_2 LINE_ATX_3 LINE_ATX_4 LINE_ATX_5 LINE_ATX_6 LINE_HR LINE_BLOCKQUOTE LINE_LIST_BULLETED LINE_LIST_ENUMERATED LINE_DEF_CITATION LINE_DEF_FOOTNOTE LINE_DEF_LINK LINE_FENCE_BACKTICK LINE_FENCE_BACKTICK_START.
+
+
+// Copy clean grammar via `lemon -g parser.y` here
+
+doc ::= blocks.
+blocks ::= blocks block.
+blocks ::= block.
+block ::= para.
+block ::= indented_code.
+block ::= LINE_ATX_1.
+block ::= LINE_ATX_2.
+block ::= LINE_ATX_3.
+block ::= LINE_ATX_4.
+block ::= LINE_ATX_5.
+block ::= LINE_ATX_6.
+block ::= empty.
+block ::= list_bulleted.
+block ::= list_enumerated.
+block ::= blockquote.
+block ::= table.
+block ::= LINE_HR.
+block ::= def_citation.
+block ::= def_footnote.
+block ::= def_link.
+block ::= html_block.
+block ::= fenced_block.
+block ::= meta_block.
+block ::= LINE_TOC.
+block ::= definition_block.
+para ::= LINE_PLAIN para_lines.
+para_lines ::= para_lines para_line.
+indented_code ::= indented_code code_line.
+empty ::= empty LINE_EMPTY.
+blockquote ::= LINE_BLOCKQUOTE quote_lines.
+quote_lines ::= quote_lines quote_line.
+list_bulleted ::= list_bulleted item_bulleted.
+item_bulleted ::= LINE_LIST_BULLETED para_lines cont_blocks.
+item_bulleted ::= LINE_LIST_BULLETED para_lines.
+item_bulleted ::= LINE_LIST_BULLETED cont_blocks.
+item_bulleted ::= LINE_LIST_BULLETED.
+list_enumerated ::= list_enumerated item_enumerated.
+item_enumerated ::= LINE_LIST_ENUMERATED para_lines cont_blocks.
+item_enumerated ::= LINE_LIST_ENUMERATED para_lines.
+item_enumerated ::= LINE_LIST_ENUMERATED cont_blocks.
+item_enumerated ::= LINE_LIST_ENUMERATED.
+cont_blocks ::= cont_blocks cont_block.
+cont_block ::= empty indented_line para_lines.
+cont_block ::= empty indented_line.
+table_header ::= table_rows LINE_TABLE_SEPARATOR.
+table_section ::= table_rows LINE_EMPTY.
+table_section ::= table_rows.
+table ::= table_header table_body.
+table_body ::= table_body table_section.
+table_rows ::= table_rows LINE_TABLE.
+def_citation ::= LINE_DEF_CITATION para_lines cont_blocks.
+def_citation ::= LINE_DEF_CITATION para_lines.
+def_citation ::= LINE_DEF_CITATION cont_blocks.
+def_footnote ::= LINE_DEF_FOOTNOTE para_lines cont_blocks.
+def_footnote ::= LINE_DEF_FOOTNOTE para_lines.
+def_footnote ::= LINE_DEF_FOOTNOTE cont_blocks.
+def_link ::= LINE_DEF_LINK para_lines.
+html_block ::= LINE_HTML html_block_lines.
+html_block_lines ::= html_block_lines html_block_line.
+fenced_block ::= LINE_FENCE_BACKTICK fenced_lines LINE_FENCE_BACKTICK.
+fenced_block ::= LINE_FENCE_BACKTICK fenced_lines.
+fenced_block ::= LINE_FENCE_BACKTICK_START fenced_lines LINE_FENCE_BACKTICK.
+fenced_block ::= LINE_FENCE_BACKTICK_START fenced_lines.
+fenced_lines ::= fenced_lines fenced_line.
+meta_block ::= LINE_META meta_lines.
+meta_lines ::= meta_lines meta_line.
+definition_block ::= definition_block empty definition.
+definition_block ::= definition_block empty.
+para ::= LINE_PLAIN.
+para_lines ::= para_line.
+para_line ::= LINE_CONTINUATION.
+indented_code ::= indented_line.
+code_line ::= indented_line.
+code_line ::= LINE_EMPTY.
+indented_line ::= LINE_INDENTED_TAB.
+indented_line ::= LINE_INDENTED_SPACE.
+empty ::= LINE_EMPTY.
+blockquote ::= LINE_BLOCKQUOTE.
+quote_lines ::= quote_line.
+quote_line ::= LINE_BLOCKQUOTE.
+quote_line ::= LINE_CONTINUATION.
+list_bulleted ::= item_bulleted.
+list_enumerated ::= item_enumerated.
+cont_blocks ::= cont_block.
+cont_block ::= empty.
+table_body ::= table_section.
+table_rows ::= LINE_TABLE.
+def_citation ::= LINE_DEF_CITATION.
+def_footnote ::= LINE_DEF_FOOTNOTE.
+def_link ::= LINE_DEF_LINK.
+html_block ::= LINE_HTML.
+html_block_lines ::= html_block_line.
+html_block_line ::= LINE_CONTINUATION.
+html_block_line ::= LINE_HTML.
+fenced_lines ::= fenced_line.
+fenced_line ::= LINE_CONTINUATION.
+fenced_line ::= LINE_EMPTY.
+fenced_line ::= .
+meta_block ::= LINE_META.
+meta_lines ::= meta_line.
+meta_line ::= LINE_META.
+meta_line ::= LINE_CONTINUATION.
+definition_block ::= definition.
+definition ::= para defs.
+defs ::= defs def.
+defs ::= def.
+def ::= LINE_DEFINITION def_lines.
+def ::= LINE_DEFINITION.
+def_lines ::= def_lines LINE_CONTINUATION.
+def_lines ::= LINE_CONTINUATION.
+para ::= table_rows.
+para ::= defs.
+para ::= table_header.
+
+
+
+//
+// Additional Configuration
+//
+
+%include {
+ #include <assert.h>
+ #include <stdio.h>
+ #include <stdlib.h>
+
+ // Basic parser function declarations
+ void * ParseAlloc();
+ void Parse();
+ void ParseFree();
+ void ParseTrace();
+
+ #define kMaxToken 26
+
+ int i,j,k,l,m;
+
+int main(int argc, char** argv) {
+
+ void* pParser = ParseAlloc (malloc); // Create a parser (for lemon)
+
+#ifndef NDEBUG
+ ParseTrace(stderr, "parser >>");
+#endif
+
+
+ fprintf(stderr, "Single line tests\n");
+
+ i = 0;
+ j = 0;
+ k = 0;
+ l = 0;
+ m = 0;
+
+ for (i = 1; i <= kMaxToken; ++i)
+ {
+
+ Parse(pParser, i, NULL);
+
+ Parse(pParser, 0, NULL);
+ }
+
+ fprintf(stderr, "\nDouble line tests\n");
+
+ i = 0;
+ j = 0;
+ k = 0;
+ l = 0;
+ m = 0;
+
+ for (i = 1; i <= kMaxToken; ++i)
+ {
+
+ for (j = 1; j <= kMaxToken; ++j) {
+
+ Parse(pParser, i, NULL);
+ Parse(pParser, j, NULL);
+
+ Parse(pParser, 0, NULL);
+ }
+ }
+
+ fprintf(stderr, "\nTriple line tests\n");
+
+ i = 0;
+ j = 0;
+ k = 0;
+ l = 0;
+ m = 0;
+
+ for (i = 1; i <= kMaxToken; ++i)
+ {
+
+ for (j = 1; j <= kMaxToken; ++j) {
+
+ for (k = 1; k <= kMaxToken; ++k) {
+
+ Parse(pParser, i, NULL);
+ Parse(pParser, j, NULL);
+ Parse(pParser, k, NULL);
+
+ Parse(pParser, 0, NULL);
+ }
+ }
+ }
+
+ fprintf(stderr, "\nQuad line tests\n");
+
+ i = 0;
+ j = 0;
+ k = 0;
+ l = 0;
+ m = 0;
+
+ for (i = 1; i <= kMaxToken; ++i)
+ {
+
+ for (j = 1; j <= kMaxToken; ++j) {
+
+ for (k = 1; k <= kMaxToken; ++k) {
+
+ for (l = 1; l <= kMaxToken; ++l) {
+
+ Parse(pParser, i, NULL);
+ Parse(pParser, j, NULL);
+ Parse(pParser, k, NULL);
+ Parse(pParser, l, NULL);
+
+ Parse(pParser, 0, NULL);
+ }
+ }
+ }
+ }
+
+ return(0);
+
+ fprintf(stderr, "\nFive line tests\n");
+
+ i = 0;
+ j = 0;
+ k = 0;
+ l = 0;
+ m = 0;
+
+ for (i = 1; i <= kMaxToken; ++i)
+ {
+
+ for (j = 1; j <= kMaxToken; ++j) {
+
+ for (k = 1; k <= kMaxToken; ++k) {
+
+ for (l = 1; l <= kMaxToken; ++l) {
+
+ for (m = 1; m <= kMaxToken; ++m) {
+
+ Parse(pParser, i, NULL);
+ Parse(pParser, j, NULL);
+ Parse(pParser, k, NULL);
+ Parse(pParser, l, NULL);
+ Parse(pParser, m, NULL);
+
+ Parse(pParser, 0, NULL);
+ }
+ }
+ }
+ }
+ }
+}
+
+}
+
+
+// Improved error messages for debugging:
+// http://stackoverflow.com/questions/11705737/expected-token-using-lemon-parser-generator
+
+%syntax_error {
+#ifndef NDEBUG
+ fprintf(stderr,"Parser syntax error.\n");
+ int n = sizeof(yyTokenName) / sizeof(yyTokenName[0]);
+ for (i = 0; i < n; ++i) {
+ int a = yy_find_shift_action(yypParser, (YYCODETYPE)i);
+ if (a < YYNSTATE + YYNRULE) {
+ fprintf(stderr,"expected token: %s\n", yyTokenName[i]);
+ }
+ }
+#endif
+}
+
+%parse_failure {
+ fprintf(stderr, "%d:%d:%d:%d:%d Parser failed to successfully parse.\n", i, j, k, l, m);
+}
+
projects / multimarkdown / commitdiff