- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
作为大学研究工作的一部分,我正在编写一个用于分析简单 B 机替代的小工具。该代码成功解析了 mySubst := var1 + var2 形式的测试输入。但是,我收到一条弹出错误消息,指出“此应用程序已请求运行时以异常方式终止它。”在命令提示符窗口中,我收到一条“断言失败消息”。主要程序如下:
// BMachineTree.cpp : Defines the entry point for the console application.
//
/*=============================================================================
Copyright (c) 2010 Temitope Onunkun
=============================================================================*/
///////////////////////////////////////////////////////////////////////////////
//
// UUsing Boost Spririt Trees (AST) to parse B Machine Substitutions.
//
///////////////////////////////////////////////////////////////////////////////
#define BOOST_SPIRIT_DUMP_PARSETREE_AS_XML
#include <boost/spirit/core.hpp>
#include <boost/spirit/tree/ast.hpp>
#include <boost/spirit/tree/tree_to_xml.hpp>
#include "BMachineTreeGrammar.hpp"
#include <iostream>
#include <stack>
#include <functional>
#include <string>
#include <cassert>
#include <vector>
#if defined(BOOST_SPIRIT_DUMP_PARSETREE_AS_XML)
#include <map>
#endif
// Using AST to parse B Machine substitutions
////////////////////////////////////////////////////////////////////////////
using namespace std;
using namespace boost::spirit;
typedef char const* iterator_t;
typedef tree_match<iterator_t> parse_tree_match_t;
typedef parse_tree_match_t::tree_iterator iter_t;
////////////////////////////////////////////////////////////////////////////
string evaluate(parse_tree_match_t hit);
string eval_machine(iter_t const& i);
vector<string> dx;
string evaluate(tree_parse_info<> info)
{
return eval_machine(info.trees.begin());
}
string eval_machine(iter_t const& i)
{
cout << "In eval_machine. i->value = " <<
string(i->value.begin(), i->value.end()) <<
" i->children.size() = " << i->children.size() << endl;
if (i->value.id() == substitution::leafValueID)
{
assert(i->children.size() == 0);
// extract string tokens
string leafValue(i->value.begin(), i->value.end());
dx.push_back(leafValue.c_str());
return leafValue.c_str();
}
//
else if (i->value.id() == substitution::termID)
{
if ( (*i->value.begin() == '*') || (*i->value.begin() == '/') )
{
assert(i->children.size() == 2);
dx.push_back( eval_machine(i->children.begin()) );
dx.push_back( eval_machine(i->children.begin()+1) );
return eval_machine(i->children.begin()) + " " +
eval_machine(i->children.begin()+1);
}
//
else
assert(0);
}
else if (i->value.id() == substitution::expressionID)
{
if ( (*i->value.begin() == '+') || (*i->value.begin() == '-') )
{
assert(i->children.size() == 2);
dx.push_back( eval_machine(i->children.begin()) );
dx.push_back( eval_machine(i->children.begin()+1) );
return eval_machine(i->children.begin()) + " " +
eval_machine(i->children.begin()+1);
}
else
assert(0);
}
//
else if (i->value.id() == substitution::simple_substID)
{
if (*i->value.begin() == (':' >> '=') )
{
assert(i->children.size() == 2);
dx.push_back( eval_machine(i->children.begin()) );
dx.push_back( eval_machine(i->children.begin()+1) );
return eval_machine(i->children.begin()) + "|->" +
eval_machine(i->children.begin()+1);
}
else
assert(0);
}
else
{
assert(0); // error
}
return 0;
}
////////////////////////////////////////////////////////////////////////////
int
main()
{
// look in BMachineTreeGrammar for the definition of BMachine
substitution BMach_subst;
cout << "/////////////////////////////////////////////////////////\n\n";
cout << "\t\tB Machine Substitution...\n\n";
cout << "/////////////////////////////////////////////////////////\n\n";
cout << "Type an expression...or [q or Q] to quit\n\n";
string str;
while (getline(cin, str))
{
if (str.empty() || str[0] == 'q' || str[0] == 'Q')
break;
tree_parse_info<> info = ast_parse(str.c_str(), BMach_subst, space_p);
if (info.full)
{
#if defined(BOOST_SPIRIT_DUMP_PARSETREE_AS_XML)
// dump parse tree as XML
std::map<parser_id, std::string> rule_names;
rule_names[substitution::identifierID] = "identifier";
rule_names[substitution::leafValueID] = "leafValue";
rule_names[substitution::factorID] = "factor";
rule_names[substitution::termID] = "term";
rule_names[substitution::expressionID] = "expression";
rule_names[substitution::simple_substID] = "simple_subst";
tree_to_xml(cout, info.trees, str.c_str(), rule_names);
#endif
// print the result
cout << "Variables in Vector dx: " << endl;
for(vector<string>::iterator idx = dx.begin(); idx < dx.end(); ++idx)
cout << *idx << endl;
cout << "parsing succeeded\n";
cout << "result = " << evaluate(info) << "\n\n";
}
else
{
cout << "parsing failed\n";
}
}
cout << "Bye... :-) \n\n";
return 0;
}
BMachineTreeGrammar.hpp 文件中定义的语法如下:
/*=============================================================================
Copyright (c) 2010 Temitope Onunkun
http://www.dcs.kcl.ac.uk/pg/onun
Use, modification and distribution is subject to the Boost Software
License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
#ifndef BOOST_SPIRIT_BMachineTreeGrammar_HPP_
#define BOOST_SPIRIT_BMachineTreeGrammar_HPP_
using namespace boost::spirit;
///////////////////////////////////////////////////////////////////////////////
//
// Using Boost Spririt Trees (AST) to parse B Machine Substitutions.
//
///////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////
//
// B Machine Grammar
//
////////////////////////////////////////////////////////////////////////////
struct substitution : public grammar<substitution>
{
static const int identifierID = 1;
static const int leafValueID = 2;
static const int factorID = 3;
static const int termID = 4;
static const int expressionID = 5;
static const int simple_substID = 6;
template <typename ScannerT>
struct definition
{
definition(substitution const& )
{
// Start grammar definition
identifier = alpha_p >> (+alnum_p | ch_p('_') )
;
leafValue = leaf_node_d[
lexeme_d[ identifier | +digit_p ] ]
;
factor = leafValue
| inner_node_d[ ch_p( '(' ) >> expression
>> ch_p(')' ) ]
;
term = factor >>
*( (root_node_d[ch_p('*') ] >> factor )
| (root_node_d[ch_p('/') ] >> factor )
);
expression = term >>
*( (root_node_d[ch_p('+') ] >> term )
| (root_node_d[ch_p('-') ] >> term )
);
simple_subst= leaf_node_d[
lexeme_d[ identifier ] ]
>> root_node_d[str_p(":=")] >> expression
;
// End grammar definition
// turn on the debugging info.
BOOST_SPIRIT_DEBUG_RULE(identifier);
BOOST_SPIRIT_DEBUG_RULE(leafValue);
BOOST_SPIRIT_DEBUG_RULE(factor);
BOOST_SPIRIT_DEBUG_RULE(term);
BOOST_SPIRIT_DEBUG_RULE(expression);
BOOST_SPIRIT_DEBUG_RULE(simple_subst);
}
rule<ScannerT, parser_context<>, parser_tag<simple_substID> > simple_subst;
rule<ScannerT, parser_context<>, parser_tag<expressionID> > expression;
rule<ScannerT, parser_context<>, parser_tag<termID> > term;
rule<ScannerT, parser_context<>, parser_tag<factorID> > factor;
rule<ScannerT, parser_context<>, parser_tag<leafValueID> > leafValue;
rule<ScannerT, parser_context<>, parser_tag<identifierID> > identifier;
rule<ScannerT, parser_context<>, parser_tag<simple_substID> > const&
start() const { return simple_subst; }
};
};
#endif
我运行程序得到的输出是:
/////////////////////////////////////////////////////////
B Machine Substitution...
/////////////////////////////////////////////////////////
Type an expression...or [q or Q] to quit
mySubst := var1 - var2
parsing succeeded
In eval_machine. i->value = := i->children.size() = 2
Assertion failed: 0, file c:\redmound\bmachinetree\bmachinetree\bmachinetree.cpp
, line 114
对于解决此问题的任何帮助,我将不胜感激。
最佳答案
您的断言在第 114 行失败,因为您假设每个节点都有一个关联的 ID。它们不会:在这种情况下,您定义的运算符(:=
、+
、-
等)都没有 ID与他们相关。
FWIW,@hkaiser 是对的:您真的应该使用 Spirit V2。它的 AST 概念比经典的 Spirit 好得多(也更容易使用)。
关于c++ - 帮助提升精神 AST,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2846088/
我有这个问题: 我们声称对 float 使用相等测试是不安全的,因为算术运算会引入舍入错误,这意味着两个应该相等的数字实际上并不相等。 对于这个程序,您应该选择一个数字 N,并编写一个程序来显示 1
为什么这个脚本的输出是 5 而不是 8 ? 我认为 -- 意味着 -1 两次。 var x = 0; var y = 10; while ( x
我现在可以从 cmd 窗口中执行的 FFmpeg 过程中读取最后一行。 使用脚本主机模型对象引用此源。 Private Sub Command1_Click() Dim oExec
使用 vlookup,当匹配发生时,我想从匹配发生的同一行显示工作表 2 中 C 列的值。我想出的公式从 C 列表 2 中获取值,但它从公式粘贴在表 3 上的行中获取,而不是从匹配发生的位置获取。 这
我在破译 WCF 跟踪文件时遇到了问题,我希望有人能帮助我确定管道中的哪个位置发生了延迟。 “Processing Message XX”的跟踪如下所示,在事件边界和传输到“Process Actio
我有四个表,USER、CONTACT、CONACT_TYPE 和 USER_CONTACT USER_CONTACT 存储用户具有填充虚拟数据的表的所有联系人如下 用户表 USER_ID(int)|
以下有什么作用? public static function find_by_sql($sql="") { global $database; $result_set = $data
我正在解决 JavaBat 问题并且对我的逻辑感到困惑。 这是任务: Given a day of the week encoded as 0=Sun, 1=Mon, 2=Tue, ...6=Sat,
我正在研究一些 Scala 代码,发现这种方法让我感到困惑。在匹配语句中,sublist@ 是什么?构造?它包含什么样的值(value)?当我打印它时,它与 tail 没有区别,但如果我用尾部替换它,
我正在使用以下代码自行缩放图像。代码很好,图像缩放也没有问题。 UIImage *originImg = img; size = newSize; if (originImg.size.width >
Instruments 无法在我的 iPad 和 iPhone 上启动。两者都已正确配置,我可以毫无问题地从 xcode 调试它们上的代码,但 Instruments 无法启动。 我听到的只是一声嘟嘟
我想用 iPhone 的 NSRegularExpression 类解析此文本: Uploaded652.81 GB 用于摘录上传和652.81文本。 最佳答案 虽然我确实认为 xml 解析器更适合解
我找到了 solution在 Stackoverflow 上,根据过滤器显示 HTML“li”元素(请参阅附件)。本质上基于 HTML 元素中定义的 css 类,它填充您可以从中选择的下拉列表。 我想
这是一个简单的问题,但我是在 SQL 2005 中形成 XML 的新手,但是用于形成如下所示表中的 XML 的最佳 FOR XML SQL 语句是什么? Column1 Column2 -
我在 www.enigmafest.com 有一个网站!您可以尝试打开它!我面临的问题是,在预加载器完成后,主页会出现,但其他菜单仍然需要很长时间才能加载,而且声音也至少需要 5 分钟! :( 我怎样
好吧,我正在尝试用 Haskell 来理解 IO,我想我应该编写一个处理网页的简短小应用程序来完成它。我被绊倒的代码片段是(向 bobince 表示歉意,但公平地说,我并不想在这里解析 HTML,只是
如何使用背景页面来突出显示网站上的某个关键字,无论网站是什么(谷歌浏览器扩展)?没有弹出窗口或任何东西,它只是在某人正在查看的网站上编辑关键字。我以前见过这样的,就是不明白怎么做!谢谢你的帮助。 最佳
我是 Javascript 新手,需要一些帮助。 先看图片: . 积分预测器应用程序。 基本上当用户通过单选按钮选择获胜团队时它应该在积分栏中为获胜队添加 10 分,并且并根据得分高的球队自动对表格进
这是我的情况 - 我要发送一份时事通讯,我试图做的是,当用户单击电子邮件中的链接时,它会重定向到我的网页,然后会弹出一个灯箱,显示视频。我无法在页面加载时触发灯箱,因为您可以在查看灯箱之前转到同一页面
我有这个代码。 ¿Cuanto es ? Ir 我想获取用户输入的“验证码”值。我尝试这个但行不通。有什么帮助吗? var campo = d
我是一名优秀的程序员,十分优秀!