LMCAS::assumption_detail::AssumptionParser类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/assumption_parser.hpp>

LMCAS::assumption_detail::AssumptionParser 的协作图:

Public 成员函数
	AssumptionParser (ComputationContext &context)
AssumptionContext	parse (const std::string &data)

Private 成员函数
void	parse_bounded (std::istringstream &ls, const std::string &keyword)
void	parse_conditional (std::istringstream &ls, const std::string &keyword)
void	parse_continuity (std::istringstream &ls, const std::string &keyword)
void	parse_definiteness (std::istringstream &ls, const std::string &keyword)
void	parse_domain (std::istringstream &ls, const std::string &keyword)
void	parse_finiteness (std::istringstream &ls, const std::string &keyword)
void	parse_monotonicity (std::istringstream &ls, const std::string &keyword)
void	parse_parity (std::istringstream &ls, const std::string &keyword)
void	parse_periodic (std::istringstream &ls, const std::string &keyword)
void	parse_record (const std::string &line)
void	parse_relation (std::istringstream &ls, const std::string &keyword)
void	parse_scope (std::istringstream &ls, const std::string &keyword)
void	parse_sign (std::istringstream &ls, const std::string &keyword)
void	parse_transcendental (std::istringstream &ls, const std::string &keyword)

Private 属性
ComputationContext &	computation
AssumptionContext	ctx
int	current_scope = -1
bool	ended = false
int	line_num = 0

详细描述

在文件 assumption_parser.hpp 第 34 行定义.

构造及析构函数说明

AssumptionParser()

LMCAS::assumption_detail::AssumptionParser::AssumptionParser ( ComputationContext & context )

inlineexplicit

在文件 assumption_parser.hpp 第 36 行定义.

: computation(context) {}

引用了 computation , 以及 LMCAS::context.

被这些函数引用 parse_record().

这是这个函数的调用关系图:

成员函数说明

parse()

AssumptionContext LMCAS::assumption_detail::AssumptionParser::parse

(

const std::string &

data

)

在文件 assumption_deserialization.cpp 第 5 行定义.

                                                               {
    std::istringstream input(data);
    std::string line;
    while (std::getline(input, line)) {
        ++line_num;
        if (line.empty()) continue;
        if (line.back() == '\r') line.pop_back();
        if (line.empty()) continue;
        if (ended) {
            throw std::invalid_argument(
                "Line " + std::to_string(line_num) + ": data after END");
        }
        if (line == "END") {
            ended = true;
            continue;
        }
        parse_record(line);
    }
    if (!ended) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": unexpected end of input (missing END)");
    }
    return std::move(ctx);
}

引用了 ctx, ended, line_num , 以及 parse_record().

函数调用图:

parse_bounded()

void LMCAS::assumption_detail::AssumptionParser::parse_bounded ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 47 行定义.

                                                    {
    std::string symbol;
    std::string boundedness_text;
    if (!(ls >> symbol >> boundedness_text)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": BOUNDED requires symbol and boundedness");
    }
    const Boundedness bounded =
        parse_boundedness(boundedness_text, line_num);
 
    std::string payload;
    std::getline(ls, payload);
    const auto bounds_text = trim_ascii_whitespace(payload);
    std::optional<Interval> bounds;
    if (!bounds_text.empty()) {
        if (bounded != Boundedness::Bounded) {
            throw std::invalid_argument(
                "Line " + std::to_string(line_num) +
                ": only Bounded declarations may carry an interval");
        }
        bounds = parse_interval(
            std::string(bounds_text), line_num, computation);
    }
    require_deserialization_update(
        ctx.current_properties().declare_bounded_checked(
            symbol, bounded, std::move(bounds), computation),
        line_num, keyword);
}

引用了 LMCAS::Bounded, computation, ctx, line_num, LMCAS::assumption_detail::parse_boundedness(), LMCAS::assumption_detail::parse_interval(), LMCAS::assumption_detail::require_deserialization_update() , 以及 LMCAS::assumption_detail::trim_ascii_whitespace().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_conditional()

void LMCAS::assumption_detail::AssumptionParser::parse_conditional ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_relations.cpp 第 175 行定义.

                                                       {
    std::string text;
    std::getline(input, text);
    const auto trimmed = trim_ascii_whitespace(text);
    if (trimmed.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": CONDITIONAL requires condition and conclusion");
    }
    text = trimmed;
    const auto arrows =
        find_top_level_tokens(text, {"=>"}, line_num);
    if (arrows.size() != 1) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": CONDITIONAL requires one top-level '=>'");
    }
 
    const auto arrow = arrows.front();
    const std::string condition_text = unwrap_parenthesized(
        text.substr(0, arrow.position), line_num, "condition");
    const std::string conclusion_text = unwrap_parenthesized(
        text.substr(arrow.position + arrow.token.size()),
        line_num, "conclusion");
    SymbolicExpr condition = parse_conditional_relation(
        condition_text, line_num, computation);
    SymbolicExpr conclusion = parse_conditional_relation(
        conclusion_text, line_num, computation);
    require_deserialization_update(
        ctx.assume_conditional_checked(condition, conclusion),
        line_num, keyword);
}

