/** mermaid
 *  https://mermaidjs.github.io/
 *  (c) 2014-2015 Knut Sveidqvist
 *  MIT license.
 *
 *  Based on js sequence diagrams jison grammr
 *  http://bramp.github.io/js-sequence-diagrams/
 *  (c) 2012-2013 Andrew Brampton (bramp.net)
 *  Simplified BSD license.
 */
%lex

%options case-insensitive

// Special states for recognizing aliases
%x ID
%x ALIAS
%x SCALE

// A special state for grabbing text up to the first comment/newline
%x LINE

%%

[\n]+                            return 'NL';
\s+                              /* skip all whitespace */
<ID,ALIAS,LINE>((?!\n)\s)+       /* skip same-line whitespace */
<INITIAL,ID,ALIAS,LINE>\#[^\n]*  /* skip comments */
\%%[^\n]*                        /* skip comments */

"scale"\s+            { this.pushState('SCALE'); console.log('Got scale', yytext);return 'scale'; }
<SCALE>\d+            return 'WIDTH';
<SCALE>\s+"width"     {this.popState();}

"state"\s+            { this.begin('LINE'); return 'state'; }
"note"\s+           { this.begin('LINE'); return 'note'; }
"stateDiagram"\s+           { console.log('Got state diagram', yytext,'#');return 'SD'; }
"hide empty description"    { console.log('HIDE_EMPTY', yytext,'#');return 'HIDE_EMPTY'; }
// "participant"     { this.begin('ID'); return 'participant'; }
// <ID>[^\->:\n,;]+?(?=((?!\n)\s)+"as"(?!\n)\s|[#\n;]|$)  { yytext = yytext.trim(); this.begin('ALIAS'); return 'ACTOR'; }
// <ALIAS>"as"       { this.popState(); this.popState(); this.begin('LINE'); return 'AS'; }
// <ALIAS>(?:)       { this.popState(); this.popState(); return 'NL'; }
// "<<fork>>"            { this.begin('LINE'); return 'else'; }
// "<<join>>"             { this.begin('LINE'); return 'par'; }
// "and"             { this.begin('LINE'); return 'and'; }
// <LINE>[^#\n;]*    { this.popState(); return 'restOfLine'; }
// "end"             return 'end';
"[*]"                   { console.log('EDGE_STATE=',yytext); return 'EDGE_STATE';}
[^:\n\s\-]+                { console.log('ID=',yytext); return 'ID';}
\s*":"[^\+\->:\n,;]+      { yytext = yytext.trim(); console.log('Descr = ', yytext); return 'DESCR'; }
"left of"         return 'left_of';
"right of"        return 'right_of';
// "over"            return 'over';
// "note"            return 'note';
// "activate"        { this.begin('ID'); return 'activate'; }
// "deactivate"      { this.begin('ID'); return 'deactivate'; }
// "title"           return 'title';
// "stateDiagram" return 'SD';
// ","               return ',';
// ";"               return 'NL';
// [^\+\->:\n,;]+      { yytext = yytext.trim(); return 'ACTOR'; }
"-->"             return '-->';
// "--"             return '--';
// ":"[^#\n;]+       return 'TXT';
<<EOF>>           return 'NL';
.                 return 'INVALID';

/lex

%left '^'

%start start

%% /* language grammar */

start
	: SPACE start
	| NL start
	| SD document { return $2; }
	;

document
	: /* empty */ { $$ = [] }
	| document line {$1.push($2);$$ = $1}
	;

line
	: SPACE statement { console.log('here');$$ = $2 }
	| statement {console.log('there'); $$ = $1 }
	| NL { $$=[];}
	;

statement
	: idStatement DESCR
	| idStatement '-->' idStatement
    | HIDE_EMPTY
    | scale WIDTH
    ;

idStatement
    : ID
    | EDGE_STATE
    ;
