324 lines
8.7 KiB
Ragel
324 lines
8.7 KiB
Ragel
%%machine base_lexer;
|
|
|
|
%%{
|
|
##
|
|
# Base grammar for the XML lexer.
|
|
#
|
|
# This grammar is shared between the C and Java extensions. As a result of
|
|
# this you should **not** include language specific code in Ragel
|
|
# actions/callbacks.
|
|
#
|
|
# To call back in to Ruby you can use one of the following two functions:
|
|
#
|
|
# * callback
|
|
# * callback_simple
|
|
#
|
|
# The first function takes 5 arguments:
|
|
#
|
|
# * The name of the Ruby method to call.
|
|
# * The input data.
|
|
# * The encoding of the input data.
|
|
# * The start of the current buffer.
|
|
# * The end of the current buffer.
|
|
#
|
|
# The function callback_simple only takes one argument: the name of the
|
|
# method to call. This function should be used for callbacks that don't
|
|
# require any values.
|
|
#
|
|
# When you call a method in Ruby make sure that said method is defined as
|
|
# an instance method in the `Oga::XML::Lexer` class.
|
|
#
|
|
# ## Machine Transitions
|
|
#
|
|
# To transition from one machine to another always use `fnext` instead of
|
|
# `fcall` and `fret`. This removes the need for the code to keep track of a
|
|
# stack.
|
|
#
|
|
|
|
newline = '\n' | '\r\n';
|
|
whitespace = [ \t];
|
|
ident_char = [a-zA-Z0-9\-_];
|
|
identifier = ident_char+;
|
|
|
|
# Comments
|
|
#
|
|
# http://www.w3.org/TR/html-markup/syntax.html#comments
|
|
#
|
|
# Unlike the W3 specification these rules *do* allow character sequences
|
|
# such as `--` and `->`. Putting extra checks in for these sequences would
|
|
# actually make the rules/actions more complex.
|
|
#
|
|
|
|
comment_start = '<!--';
|
|
comment_end = '-->';
|
|
comment = comment_start (any* -- comment_end) comment_end;
|
|
|
|
action start_comment {
|
|
callback("on_comment", data, encoding, ts + 4, te - 3);
|
|
}
|
|
|
|
# CDATA
|
|
#
|
|
# http://www.w3.org/TR/html-markup/syntax.html#cdata-sections
|
|
#
|
|
# In HTML CDATA tags have no meaning/are not supported. Oga does
|
|
# support them but treats their contents as plain text.
|
|
#
|
|
|
|
cdata_start = '<![CDATA[';
|
|
cdata_end = ']]>';
|
|
cdata = cdata_start (any* -- cdata_end) cdata_end;
|
|
|
|
action start_cdata {
|
|
callback("on_cdata", data, encoding, ts + 9, te - 3);
|
|
}
|
|
|
|
# Processing Instructions
|
|
#
|
|
# http://www.w3.org/TR/xpath/#section-Processing-Instruction-Nodes
|
|
# http://en.wikipedia.org/wiki/Processing_Instruction
|
|
#
|
|
# These are tags meant to be used by parsers/libraries for custom behaviour.
|
|
# One example are the tags used by PHP: <?php and ?>. Note that the XML
|
|
# declaration tags (<?xml ?>) are not considered to be a processing
|
|
# instruction.
|
|
#
|
|
|
|
proc_ins_start = '<?' identifier;
|
|
proc_ins_end = '?>';
|
|
|
|
action start_proc_ins {
|
|
callback_simple("on_proc_ins_start");
|
|
callback("on_proc_ins_name", data, encoding, ts + 2, te);
|
|
|
|
mark = te;
|
|
|
|
fnext proc_ins_body;
|
|
}
|
|
|
|
proc_ins_body := |*
|
|
proc_ins_end => {
|
|
callback("on_text", data, encoding, mark, ts);
|
|
callback_simple("on_proc_ins_end");
|
|
|
|
fnext main;
|
|
};
|
|
|
|
any;
|
|
*|;
|
|
|
|
# Strings
|
|
#
|
|
# Strings in HTML can either be single or double quoted. If a string
|
|
# starts with one of these quotes it must be closed with the same type
|
|
# of quote.
|
|
#
|
|
dquote = '"';
|
|
squote = "'";
|
|
|
|
string_dquote = (dquote ^dquote+ dquote);
|
|
string_squote = (squote ^squote+ squote);
|
|
|
|
string = string_dquote | string_squote;
|
|
|
|
action emit_string {
|
|
callback("on_string", data, encoding, ts + 1, te - 1);
|
|
}
|
|
|
|
# DOCTYPES
|
|
#
|
|
# http://www.w3.org/TR/html-markup/syntax.html#doctype-syntax
|
|
#
|
|
# These rules support the 3 flavours of doctypes:
|
|
#
|
|
# 1. Normal doctypes, as introduced in the HTML5 specification.
|
|
# 2. Deprecated doctypes, the more verbose ones used prior to HTML5.
|
|
# 3. Legacy doctypes
|
|
#
|
|
doctype_start = '<!DOCTYPE'i whitespace+;
|
|
|
|
action start_doctype {
|
|
callback_simple("on_doctype_start");
|
|
fnext doctype;
|
|
}
|
|
|
|
# Machine for processing doctypes. Doctype values such as the public
|
|
# and system IDs are treated as T_STRING tokens.
|
|
doctype := |*
|
|
'PUBLIC' | 'SYSTEM' => {
|
|
callback("on_doctype_type", data, encoding, ts, te);
|
|
};
|
|
|
|
# Consumes everything between the [ and ]. Due to the use of :> the ]
|
|
# is not consumed by any+.
|
|
'[' any+ :> ']' => {
|
|
callback("on_doctype_inline", data, encoding, ts + 1, te - 1);
|
|
};
|
|
|
|
# Lex the public/system IDs as regular strings.
|
|
string => emit_string;
|
|
|
|
# Whitespace inside doctypes is ignored since there's no point in
|
|
# including it.
|
|
whitespace;
|
|
|
|
identifier => {
|
|
callback("on_doctype_name", data, encoding, ts, te);
|
|
};
|
|
|
|
'>' => {
|
|
callback_simple("on_doctype_end");
|
|
fnext main;
|
|
};
|
|
*|;
|
|
|
|
# XML declaration tags
|
|
#
|
|
# http://www.w3.org/TR/REC-xml/#sec-prolog-dtd
|
|
#
|
|
xml_decl_start = '<?xml';
|
|
xml_decl_end = '?>';
|
|
|
|
action start_xml_decl {
|
|
callback_simple("on_xml_decl_start");
|
|
fnext xml_decl;
|
|
}
|
|
|
|
# Machine that processes the contents of an XML declaration tag.
|
|
xml_decl := |*
|
|
xml_decl_end => {
|
|
callback_simple("on_xml_decl_end");
|
|
fnext main;
|
|
};
|
|
|
|
# Attributes and their values (e.g. version="1.0").
|
|
identifier => {
|
|
callback("on_attribute", data, encoding, ts, te);
|
|
};
|
|
|
|
string => emit_string;
|
|
|
|
any;
|
|
*|;
|
|
|
|
# Elements
|
|
#
|
|
# http://www.w3.org/TR/html-markup/syntax.html#syntax-elements
|
|
#
|
|
# Lexing of elements is broken up into different machines that handle the
|
|
# name/namespace, contents of the open tag and the body of an element. The
|
|
# body of an element is lexed using the `main` machine.
|
|
#
|
|
|
|
element_start = '<' ident_char;
|
|
element_end = '</' identifier (':' identifier)* '>';
|
|
|
|
action start_element {
|
|
callback_simple("on_element_start");
|
|
fhold;
|
|
fnext element_name;
|
|
}
|
|
|
|
action close_element {
|
|
callback_simple("on_element_end");
|
|
}
|
|
|
|
# Machine used for lexing the name/namespace of an element.
|
|
element_name := |*
|
|
identifier ':' => {
|
|
callback("on_element_ns", data, encoding, ts, te - 1);
|
|
};
|
|
|
|
identifier => {
|
|
callback("on_element_name", data, encoding, ts, te);
|
|
fnext element_head;
|
|
};
|
|
*|;
|
|
|
|
# Machine used for processing the contents of an element's starting tag.
|
|
# This includes the name, namespace and attributes.
|
|
element_head := |*
|
|
whitespace | '=';
|
|
|
|
newline => {
|
|
callback_simple("advance_line");
|
|
};
|
|
|
|
# Attribute names and namespaces.
|
|
identifier ':' => {
|
|
callback("on_attribute_ns", data, encoding, ts, te - 1);
|
|
};
|
|
|
|
identifier => {
|
|
callback("on_attribute", data, encoding, ts, te);
|
|
};
|
|
|
|
# Attribute values.
|
|
string => emit_string;
|
|
|
|
# We're done with the open tag of the element.
|
|
'>' => {
|
|
callback_simple("on_element_open_end");
|
|
fnext main;
|
|
};
|
|
|
|
# Self closing tags.
|
|
'/>' => {
|
|
callback_simple("on_element_end");
|
|
fnext main;
|
|
};
|
|
*|;
|
|
|
|
# Text
|
|
#
|
|
# http://www.w3.org/TR/xml/#syntax
|
|
# http://www.w3.org/TR/html-markup/syntax.html#text-syntax
|
|
#
|
|
# Text content is everything leading up to certain special tags such as "</"
|
|
# and "<?".
|
|
|
|
action start_text {
|
|
fhold;
|
|
fnext text;
|
|
}
|
|
|
|
# These characters terminate a T_TEXT sequence and instruct Ragel to jump
|
|
# back to the main machine.
|
|
#
|
|
# Note that this only works if each sequence is exactly 2 characters
|
|
# long. Because of this "<!" is used instead of "<!--".
|
|
|
|
terminate_text = '</' | '<!' | '<?' | element_start;
|
|
allowed_text = any* -- terminate_text;
|
|
|
|
text := |*
|
|
# Text followed by a special tag, such as "foo<!--"
|
|
allowed_text @{ mark = p; } terminate_text => {
|
|
callback("on_text", data, encoding, ts, mark);
|
|
|
|
p = mark - 1;
|
|
mark = 0;
|
|
|
|
fnext main;
|
|
};
|
|
|
|
# Just regular text.
|
|
allowed_text => {
|
|
callback("on_text", data, encoding, ts, te);
|
|
fnext main;
|
|
};
|
|
*|;
|
|
|
|
# The main machine aka the entry point of Ragel.
|
|
main := |*
|
|
doctype_start => start_doctype;
|
|
xml_decl_start => start_xml_decl;
|
|
comment => start_comment;
|
|
cdata => start_cdata;
|
|
proc_ins_start => start_proc_ins;
|
|
element_start => start_element;
|
|
element_end => close_element;
|
|
any => start_text;
|
|
*|;
|
|
}%%
|