0

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)

私はそれを正しく実行していますか？LogicBlox で実行したすべてのファイルをこのリンクに添付しました。

4

1 に答える 1

0

現在、Doop は LogicBlox エンジンのバージョン 3.X (できれば 3.9 または 3.10) のみをサポートしています。さらに、doop はフレームワーク全体です。単なるロジックファイルではありません。doop を実行するには、ラッピング スクリプトまたは gradlew を直接呼び出す必要があります。

PLDI'15 のこのチュートリアルを確認することをお勧めします。http://plast-lab.github.io/doop-pldi15-tutorial/

于 2015-11-28T12:56:32.010 に答える