Question

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

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目前仅支持LogicBlox引擎的3.X版（最好是3.9或3.10）。此外，doop是一个完整的框架。它不仅仅是一个逻辑文件。为了运行doop，你必须直接调用包装脚本或gradlew。

我建议你从PLDI＆＃39; 15查看本教程。 http://plast-lab.github.io/doop-pldi15-tutorial/

错误：非法字符'＃'

1 个答案: