mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-27 20:21:24 +00:00
d77ad923a6
+ --clip uri=file:// becomes clip file:// for example.
42 lines
689 B
Text
42 lines
689 B
Text
%{
|
|
#include "ges-structure-parser.h"
|
|
|
|
%}
|
|
|
|
%option noyywrap
|
|
%option nounput
|
|
%option reentrant
|
|
%option extra-type="GESStructureParser *"
|
|
%option never-interactive
|
|
%option noinput
|
|
|
|
CLIP [ ]+clip[ ]+
|
|
TRANSITION [ ]+transition[ ]+
|
|
EFFECT [ ]+effect[ ]+
|
|
|
|
SETTER [ ]+set-[^ ]+[ ]+
|
|
|
|
%%
|
|
|
|
\"(\\.|[^"])*\" {
|
|
ges_structure_parser_parse_string (yyextra, yytext, FALSE);
|
|
}
|
|
|
|
{CLIP}|{TRANSITION}|{EFFECT} {
|
|
ges_structure_parser_parse_symbol (yyextra, yytext);
|
|
}
|
|
|
|
{SETTER} {
|
|
ges_structure_parser_parse_setter (yyextra, yytext);
|
|
}
|
|
|
|
[ \t\n]+ {
|
|
ges_structure_parser_parse_whitespace (yyextra);
|
|
}
|
|
|
|
. {
|
|
/* add everything else */
|
|
ges_structure_parser_parse_default (yyextra, yytext);
|
|
}
|
|
|
|
%%
|