引用了 computation, ctx, line_num, LMCAS::assumption_detail::require_deserialization_update() , 以及 LMCAS::assumption_detail::trim_ascii_whitespace().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_continuity()

void LMCAS::assumption_detail::AssumptionParser::parse_continuity ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_intervals.cpp 第 27 行定义.

                                                    {
    std::string sym;
    if (!(ls >> sym)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": " + keyword + " requires symbol");
    }
    std::string iv_str;
    std::getline(ls, iv_str);
    const auto interval_text = trim_ascii_whitespace(iv_str);
    if (interval_text.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": " + keyword + " requires interval");
    }
    Interval iv = parse_interval(
        std::string(interval_text), line_num, computation);
    auto declared = keyword == "DIFFERENTIABLE"
        ? ctx.current_properties().declare_differentiable_checked(
            sym, iv, computation)
        : ctx.current_properties().declare_continuous_checked(
            sym, iv, computation);
    require_deserialization_update(declared, line_num, keyword);
}

引用了 computation, ctx, line_num, LMCAS::assumption_detail::parse_interval(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::sym() , 以及 LMCAS::assumption_detail::trim_ascii_whitespace().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_definiteness()

void LMCAS::assumption_detail::AssumptionParser::parse_definiteness ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 105 行定义.

                                                    {
 
    std::string sym, def_str;
    if (!(ls >> sym >> def_str)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": DEFINITENESS requires symbol and value");
    }
    Definiteness d = assumption_detail::parse_definiteness(def_str, line_num);
    require_line_end(ls, line_num, keyword);
    require_deserialization_update(
        ctx.current_properties().declare_definiteness_checked(sym, d), line_num, keyword);
}

引用了 ctx, line_num, LMCAS::assumption_detail::parse_definiteness(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::assumption_detail::require_line_end() , 以及 LMCAS::sym().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_domain()

void LMCAS::assumption_detail::AssumptionParser::parse_domain ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 5 行定义.

                                                    {
 
    std::string sym, dom_str;
    if (!(ls >> sym >> dom_str)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": DOMAIN requires symbol and domain");
    }
    require_line_end(ls, line_num, keyword);
    Domain dom = assumption_detail::parse_domain(dom_str, line_num);
    require_deserialization_update(
        ctx.current_properties().declare_domain_checked(sym, dom), line_num, keyword);
}

引用了 ctx, line_num, LMCAS::assumption_detail::parse_domain(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::assumption_detail::require_line_end() , 以及 LMCAS::sym().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_finiteness()

void LMCAS::assumption_detail::AssumptionParser::parse_finiteness ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 91 行定义.

                                                    {
 
    std::string sym, fin_str;
    if (!(ls >> sym >> fin_str)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": FINITENESS requires symbol and value");
    }
    Finiteness f = assumption_detail::parse_finiteness(fin_str, line_num);
    require_line_end(ls, line_num, keyword);
    require_deserialization_update(
        ctx.current_properties().declare_finiteness_checked(sym, f), line_num, keyword);
}

引用了 ctx, line_num, LMCAS::assumption_detail::parse_finiteness(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::assumption_detail::require_line_end() , 以及 LMCAS::sym().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_monotonicity()

void LMCAS::assumption_detail::AssumptionParser::parse_monotonicity ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_intervals.cpp 第 52 行定义.

                                                    {
 
    std::string sym, var;
    if (!(ls >> sym >> var)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": MONOTONICITY requires symbol and variable");
    }
    std::string rest_line;
    std::getline(ls, rest_line);
    const auto monotonicity_text = trim_ascii_whitespace(rest_line);
    if (monotonicity_text.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": MONOTONICITY requires interval and type");
    }
    rest_line = monotonicity_text;
    size_t bracket_end = std::string::npos;
    if (rest_line.front() == '[' || rest_line.front() == '(') {
        size_t depth = 0;
        for (size_t i = 1; i < rest_line.size(); ++i) {
            const char c = rest_line[i];
            if (c == '(' || c == '[') {
                ++depth;
            } else if (c == ')' || c == ']') {
                if (depth == 0) {
                    bracket_end = i;
                    break;
                }
                --depth;
            }
        }
    }
    if (bracket_end == std::string::npos) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": MONOTONICITY malformed interval");
    }
    std::string mono_iv_str = rest_line.substr(0, bracket_end + 1);
    Interval iv = parse_interval(mono_iv_str, line_num, computation);
 
    std::string mono_str = rest_line.substr(bracket_end + 1);
    const auto type_text = trim_ascii_whitespace(mono_str);
    if (type_text.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": MONOTONICITY requires type after interval");
    }
    mono_str = type_text;
 
    Monotonicity m = assumption_detail::parse_monotonicity(mono_str, line_num);
    require_deserialization_update(
        ctx.current_properties().declare_monotonicity_checked(
            sym, var, iv, m, computation),
        line_num, keyword);
}

