1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400
|
#ifndef SASS_PARSER_H
#define SASS_PARSER_H
#include <string>
#include <vector>
#include "ast.hpp"
#include "position.hpp"
#include "context.hpp"
#include "position.hpp"
#include "prelexer.hpp"
#ifndef MAX_NESTING
// Note that this limit is not an exact science
// it depends on various factors, which some are
// not under our control (compile time or even OS
// dependent settings on the available stack size)
// It should fix most common segfault cases though.
#define MAX_NESTING 512
#endif
struct Lookahead {
const char* found;
const char* error;
const char* position;
bool parsable;
bool has_interpolants;
bool is_custom_property;
};
namespace Sass {
class Parser : public ParserState {
public:
enum Scope { Root, Mixin, Function, Media, Control, Properties, Rules, AtRoot };
Context& ctx;
std::vector<Block_Obj> block_stack;
std::vector<Scope> stack;
Media_Block_Ptr last_media_block;
const char* source;
const char* position;
const char* end;
Position before_token;
Position after_token;
ParserState pstate;
Backtraces traces;
size_t indentation;
size_t nestings;
Token lexed;
Parser(Context& ctx, const ParserState& pstate, Backtraces traces)
: ParserState(pstate), ctx(ctx), block_stack(), stack(0), last_media_block(),
source(0), position(0), end(0), before_token(pstate), after_token(pstate),
pstate(pstate), traces(traces), indentation(0), nestings(0)
{
stack.push_back(Scope::Root);
}
// static Parser from_string(const std::string& src, Context& ctx, ParserState pstate = ParserState("[STRING]"));
static Parser from_c_str(const char* src, Context& ctx, Backtraces, ParserState pstate = ParserState("[CSTRING]"), const char* source = 0);
static Parser from_c_str(const char* beg, const char* end, Context& ctx, Backtraces, ParserState pstate = ParserState("[CSTRING]"), const char* source = 0);
static Parser from_token(Token t, Context& ctx, Backtraces, ParserState pstate = ParserState("[TOKEN]"), const char* source = 0);
// special static parsers to convert strings into certain selectors
static Selector_List_Obj parse_selector(const char* src, Context& ctx, Backtraces, ParserState pstate = ParserState("[SELECTOR]"), const char* source = 0);
#ifdef __clang__
// lex and peak uses the template parameter to branch on the action, which
// triggers clangs tautological comparison on the single-comparison
// branches. This is not a bug, just a merging of behaviour into
// one function
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wtautological-compare"
#endif
// skip current token and next whitespace
// moves ParserState right before next token
void advanceToNextToken();
bool peek_newline(const char* start = 0);
// skip over spaces, tabs and line comments
template <Prelexer::prelexer mx>
const char* sneak(const char* start = 0)
{
using namespace Prelexer;
// maybe use optional start position from arguments?
const char* it_position = start ? start : position;
// skip white-space?
if (mx == spaces ||
mx == no_spaces ||
mx == css_comments ||
mx == css_whitespace ||
mx == optional_spaces ||
mx == optional_css_comments ||
mx == optional_css_whitespace
) {
return it_position;
}
// skip over spaces, tabs and sass line comments
const char* pos = optional_css_whitespace(it_position);
// always return a valid position
return pos ? pos : it_position;
}
// match will not skip over space, tabs and line comment
// return the position where the lexer match will occur
template <Prelexer::prelexer mx>
const char* match(const char* start = 0)
{
// match the given prelexer
return mx(position);
}
// peek will only skip over space, tabs and line comment
// return the position where the lexer match will occur
template <Prelexer::prelexer mx>
const char* peek(const char* start = 0)
{
// sneak up to the actual token we want to lex
// this should skip over white-space if desired
const char* it_before_token = sneak < mx >(start);
// match the given prelexer
const char* match = mx(it_before_token);
// check if match is in valid range
return match <= end ? match : 0;
}
// white-space handling is built into the lexer
// this way you do not need to parse it yourself
// some matchers don't accept certain white-space
// we do not support start arg, since we manipulate
// sourcemap offset and we modify the position pointer!
// lex will only skip over space, tabs and line comment
template <Prelexer::prelexer mx>
const char* lex(bool lazy = true, bool force = false)
{
if (*position == 0) return 0;
// position considered before lexed token
// we can skip whitespace or comments for
// lazy developers (but we need control)
const char* it_before_token = position;
// sneak up to the actual token we want to lex
// this should skip over white-space if desired
if (lazy) it_before_token = sneak < mx >(position);
// now call matcher to get position after token
const char* it_after_token = mx(it_before_token);
// check if match is in valid range
if (it_after_token > end) return 0;
// maybe we want to update the parser state anyway?
if (force == false) {
// assertion that we got a valid match
if (it_after_token == 0) return 0;
// assertion that we actually lexed something
if (it_after_token == it_before_token) return 0;
}
// create new lexed token object (holds the parse results)
lexed = Token(position, it_before_token, it_after_token);
// advance position (add whitespace before current token)
before_token = after_token.add(position, it_before_token);
// update after_token position for current token
after_token.add(it_before_token, it_after_token);
// ToDo: could probably do this incremetal on original object (API wants offset?)
pstate = ParserState(path, source, lexed, before_token, after_token - before_token);
// advance internal char iterator
return position = it_after_token;
}
// lex_css skips over space, tabs, line and block comment
// all block comments will be consumed and thrown away
// source-map position will point to token after the comment
template <Prelexer::prelexer mx>
const char* lex_css()
{
// copy old token
Token prev = lexed;
// store previous pointer
const char* oldpos = position;
Position bt = before_token;
Position at = after_token;
ParserState op = pstate;
// throw away comments
// update srcmap position
lex < Prelexer::css_comments >();
// now lex a new token
const char* pos = lex< mx >();
// maybe restore prev state
if (pos == 0) {
pstate = op;
lexed = prev;
position = oldpos;
after_token = at;
before_token = bt;
}
// return match
return pos;
}
// all block comments will be skipped and thrown away
template <Prelexer::prelexer mx>
const char* peek_css(const char* start = 0)
{
// now peek a token (skip comments first)
return peek< mx >(peek < Prelexer::css_comments >(start));
}
#ifdef __clang__
#pragma clang diagnostic pop
#endif
void error(std::string msg);
void error(std::string msg, Position pos);
// generate message with given and expected sample
// text before and in the middle are configurable
void css_error(const std::string& msg,
const std::string& prefix = " after ",
const std::string& middle = ", was: ",
const bool trim = true);
void read_bom();
Block_Obj parse();
Import_Obj parse_import();
Definition_Obj parse_definition(Definition::Type which_type);
Parameters_Obj parse_parameters();
Parameter_Obj parse_parameter();
Mixin_Call_Obj parse_include_directive();
Arguments_Obj parse_arguments();
Argument_Obj parse_argument();
Assignment_Obj parse_assignment();
Ruleset_Obj parse_ruleset(Lookahead lookahead);
Selector_List_Obj parse_selector_list(bool chroot);
Complex_Selector_Obj parse_complex_selector(bool chroot);
Selector_Schema_Obj parse_selector_schema(const char* end_of_selector, bool chroot);
Compound_Selector_Obj parse_compound_selector();
Simple_Selector_Obj parse_simple_selector();
Wrapped_Selector_Obj parse_negated_selector();
Simple_Selector_Obj parse_pseudo_selector();
Attribute_Selector_Obj parse_attribute_selector();
Block_Obj parse_block(bool is_root = false);
Block_Obj parse_css_block(bool is_root = false);
bool parse_block_nodes(bool is_root = false);
bool parse_block_node(bool is_root = false);
bool parse_number_prefix();
Declaration_Obj parse_declaration();
Expression_Obj parse_map();
Expression_Obj parse_bracket_list();
Expression_Obj parse_list(bool delayed = false);
Expression_Obj parse_comma_list(bool delayed = false);
Expression_Obj parse_space_list();
Expression_Obj parse_disjunction();
Expression_Obj parse_conjunction();
Expression_Obj parse_relation();
Expression_Obj parse_expression();
Expression_Obj parse_operators();
Expression_Obj parse_factor();
Expression_Obj parse_value();
Function_Call_Obj parse_calc_function();
Function_Call_Obj parse_function_call();
Function_Call_Schema_Obj parse_function_call_schema();
String_Obj parse_url_function_string();
String_Obj parse_url_function_argument();
String_Obj parse_interpolated_chunk(Token, bool constant = false, bool css = true);
String_Obj parse_string();
Value_Obj parse_static_value();
String_Schema_Obj parse_css_variable_value(bool top_level = true);
String_Schema_Obj parse_css_variable_value_token(bool top_level = true);
String_Obj parse_ie_property();
String_Obj parse_ie_keyword_arg();
String_Schema_Obj parse_value_schema(const char* stop);
String_Obj parse_identifier_schema();
If_Obj parse_if_directive(bool else_if = false);
For_Obj parse_for_directive();
Each_Obj parse_each_directive();
While_Obj parse_while_directive();
Return_Obj parse_return_directive();
Content_Obj parse_content_directive();
void parse_charset_directive();
Media_Block_Obj parse_media_block();
List_Obj parse_media_queries();
Media_Query_Obj parse_media_query();
Media_Query_Expression_Obj parse_media_expression();
Supports_Block_Obj parse_supports_directive();
Supports_Condition_Obj parse_supports_condition();
Supports_Condition_Obj parse_supports_negation();
Supports_Condition_Obj parse_supports_operator();
Supports_Condition_Obj parse_supports_interpolation();
Supports_Condition_Obj parse_supports_declaration();
Supports_Condition_Obj parse_supports_condition_in_parens();
At_Root_Block_Obj parse_at_root_block();
At_Root_Query_Obj parse_at_root_query();
String_Schema_Obj parse_almost_any_value();
Directive_Obj parse_special_directive();
Directive_Obj parse_prefixed_directive();
Directive_Obj parse_directive();
Warning_Obj parse_warning();
Error_Obj parse_error();
Debug_Obj parse_debug();
Value_Ptr color_or_string(const std::string& lexed) const;
// be more like ruby sass
Expression_Obj lex_almost_any_value_token();
Expression_Obj lex_almost_any_value_chars();
Expression_Obj lex_interp_string();
Expression_Obj lex_interp_uri();
Expression_Obj lex_interpolation();
// these will throw errors
Token lex_variable();
Token lex_identifier();
void parse_block_comments();
Lookahead lookahead_for_value(const char* start = 0);
Lookahead lookahead_for_selector(const char* start = 0);
Lookahead lookahead_for_include(const char* start = 0);
Expression_Obj fold_operands(Expression_Obj base, std::vector<Expression_Obj>& operands, Operand op);
Expression_Obj fold_operands(Expression_Obj base, std::vector<Expression_Obj>& operands, std::vector<Operand>& ops, size_t i = 0);
void throw_syntax_error(std::string message, size_t ln = 0);
void throw_read_error(std::string message, size_t ln = 0);
template <Prelexer::prelexer open, Prelexer::prelexer close>
Expression_Obj lex_interp()
{
if (lex < open >(false)) {
String_Schema_Obj schema = SASS_MEMORY_NEW(String_Schema, pstate);
// std::cerr << "LEX [[" << std::string(lexed) << "]]\n";
schema->append(SASS_MEMORY_NEW(String_Constant, pstate, lexed));
if (position[0] == '#' && position[1] == '{') {
Expression_Obj itpl = lex_interpolation();
if (!itpl.isNull()) schema->append(itpl);
while (lex < close >(false)) {
// std::cerr << "LEX [[" << std::string(lexed) << "]]\n";
schema->append(SASS_MEMORY_NEW(String_Constant, pstate, lexed));
if (position[0] == '#' && position[1] == '{') {
Expression_Obj itpl = lex_interpolation();
if (!itpl.isNull()) schema->append(itpl);
} else {
return schema;
}
}
} else {
return SASS_MEMORY_NEW(String_Constant, pstate, lexed);
}
}
return 0;
}
public:
static Number_Ptr lexed_number(const ParserState& pstate, const std::string& parsed);
static Number_Ptr lexed_dimension(const ParserState& pstate, const std::string& parsed);
static Number_Ptr lexed_percentage(const ParserState& pstate, const std::string& parsed);
static Value_Ptr lexed_hex_color(const ParserState& pstate, const std::string& parsed);
private:
Number_Ptr lexed_number(const std::string& parsed) { return lexed_number(pstate, parsed); };
Number_Ptr lexed_dimension(const std::string& parsed) { return lexed_dimension(pstate, parsed); };
Number_Ptr lexed_percentage(const std::string& parsed) { return lexed_percentage(pstate, parsed); };
Value_Ptr lexed_hex_color(const std::string& parsed) { return lexed_hex_color(pstate, parsed); };
static const char* re_attr_sensitive_close(const char* src);
static const char* re_attr_insensitive_close(const char* src);
};
size_t check_bom_chars(const char* src, const char *end, const unsigned char* bom, size_t len);
}
#endif
|