错误:非法字符'#‘

Question

我尝试在logic Blox 3.10中运行Doop测试集中的逻辑文件。我依次使用以下命令运行1-call-site-sensitive文件夹中的analysis.js文件：

lb create testworkspace
lb exec testworkspace --file analysis.logic

它会提示我以下错误：

ubuntu@ubuntu:~/doop/logic/1-call-site-sensitive$ lb exec testworkspace --file analysis.logic
Error: block __block0: line 8: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #include "macros.logic"
    ^

block __block0: line 8: error: unexpected token 'macros.logic' (code: UNEXPECTED_TOKEN)
    #include "macros.logic"
                          ^

block __block0: line 9: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #include "../context-sensitive.logic"
    ^

block __block0: line 10: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #include "../library.logic"
    ^

block __block0: line 47: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #ifdef PADDLE_COMPAT
    ^

block __block0: line 47: error: unexpected token 'PADDLE_COMPAT' (code: UNEXPECTED_TOKEN)
    #ifdef PADDLE_COMPAT
           ^^^^^^^^^^^^^

block __block0: line 48: error: unexpected token '.' (code: UNEXPECTED_TOKEN)
      MethodInvocationValue(?startupInvocation, "<<no-context>>").
                                                                 ^

block __block0: line 49: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #else
    ^

block __block0: line 51: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #endif
    ^

block __block0: line 62: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #ifdef PADDLE_COMPAT
    ^

block __block0: line 64: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #else
    ^

block __block0: line 66: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #endif
    ^

block __block0: line 73: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #ifdef PADDLE_COMPAT
    ^

block __block0: line 75: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #else
    ^

block __block0: line 77: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #endif
    ^

block __block0: line 85: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #ifdef PADDLE_COMPAT
    ^

block __block0: line 87: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #else
    ^

block __block0: line 89: error: illegal character '#' (code: ILLEGAL_CHARACTER)
    #endif

    ^

18 ERRORS (BloxCompiler version 73677_d4ce8757cf9e9f444fdfe6fd6e4f43064577d1e8)

我是否正确运行了它？我已经在这个link中附加了我用LogicBlox运行的所有文件

Answer 1

Doop目前只支持3.X版本(最好是3.9或3.10)的LogicBlox引擎。此外，doop是一个完整的框架。它不仅仅是一个逻辑文件。为了运行doop，您必须直接调用包装脚本或gradlew。

我建议你看看这篇来自PLDI15. http://plast-lab.github.io/doop-pldi15-tutorial/的教程