引用了 LMCAS::c, computation, ctx, LMCAS::depth, line_num, LMCAS::assumption_detail::parse_interval(), LMCAS::assumption_detail::parse_monotonicity(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::sym() , 以及 LMCAS::assumption_detail::trim_ascii_whitespace().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_parity()

void LMCAS::assumption_detail::AssumptionParser::parse_parity ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 33 行定义.

                                                    {
 
    std::string sym, par_str;
    if (!(ls >> sym >> par_str)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": PARITY requires symbol and parity");
    }
    require_line_end(ls, line_num, keyword);
    Parity p = assumption_detail::parse_parity(par_str, line_num);
    require_deserialization_update(
        ctx.current_properties().declare_parity_checked(sym, p), line_num, keyword);
}

引用了 ctx, line_num, LMCAS::assumption_detail::parse_parity(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::assumption_detail::require_line_end() , 以及 LMCAS::sym().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_periodic()

void LMCAS::assumption_detail::AssumptionParser::parse_periodic ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_intervals.cpp 第 5 行定义.

                                                    {
    std::string sym, variable;
    if (!(ls >> sym >> variable)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": PERIODIC requires symbol and variable");
    }
    std::string period_str;
    std::getline(ls, period_str);
    const auto period_text = trim_ascii_whitespace(period_str);
    if (period_text.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": PERIODIC requires period value");
    }
    auto period = parse_serialized_expression(
        std::string(period_text), line_num, computation);
    require_deserialization_update(
        ctx.current_properties().declare_periodic_checked(
            sym, variable, period),
        line_num, keyword);
}

引用了 computation, ctx, line_num, LMCAS::assumption_detail::parse_serialized_expression(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::sym(), LMCAS::assumption_detail::trim_ascii_whitespace() , 以及 LMCAS::variable.

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_record()

void LMCAS::assumption_detail::AssumptionParser::parse_record ( const std::string & line )

private

在文件 assumption_deserialization.cpp 第 30 行定义.

                                                         {
    std::istringstream ls(line);
    std::string keyword;
    ls >> keyword;
    using Handler = void (AssumptionParser::*)(std::istringstream&, const std::string&);
    struct Command {
        const char* name;
        Handler handler;
    };
    static const Command commands[] = {
        {"SCOPE", &AssumptionParser::parse_scope},
        {"DOMAIN", &AssumptionParser::parse_domain},
        {"SIGN", &AssumptionParser::parse_sign},
        {"PARITY", &AssumptionParser::parse_parity},
        {"BOUNDED", &AssumptionParser::parse_bounded},
        {"TRANSCENDENTAL", &AssumptionParser::parse_transcendental},
        {"FINITENESS", &AssumptionParser::parse_finiteness},
        {"DEFINITENESS", &AssumptionParser::parse_definiteness},
        {"PERIODIC", &AssumptionParser::parse_periodic},
        {"RELATION", &AssumptionParser::parse_relation},
        {"CONDITIONAL", &AssumptionParser::parse_conditional},
        {"CONTINUOUS", &AssumptionParser::parse_continuity},
        {"DIFFERENTIABLE", &AssumptionParser::parse_continuity},
        {"MONOTONICITY", &AssumptionParser::parse_monotonicity},
    };
    for (const auto& command : commands) {
        if (keyword == command.name) {
            if (command.handler != &AssumptionParser::parse_scope && current_scope < 0) {
                throw std::invalid_argument(
                    "Line " + std::to_string(line_num) + ": " + keyword + " before SCOPE");
            }
            (this->*command.handler)(ls, keyword);
            return;
        }
    }
    if (keyword == "END") {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": malformed END record");
    }
    throw std::invalid_argument(
        "Line " + std::to_string(line_num) + ": unknown keyword '" + keyword + "'");
}

引用了 AssumptionParser(), current_scope, line_num, LMCAS::name, parse_bounded(), parse_conditional(), parse_continuity(), parse_definiteness(), parse_domain(), parse_finiteness(), parse_monotonicity(), parse_parity(), parse_periodic(), parse_relation(), parse_scope(), parse_sign() , 以及 parse_transcendental().

被这些函数引用 parse().

函数调用图:

这是这个函数的调用关系图:

