-
Notifications
You must be signed in to change notification settings - Fork 20
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Document for TL development for high-level user #6
Comments
I can work for it while working for issue #28 |
It think now here we can discuss only document for that. |
@nickovic |
@nickovic |
@nickovic I'm trying it. I did not understand what the difference between /node and /operation. We can write explanation. |
@nickovic $ antlr4 StlParser.g4 -Dlanguage=Python3 -no-listener -visitor -o ../../parser/stl_ab/
warning(109): /mnt/data/repos/rtamt/rtamt/grammar/tl/LtlParser.g4:3:0: options ignored in imported grammar LtlParser |
@nickovic |
I think my question is difference or functionality between, |
I'm trying to implement somehow different version of dense time offline STL. I think problem is I did not understand the architecture 100%. Once we can go thorough the extension then look back again. |
Now I understand your /node structure is correct. |
@nickovic
|
@nickovic
|
Let me update the expected use-case a bit.
|
@nickovic Let's drop out 3. first. |
@nickovic |
We are writing it in syntax-extension-tutorial branch. |
We need to consider Paser Lexser side usability around ANTLR and python wrapper.
We agreed the tool architecture is well supports this use-case as much as possible.
Probably, problem is explanation. we will provide several sample ceases.
add new operation to online-STL in python
How to make C++ wrapper At first prototype, in python is enough. It is for when developer needs a faster code.
Build a completly new language. Propbably a simple language is good.
The text was updated successfully, but these errors were encountered: