codeboss
/
WsParser_VS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
WsParser_VS/libSyntax/libsyntax.h

242 lines
8.0 KiB
C
Raw Normal View History

添加
2024-03-17 07:58:28 +00:00
#pragma once
#include "libsyntax_global.h"
#include <libtoken.h>
#include <memory>
#include <tuple>
#include <functional>
namespace ast_basic {
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
class Expression;
class ExpressionElement;
添加
2024-03-17 07:58:28 +00:00
}
namespace lib_syntax {
加速架构改造完成
2024-06-18 17:09:45 +00:00
class BaseRule;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
/**
* @brief <EFBFBD>﷨<EFBFBD>쳣
*/
class SyntaxException {
private:
QString msg_store;
public:
SyntaxException(const QString& message);
virtual ~SyntaxException() = default;
virtual QString message() const;
};
// <20><><EFBFBD><EFBFBD><EFBFBD>﷨<EFBFBD><EFB7A8><EFBFBD><EFBFBD><EFBFBD>ӿ<EFBFBD> ===================================================================================================
/**
* @brief <EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>Ľӿ<EFBFBD>
*/
class ParseContext {
public:
virtual ~ParseContext() = default;
/**
* \brief <EFBFBD><EFBFBD>ǰ<EFBFBD><EFBFBD><EFBFBD><EFBFBD>ʽԪ<EFBFBD><EFBFBD>.
*
* \return <EFBFBD><EFBFBD><EFBFBD>ص<EFBFBD>ǰ<EFBFBD><EFBFBD><EFBFBD><EFBFBD>ʽ
*/
virtual std::shared_ptr<ast_basic::Expression> currentInst() const = 0;
virtual void pushInst(std::shared_ptr<ast_basic::Expression> current_inst) = 0;
virtual std::shared_ptr<ast_basic::Expression> popInst() = 0;
virtual std::shared_ptr<const BaseRule> currentExpressionRule() const = 0;
virtual void pushExpressionRule(std::shared_ptr<const BaseRule> inst) = 0;
virtual std::shared_ptr<const BaseRule> popExpressionRule() = 0;
};
/**
* @brief <EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>﷨ƥ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ӿ<EFBFBD>
*/
class BaseRule {
public:
virtual ~BaseRule() = default;
/**
* @brief <EFBFBD>ӹ<EFBFBD><EFBFBD><EFBFBD>
* @return
*/
virtual QList<std::shared_ptr<const BaseRule>> children() const = 0;
/**
* @brief ƥ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>
*/
enum class MatchResult {
Success, // <20><><EFBFBD><EFBFBD>ƥ<EFBFBD><C6A5><EFBFBD><EFBFBD><EFBFBD><EFBFBD>
Part, // <20><><EFBFBD><EFBFBD>ƥ<EFBFBD><C6A5>
Fail // <20>ӵ<EFBFBD>һ<EFBFBD><D2BB><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ȫ<EFBFBD><C8AB>ƥ<EFBFBD><C6A5>
};
/**
* @brief token<EFBFBD><EFBFBD>ƥ<EFBFBD><EFBFBD>
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
* @return <EFBFBD>ײ<EFBFBD><EFBFBD><EFBFBD><EFBFBD>룬ƥ<EFBFBD><EFBFBD>token<EFBFBD><EFBFBD><EFBFBD><EFBFBD><ƥ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ƥ<EFBFBD>䳤<EFBFBD>ȣ<EFBFBD>ʣ<EFBFBD><EFBFBD><EFBFBD>б<EFBFBD>ͷָ<EFBFBD><EFBFBD>>
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
*/
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<MatchResult, uint, std::shared_ptr<const lib_token::Token>> match(std::shared_ptr<const lib_token::Token> remains_head) const = 0;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
/**
* @brief <EFBFBD><EFBFBD><EFBFBD><EFBFBD>
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
* @param rt_inst <EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>
* @param head <EFBFBD>б<EFBFBD>ͷ
* @return <EFBFBD><EFBFBD><EFBFBD>ؽ<EFBFBD><EFBFBD><EFBFBD><ƥ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>б<EFBFBD>ͷ,ƥ<EFBFBD>䳤<EFBFBD><EFBFBD>>
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
*/
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<std::shared_ptr<const ast_basic::Expression>, std::shared_ptr<const lib_token::Token>>
parse(std::shared_ptr<ParseContext> rt_inst, std::shared_ptr<const lib_token::Token> head) const = 0;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
/**
* <EFBFBD><EFBFBD><EFBFBD><EFBFBD>ƥ<EFBFBD><EFBFBD><EFBFBD>﷨<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>Ĵʷ<EFBFBD><EFBFBD><EFBFBD><EFBFBD>б<EFBFBD><EFBFBD><EFBFBD>
*
* \return <EFBFBD>ʷ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>
*/
virtual QString token_present() const = 0;
};
/**
* @brief tokenƥ<EFBFBD><EFBFBD>
*/
class LIBSYNTAX_EXPORT TokenMatch : public BaseRule, public std::enable_shared_from_this<TokenMatch> {
private:
std::shared_ptr<const lib_token::TokenDefine> define_peer;
public:
TokenMatch(std::shared_ptr<const lib_token::TokenDefine> define);
// BaseRule interface
public:
virtual QList<std::shared_ptr<const BaseRule>> children() const override;
加速架构改造完成
2024-06-18 17:09:45 +00:00
virtual std::tuple<MatchResult, uint, std::shared_ptr<const lib_token::Token>> match(std::shared_ptr<const lib_token::Token> head) const override;
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<std::shared_ptr<const ast_basic::Expression>, std::shared_ptr<const lib_token::Token>>
parse(std::shared_ptr<ParseContext> rt_inst, std::shared_ptr<const lib_token::Token> head) const override;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
virtual QString token_present() const override;
};
/**
* @brief <EFBFBD>﷨<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ƥ<EFBFBD><EFBFBD>
*/
class LIBSYNTAX_EXPORT Any : public BaseRule, public std::enable_shared_from_this<Any> {
private:
QList<std::shared_ptr<const BaseRule>> mbrs_store;
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
std::tuple<MatchResult, uint, std::shared_ptr<const BaseRule>, std::shared_ptr<const lib_token::Token>> rule_select(std::shared_ptr<const lib_token::Token> head) const;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
public:
Any(const QList<std::shared_ptr<const BaseRule>> mbrs);
// BaseRule interface
public:
virtual QList<std::shared_ptr<const BaseRule>> children() const override;
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<MatchResult, uint, std::shared_ptr<const lib_token::Token>> match(std::shared_ptr<const lib_token::Token> list_head) const override;
virtual std::tuple<std::shared_ptr<const ast_basic::Expression>, std::shared_ptr<const lib_token::Token>>
parse(std::shared_ptr<ParseContext> rt_inst, std::shared_ptr<const lib_token::Token> head) const override;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
virtual QString token_present() const override;
};
/**
* @brief <EFBFBD>﷨<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ƥ<EFBFBD><EFBFBD>
*/
class LIBSYNTAX_EXPORT Seqs : public BaseRule, public std::enable_shared_from_this<Seqs> {
private:
QList<std::shared_ptr<const BaseRule>> mbrs_store;
public:
Seqs(const QList<std::shared_ptr<const BaseRule>> mbrs);
// BaseRule interface
public:
virtual QList<std::shared_ptr<const BaseRule>> children() const override;
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<MatchResult, uint, std::shared_ptr<const lib_token::Token>> match(std::shared_ptr<const lib_token::Token> list_head) const override;
virtual std::tuple<std::shared_ptr<const ast_basic::Expression>, std::shared_ptr<const lib_token::Token>>
parse(std::shared_ptr<ParseContext> rt_inst, std::shared_ptr<const lib_token::Token> head) const override;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
virtual QString token_present() const override;
};
/**
* @brief <EFBFBD>﷨<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ظ<EFBFBD>ƥ<EFBFBD><EFBFBD>
*/
class LIBSYNTAX_EXPORT Rept : public BaseRule, public std::enable_shared_from_this<Rept> {
private:
std::shared_ptr<const BaseRule> rule_peer;
int min_match, max_match;
public:
Rept(std::shared_ptr<const BaseRule> rule, int min, int max);
// BaseRule interface
public:
virtual QList<std::shared_ptr<const BaseRule>> children() const override;
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<MatchResult, uint, std::shared_ptr<const lib_token::Token>> match(std::shared_ptr<const lib_token::Token> list_head) const override;
virtual std::tuple<std::shared_ptr<const ast_basic::Expression>, std::shared_ptr<const lib_token::Token>>
parse(std::shared_ptr<ParseContext> rt_inst, std::shared_ptr<const lib_token::Token> head) const override;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
virtual QString token_present() const override;
};
// <20><><EFBFBD><EFBFBD><EFBFBD>﷨ʵ<EFB7A8><CAB5><EFBFBD><EFBFBD><EFBFBD><EFBFBD> ===================================================================================================
/**
* @brief <EFBFBD><EFBFBD>Ӧ<EFBFBD>﷨<EFBFBD><EFBFBD><EFBFBD><EFBFBD>ʽ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>
*/
class LIBSYNTAX_EXPORT ExpressionRule : public lib_syntax::BaseRule, public std::enable_shared_from_this<ExpressionRule> {
public:
typedef QList<std::shared_ptr<const lib_token::Token>> TokenSeqs;
ExpressionRule(const QString& rule_name, int expr_mark);
virtual std::shared_ptr<const ExpressionRule> reloadRule(std::function<TokenSeqs(const TokenSeqs&)> filter, std::shared_ptr<const BaseRule> rule);
virtual QString name() const;
virtual int typeMark() const;
virtual std::shared_ptr<ast_basic::Expression> newEmptyInstance() const = 0;
virtual std::shared_ptr<ExpressionRule> makeCopy() const = 0;
// BaseRule interface
public:
virtual QList<std::shared_ptr<const lib_syntax::BaseRule>> children() const override;
基于链表解析方式更新
2024-06-18 14:59:41 +00:00
virtual std::tuple<MatchResult, uint, std::shared_ptr<const lib_token::Token>> match(std::shared_ptr<const lib_token::Token> remains_head) const override;
virtual std::tuple<std::shared_ptr<const ast_basic::Expression>, std::shared_ptr<const lib_token::Token>>
parse(std::shared_ptr<ParseContext> rt_inst, std::shared_ptr<const lib_token::Token> head) const override;
移除冗余层次，语法规则解析直出语法结构
2024-06-18 03:54:36 +00:00
virtual QString token_present() const override;
private:
std::function<TokenSeqs(const TokenSeqs&)> filter_proc;
std::shared_ptr<const lib_syntax::BaseRule> child_store;
QString name_store;
int mark_store;
};
/**
* <EFBFBD>﷨Ԫ<EFBFBD>ؽ<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>.
*/
template<class ExprType>
class ElementRule : public ExpressionRule {
public:
ElementRule(const QString& rule_name, int expr_mark)
:ExpressionRule(rule_name, expr_mark){}
virtual std::shared_ptr<ast_basic::Expression> newEmptyInstance() const {
return std::dynamic_pointer_cast<ast_basic::Expression>(
std::make_shared<ExprType>(this->shared_from_this()));
}
virtual std::shared_ptr<ExpressionRule> makeCopy() const {
return std::make_shared<ElementRule<ExprType>>(name(), typeMark());
}
};
添加
2024-03-17 07:58:28 +00:00
加速架构改造完成
2024-06-18 17:09:45 +00:00
class MismatchException : public SyntaxException {
private:
std::shared_ptr<const lib_token::Token> target;
public:
MismatchException(std::shared_ptr<const lib_token::Token> inst);
virtual ~MismatchException() = default;
virtual std::shared_ptr<const lib_token::Token> targetToken() const;
};
class InputTerminal : public SyntaxException {
public:
InputTerminal();
};
添加
2024-03-17 07:58:28 +00:00
} // namespace lib_syntax