khanat-code-old/code/ryzom/tools/pd_parser/parser_rules.h
2010-05-08 15:37:08 +02:00

416 lines
No EOL
11 KiB
C++

// Ryzom - MMORPG Framework <http://dev.ryzom.com/projects/ryzom/>
// Copyright (C) 2010 Winch Gate Property Limited
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as
// published by the Free Software Foundation, either version 3 of the
// License, or (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
#ifndef RY_PD_PARSE_RULES_H
#define RY_PD_PARSE_RULES_H
#include "parse_node.h"
#define DECLARE_PARSE(nodename) CParseNode *parse##nodename(CTokenizer &tokenizer);
DECLARE_PARSE(Main)
DECLARE_PARSE(File)
DECLARE_PARSE(Include)
DECLARE_PARSE(UsePch)
DECLARE_PARSE(Db)
DECLARE_PARSE(CppCode)
DECLARE_PARSE(Type)
DECLARE_PARSE(Class)
DECLARE_PARSE(Declaration)
DECLARE_PARSE(Enum)
DECLARE_PARSE(EnumSimpleValue)
DECLARE_PARSE(EnumRange)
DECLARE_PARSE(Dimension)
DECLARE_PARSE(LogMsg)
DECLARE_PARSE(LogContext)
/*
* Parser Help Macros
*/
/*
* Start node parsing without optional description
* PARSE_START_NO_DESCRIPTION(Main, CParseNode)
*
* ...
*
* PARSE_END
*/
#define PARSE_START_NO_DESCRIPTION(nodename, nodetype) \
CParseNode *parse##nodename(CTokenizer &tokenizer) \
{ \
tokenizer.push(); \
nodetype *main = new nodetype(); \
main->StartToken = tokenizer.currentToken(); \
CParseNode *parsed; \
parsed = NULL;
#define PARSE_END \
return main; \
}
/*
* Start node parsing with optional description
* PARSE_START(Main, CParseNode)
*
* ...
*
* PARSE_END
*/
#define PARSE_START(nodename, nodetype) \
CParseNode *parse##nodename(CTokenizer &tokenizer) \
{ \
tokenizer.push(); \
nodetype *main = new nodetype(); \
main->StartToken = tokenizer.currentToken(); \
CParseNode *parsed; \
parsed = NULL; \
PARSE_OPT_KEYWORD_IN(Description, Description)
/*
* Lock parsing to the current token. If parse fail later, this will cause
* parser to generate an error after this token.
* PARSE_KEYWORD(Colon)
* PARSE_MARK
*/
#define PARSE_MARK tokenizer.leaveMark();
/*
* Force the parser to fail and leave current node
*/
#define PARSE_FAIL \
{ \
delete main; \
tokenizer.pop(); \
return NULL; \
}
/*
* Parse a given token
* PARSE_KEYWORD(Extern)
*/
#define PARSE_KEYWORD(keyword) \
{ \
if (tokenizer.end() || tokenizer.current() != Token##keyword) \
PARSE_FAIL \
tokenizer.next(); \
}
/*
* Parse a token and store value into a string
* PARSE_KEYWORD_IN_TEMP(Identifier, Name)
*/
#define PARSE_KEYWORD_IN_TEMP(keyword, temp) \
{ \
if (tokenizer.end() || tokenizer.current() != Token##keyword) \
PARSE_FAIL \
temp = tokenizer.get(tokenizer.currentToken()); \
tokenizer.next(); \
}
/*
* Parse a token and store value into a node string attribute
* PARSE_KEYWORD_IN(Identifier, Name) where Name is an attribute of the current node
*/
#define PARSE_KEYWORD_IN(keyword, savein) PARSE_KEYWORD_IN_TEMP(keyword, main->savein)
/*
* Parse a token and push value into a vector of string of the current node
* PARSE_ADD_KEYWORD_IN(Identifier, Names) where Names is a vector<string> of the node
*/
#define PARSE_ADD_KEYWORD_IN(keyword, savein) \
{ \
if (tokenizer.end() || tokenizer.current() != Token##keyword) \
PARSE_FAIL \
main->savein.push_back(tokenizer.get(tokenizer.currentToken())); \
tokenizer.next(); \
}
/*
* Parse a couple of 2 tokens and push them as string into a vector of pair of string of the current node
* PARSE_ADD_2_KEYWORD_IN(Identifier, Identifier, Prototype) where Prototype is a vector<pair<string, string> > of the node
*/
#define PARSE_ADD_2_KEYWORD_IN(keyword1, keyword2, savein) \
{ \
if (tokenizer.end() || tokenizer.current() != Token##keyword1) \
PARSE_FAIL \
CTokenizer::CToken t1 = tokenizer.currentToken(); \
tokenizer.next(); \
if (tokenizer.end() || tokenizer.current() != Token##keyword2) \
PARSE_FAIL \
CTokenizer::CToken t2 = tokenizer.currentToken(); \
tokenizer.next(); \
main->savein.push_back(std::make_pair<std::string, std::string>(tokenizer.get(t1), tokenizer.get(t2))); \
}
/*
* Parse a string into a attribute of the node
* PARSE_STRING(FileName)
*/
#define PARSE_STRING(savein) PARSE_KEYWORD_IN(String, savein)
/*
* Parse a scoped identifier and store value into an attribute of the node
* PARSE_SCOPE_IDF(ScopedType) where a scoped identifier may be of the form 'Identifier' or 'Identifier::Identifier'
*/
#define PARSE_SCOPE_IDF(savein) \
{ \
if (tokenizer.end() || (tokenizer.current() != TokenIdentifier && tokenizer.current() != TokenScopedIdentifier)) \
PARSE_FAIL \
main->savein = tokenizer.get(tokenizer.currentToken()); \
tokenizer.next(); \
}
/*
* Parse a single Identifier into a node'a attribute
* PARSE_IDENTIFIER(Name)
*/
#define PARSE_IDENTIFIER(savein) PARSE_KEYWORD_IN(Identifier, savein)
/*
* Parse a single Identifier and push it to a vector<string>
* PARSE_ADD_IDENTIFIER(Names)
*/
#define PARSE_ADD_IDENTIFIER(savein) PARSE_ADD_KEYWORD_IN(Identifier, savein)
/*
* Parse a integer and store value (as int)
* PARSE_INT(DefaultIntValue)
*/
#define PARSE_INT(savein) \
{ \
if (tokenizer.end() || tokenizer.current() != TokenNumber) \
PARSE_FAIL \
main->savein = atoi(tokenizer.get(tokenizer.currentToken()).c_str()); \
tokenizer.next(); \
}
/*
* Parse a value, which may be a string or a number (float/int), and store it as a string
* PARSE_VALUE(DefaultValue)
*/
#define PARSE_VALUE(savein) \
{ \
if (tokenizer.end() || (tokenizer.current() != TokenIdentifier && tokenizer.current() != TokenNumber && tokenizer.current() != TokenString)) \
PARSE_FAIL \
main->savein = tokenizer.get(tokenizer.currentToken()); \
tokenizer.next(); \
}
/*
* Start a bloc of alternative bloc to examine. Parser will examine first alternative, and if parsing fails
* it will examine the second alternative. Usually alternative bloc is ended by a PARSE_FAIL so parsing may examine
* previous following rules...
* PARSE_ALTERNATIVE(Include)
* PARSE_ALTERNATIVE(Type)
* PARSE_ALTERNATIVE(Class)
* PARSE_FAIL // parsing fails if neither Include can be parsed nor Type nor Class
*/
#define PARSE_ALTERNATIVE(nodename) \
if (parsed = parse##nodename(tokenizer)) \
{ \
parsed->Parent = main; \
main->Nodes.push_back(parsed); \
} \
else
/*
* End a bloc of alternative without failing, usually to allow parsing of optionnal node blocs
*/
#define PARSE_END_ALTERNATIVE() \
{}
/*
* Parse a node. This is not an alternative, if node parsing fails, current node parsing fails
* PARSE_NODE(Include)
*/
#define PARSE_NODE(nodename, savein) \
if (main->savein = parse##nodename(tokenizer)) \
{ \
main->savein->Parent = main; \
} \
else \
PARSE_FAIL
/*
* Start a bloc with '{'
*/
#define PARSE_START_BLOC \
PARSE_KEYWORD(OpenBrace) \
while (!tokenizer.end() && tokenizer.current() != TokenCloseBrace) \
{
/*
* End a bloc with '}'
*/
#define PARSE_END_BLOC \
} \
PARSE_KEYWORD(CloseBrace)
/*
* Parse a list of tokens (unknown yet) separated by special tokens
* PARSE_START_LIST(OpenParenthesis, CloseParenthesis)
* PARSE_ADD_KEYWORD_IN(Identifier, Names)
* PARSE_END_LIST(CloseParenthesis, Comma)
*/
#define PARSE_START_LIST(starttoken, endtoken) \
PARSE_KEYWORD(starttoken) \
while (!tokenizer.end() && tokenizer.current() != Token##endtoken) \
{
#define PARSE_END_LIST(endtoken, separator) \
if (tokenizer.end() || tokenizer.current() != Token##separator) \
break; \
tokenizer.next(); \
} \
PARSE_KEYWORD(endtoken)
/*
* Parse an optionnal list, see also PARSE_START_LIST/PARSE_END_LIST
*/
#define PARSE_OPT_LIST(starttoken, endtoken) \
if (!tokenizer.end() && tokenizer.current() == Token##starttoken) \
{ \
PARSE_START_LIST(starttoken, endtoken)
#define PARSE_END_OPT_LIST(endtoken, separator) \
PARSE_END_LIST(endtoken, separator) \
}
/*
* Repeat parsing between PARSE_OPT_BEFORE and PARSE_END_OPT_BEFORE while next token is not reached
* To be used with PARSE_OPT_IN
* PARSE_OPT_BEFORE(Class)
* PARSE_OPT_IN(Mapped, MappedFlag);
* PARSE_OPT_IN(Derived, DerivedFlag);
* PARSE_END_OPT_BEFORE()
*/
#define PARSE_OPT_BEFORE(token) \
while (!tokenizer.end() && tokenizer.current() != Token##token) \
{ \
switch (tokenizer.current()) \
{
#define PARSE_OPT_BEFORE_2(token1, token2) \
while (!tokenizer.end() && tokenizer.current() != Token##token1 && tokenizer.current() != Token##token2) \
{ \
switch (tokenizer.current()) \
{
#define PARSE_OPT_IN(token, flag) \
case Token##token: \
if (!main->flag) \
{ \
main->flag = true; \
} \
else \
{ \
PARSE_FAIL \
} \
break;
#define PARSE_END_OPT_BEFORE() \
default: \
PARSE_FAIL \
break; \
} \
tokenizer.next(); \
}
/*
* Parse a list of keywork separated by a given token, and store them into a vector<string>
* see also PARSE_ADD_KEYWORD_IN
*/
#define PARSE_LIST_KEYWORDS(keyword, savein, separator) \
PARSE_ADD_KEYWORD_IN(keyword, savein) \
while (!tokenizer.end() && tokenizer.current() == Token##separator) \
{ \
tokenizer.next(); \
PARSE_ADD_KEYWORD_IN(keyword, savein) \
}
/*
* PArse a list of couple of 2 keywords and store them into a vector<pair<string, string> >
* see also PARSE_ADD_2_KEYWORD_IN
*/
#define PARSE_LIST_2_KEYWORDS(keyword1, keyword2, savein, separator) \
PARSE_ADD_2_KEYWORD_IN(keyword1, keyword2, savein) \
while (!tokenizer.end() && tokenizer.current() == Token##separator) \
{ \
tokenizer.next(); \
PARSE_ADD_2_KEYWORD_IN(keyword1, keyword2, savein) \
}
#define PARSE_LIST_IDENTIFIERS(starttoken, separator, endtoken, savein) \
PARSE_START_LIST(starttoken, endtoken) \
PARSE_ADD_IDENTIFIER(savein) \
PARSE_END_LIST(endtoken, separator)
#define PARSE_OPT(opttoken) \
if (!tokenizer.end() && tokenizer.current() == Token##opttoken) \
{ \
tokenizer.next(); \
#define PARSE_NEXT_OPT(opttoken) \
} \
else if (!tokenizer.end() && tokenizer.current() == Token##opttoken) \
{ \
tokenizer.next(); \
#define PARSE_LAST_OPT \
} \
else \
{
#define PARSE_END_OPT \
}
#define PARSE_OPT_KEYWORD_IN(keyword, savein) \
{ \
if (!tokenizer.end() && tokenizer.current() == Token##keyword) \
{ \
main->savein = tokenizer.get(tokenizer.currentToken()); \
tokenizer.next(); \
} \
}
#endif