parse_relation()

void LMCAS::assumption_detail::AssumptionParser::parse_relation ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_relations.cpp 第 156 行定义.

                                                       {
    std::string text;
    std::getline(input, text);
    const auto trimmed = trim_ascii_whitespace(text);
    if (trimmed.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": RELATION requires lhs, op, and rhs");
    }
    auto relation = assumption_detail::parse_relation(
        std::string(trimmed), line_num, false, computation);
    require_deserialization_update(
        ctx.current_relations().add_relation_checked(
            relation.lhs, relation.rhs, relation.op,
            ctx.current_properties()),
        line_num, keyword);
}

引用了 computation, ctx, line_num, LMCAS::assumption_detail::parse_relation(), LMCAS::relation(), LMCAS::assumption_detail::require_deserialization_update() , 以及 LMCAS::assumption_detail::trim_ascii_whitespace().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_scope()

void LMCAS::assumption_detail::AssumptionParser::parse_scope ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_deserialization.cpp 第 73 行定义.

                                                    {
    int idx;
    if (!(ls >> idx)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": SCOPE missing index");
    }
    require_line_end(ls, line_num, keyword);
    if (idx != current_scope + 1) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": SCOPE indices must be sequential from zero");
    }
    if (idx > 0) {
        ctx.push();
    }
    current_scope = idx;
}

引用了 ctx, current_scope, line_num , 以及 LMCAS::assumption_detail::require_line_end().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_sign()

void LMCAS::assumption_detail::AssumptionParser::parse_sign ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 19 行定义.

                                                    {
 
    std::string sym, sign_str;
    if (!(ls >> sym >> sign_str)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": SIGN requires symbol and sign");
    }
    require_line_end(ls, line_num, keyword);
    Sign s = assumption_detail::parse_sign(sign_str, line_num);
    require_deserialization_update(
        ctx.current_properties().declare_sign_checked(sym, s), line_num, keyword);
}

引用了 ctx, line_num, LMCAS::assumption_detail::parse_sign(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::assumption_detail::require_line_end() , 以及 LMCAS::sym().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

parse_transcendental()

void LMCAS::assumption_detail::AssumptionParser::parse_transcendental ( std::istringstream & ls, const std::string & keyword )

private

在文件 assumption_parse_properties.cpp 第 78 行定义.

                                                    {
 
    std::string sym;
    if (!(ls >> sym)) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": TRANSCENDENTAL requires symbol");
    }
    require_line_end(ls, line_num, keyword);
    require_deserialization_update(
        ctx.current_properties().declare_transcendental_checked(sym), line_num, keyword);
}

引用了 ctx, line_num, LMCAS::assumption_detail::require_deserialization_update(), LMCAS::assumption_detail::require_line_end() , 以及 LMCAS::sym().

被这些函数引用 parse_record().

函数调用图:

这是这个函数的调用关系图:

类成员变量说明

computation

ComputationContext& LMCAS::assumption_detail::AssumptionParser::computation

private

在文件 assumption_parser.hpp 第 40 行定义.

被这些函数引用 AssumptionParser(), parse_bounded(), parse_conditional(), parse_continuity(), parse_monotonicity(), parse_periodic() , 以及 parse_relation().

ctx

AssumptionContext LMCAS::assumption_detail::AssumptionParser::ctx

private

在文件 assumption_parser.hpp 第 41 行定义.

被这些函数引用 parse(), parse_bounded(), parse_conditional(), parse_continuity(), parse_definiteness(), parse_domain(), parse_finiteness(), parse_monotonicity(), parse_parity(), parse_periodic(), parse_relation(), parse_scope(), parse_sign() , 以及 parse_transcendental().

current_scope

int LMCAS::assumption_detail::AssumptionParser::current_scope = -1

private

在文件 assumption_parser.hpp 第 43 行定义.

被这些函数引用 parse_record() , 以及 parse_scope().

ended

bool LMCAS::assumption_detail::AssumptionParser::ended = false

private

在文件 assumption_parser.hpp 第 44 行定义.

被这些函数引用 parse().

line_num

int LMCAS::assumption_detail::AssumptionParser::line_num = 0

private

在文件 assumption_parser.hpp 第 42 行定义.

被这些函数引用 parse(), parse_bounded(), parse_conditional(), parse_continuity(), parse_definiteness(), parse_domain(), parse_finiteness(), parse_monotonicity(), parse_parity(), parse_periodic(), parse_record(), parse_relation(), parse_scope(), parse_sign() , 以及 parse_transcendental().

---

该类的文档由以下文件生成:

• src/internal/assumption_parser.hpp
• src/assumption_deserialization.cpp
• src/assumption_parse_intervals.cpp
• src/assumption_parse_properties.cpp
• src/assumption_parse_relations.cpp