@cella-lang/cpp (英语)
C++17 用于 单元格a 校验,作为编译模块包: C++ 分支
c家的深层嵌入体@cella-lang/cfamily) (中文(简体) ). 程序由 C++17 规则检查并由小步运行
语义;判决为接受,拒绝或未知,有标准节点和条款.
取决于 @cella-lang/cfamily 财务报告和审定财务报表 @cella-lang/machine。 。 。 .
程序
JSON (美国) cfamily语法与 "lang": {"k": "langCpp"} 且没有棋盘(棋盘的程序是
@cella-lang/arduino已经). 该分支涵盖类别(继承、虚拟功能和虚拟基础、构建者、,
销毁器和复制件)、模板和超载、参考和移动语义、羊肉、例外和
标准例外、电流输入和输出,以及 std::vector, (中文(简体) ), std::string 财务报告和审定财务报表 std::initializer_list,哪个
以 C++ 书写,并按与程序相同的规则检查.
执行的标准值是libc++'s,判决则认为是(assumesA级
标准函数,或库类成员,如果模型尚未提供,则判断结果未知
原因,不是拒绝.
条目
cpp.verdict src input fuelJSON案判决@cella-lang/cfamily(三);input是标准输入,fuel将步相接. 内核证明的判决:kernel_verdict_in("cpp", "cpp.verdict", …)内cella-lang。 。 。 .cpp.types src candidates: 类型查询(格式为@cella-lang/cfamily) (中文(简体) ).- 调试器,用于
cella-lang/dap数字 :load, (中文(简体) ),run, (中文(简体) ),stopConf, (中文(简体) ),stopKind, (中文(简体) ),stopNode, (中文(简体) ),stopOut, (中文(简体) ),stopErr, (中文(简体) ),stopDetail, (中文(简体) ),divergences, (中文(简体) ),feed, (中文(简体) ),globals, (中文(简体) ),frames, (中文(简体) ),setVarErr, (中文(简体) ),setVarConf, (中文(简体) ),env; 和 :report input fuel session,整个运行,同时给出所有输入.
正在装入
将包装入 cella-lang 名为 index.json (单位:千美元)checkerHash, (中文(简体) ), cbfVersion; 数据 peerDependencies
标定它 : index.requires["cella-lang"].modules软件包 index.requires.packages
(每种方式都相同),然后按顺序排列此软件包的模块 index.modules.cpp.deps。 。 。 . cella-lang读取
(单位:千美元)正式软件包)有密码.
按定义散列
index.json 清单,每个定义, own (其本身的内容)和 merkle (内容和一切取决于)
(电话) 定义 merkle 两个版本之间没有变化,表示相同;更改的版本列在
CHANGES.md。 。 。 .