// statement
// 	: 'participant' actor 'AS' restOfLine 'NL' {$2.description=$4; $$=$2;}
// 	| 'participant' actor 'NL' {$$=$2;}
// 	| signal 'NL'
// 	| 'activate' actor 'NL' {$$={type: 'activeStart', signalType: yy.LINETYPE.ACTIVE_START, actor: $2};}
// 	| 'deactivate' actor 'NL' {$$={type: 'activeEnd', signalType: yy.LINETYPE.ACTIVE_END, actor: $2};}
// 	| note_statement 'NL'
// 	| title text2 'NL' {$$=[{type:'setTitle', text:$2}]}
// 	| 'loop' restOfLine document end
// 	{
// 		$3.unshift({type: 'loopStart', loopText:$2, signalType: yy.LINETYPE.LOOP_START});
// 		$3.push({type: 'loopEnd', loopText:$2, signalType: yy.LINETYPE.LOOP_END});
// 		$$=$3;}
// 	| 'rect' restOfLine document end
// 	{
// 		$3.unshift({type: 'rectStart', color:$2, signalType: yy.LINETYPE.RECT_START });
// 		$3.push({type: 'rectEnd', color:$2, signalType: yy.LINETYPE.RECT_END });
// 		$$=$3;}
// 	| opt restOfLine document end
// 	{
// 		$3.unshift({type: 'optStart', optText:$2, signalType: yy.LINETYPE.OPT_START});
// 		$3.push({type: 'optEnd', optText:$2, signalType: yy.LINETYPE.OPT_END});
// 		$$=$3;}
// 	| alt restOfLine else_sections end
// 	{
// 		// Alt start
// 		$3.unshift({type: 'altStart', altText:$2, signalType: yy.LINETYPE.ALT_START});
// 		// Content in alt is already in $3
// 		// End
// 		$3.push({type: 'altEnd', signalType: yy.LINETYPE.ALT_END});
// 		$$=$3;}
// 	| par restOfLine par_sections end
// 	{
// 		// Parallel start
// 		$3.unshift({type: 'parStart', parText:$2, signalType: yy.LINETYPE.PAR_START});
// 		// Content in par is already in $3
// 		// End
// 		$3.push({type: 'parEnd', signalType: yy.LINETYPE.PAR_END});
// 		$$=$3;}
// 	;

// par_sections
// 	: document
// 	| document and restOfLine par_sections
// 	{ $$ = $1.concat([{type: 'and', parText:$3, signalType: yy.LINETYPE.PAR_AND}, $4]); }
// 	;

// else_sections
// 	: document
// 	| document else restOfLine else_sections
// 	{ $$ = $1.concat([{type: 'else', altText:$3, signalType: yy.LINETYPE.ALT_ELSE}, $4]); }
// 	;

// note_statement
// 	: 'note' placement actor text2
// 	{
// 		$$ = [$3, {type:'addNote', placement:$2, actor:$3.actor, text:$4}];}
// 	| 'note' 'over' actor_pair text2
// 	{
// 		// Coerce actor_pair into a [to, from, ...] array
// 		$2 = [].concat($3, $3).slice(0, 2);
// 		$2[0] = $2[0].actor;
// 		$2[1] = $2[1].actor;
// 		$$ = [$3, {type:'addNote', placement:yy.PLACEMENT.OVER, actor:$2.slice(0, 2), text:$4}];}
// 	;

// spaceList
//     : SPACE spaceList
//     | SPACE
//     ;
// actor_pair
// 	: actor ',' actor   { $$ = [$1, $3]; }
// 	| actor             { $$ = $1; }
// 	;

// placement
// 	: 'left_of'   { $$ = yy.PLACEMENT.LEFTOF; }
// 	| 'right_of'  { $$ = yy.PLACEMENT.RIGHTOF; }
// 	;

// signal
// 	: actor signaltype '+' actor text2
// 	{ $$ = [$1,$4,{type: 'addMessage', from:$1.actor, to:$4.actor, signalType:$2, msg:$5},
// 	              {type: 'activeStart', signalType: yy.LINETYPE.ACTIVE_START, actor: $4}
// 	             ]}
// 	| actor signaltype '-' actor text2
// 	{ $$ = [$1,$4,{type: 'addMessage', from:$1.actor, to:$4.actor, signalType:$2, msg:$5},
// 	             {type: 'activeEnd', signalType: yy.LINETYPE.ACTIVE_END, actor: $1}
// 	             ]}
// 	| actor signaltype actor text2
// 	{ $$ = [$1,$3,{type: 'addMessage', from:$1.actor, to:$3.actor, signalType:$2, msg:$4}]}
// 	;

// actor
// 	: ACTOR {$$={type: 'addActor', actor:$1}}
// 	;

// signaltype
// 	: SOLID_OPEN_ARROW  { $$ = yy.LINETYPE.SOLID_OPEN; }
// 	| DOTTED_OPEN_ARROW { $$ = yy.LINETYPE.DOTTED_OPEN; }
// 	| SOLID_ARROW       { $$ = yy.LINETYPE.SOLID; }
// 	| DOTTED_ARROW      { $$ = yy.LINETYPE.DOTTED; }
// 	| SOLID_CROSS       { $$ = yy.LINETYPE.SOLID_CROSS; }
// 	| DOTTED_CROSS      { $$ = yy.LINETYPE.DOTTED_CROSS; }
// 	;

// text2: TXT {$$ = $1.substring(1).trim().replace(/\\n/gm, "\n");} ;

%%