add title to jison

This commit is contained in:
Tali Herzka
2022-04-08 18:43:57 +00:00
committed by GitHub
parent adc0bd7f36
commit 9eb18e78c3

View File

@@ -20,6 +20,7 @@
%x STATE_ID %x STATE_ID
%x ALIAS %x ALIAS
%x SCALE %x SCALE
%x title
%x accDescription %x accDescription
%x NOTE %x NOTE
%x NOTE_ID %x NOTE_ID
@@ -59,6 +60,8 @@
<SCALE>\d+ return 'WIDTH'; <SCALE>\d+ return 'WIDTH';
<SCALE>\s+"width" {this.popState();} <SCALE>\s+"width" {this.popState();}
title { this.begin("title");return 'title'; }
<title>(?!\n|;|#)*[^\n]* { this.popState(); return "title_value"; }
accDescription { this.begin("accDescription");return 'accDescription'; } accDescription { this.begin("accDescription");return 'accDescription'; }
<accDescription>(?!\n|;|#)*[^\n]* { this.popState(); return "description_value"; } <accDescription>(?!\n|;|#)*[^\n]* { this.popState(); return "description_value"; }
@@ -197,6 +200,7 @@ statement
| note NOTE_TEXT AS ID | note NOTE_TEXT AS ID
| directive | directive
| direction | direction
| title title_value { $$=$2.trim();yy.setTitle($$); }
| accDescription description_value { $$=$2.trim();yy.setAccDescription($$); } | accDescription description_value { $$=$2.trim();yy.setAccDescription($$); }
; ;