enriquerodbe / coqidea Goto Github PK

Write tests trying to cover all syntax features.
See: http://confluence.jetbrains.com/display/IntelliJIDEA/Parsing+Test

Remove "Coq" prefix as it's obvious and repetitive.

Add wiki documentation so this project can be shared.

Some essential items are:

• What's Coq and how this project would contribute.
  • Bring Coq documentation and IDEA links.
• Brief insight to project goals.
• How to contribute
  • How to download source and run.
  • Maybe a little comment on lexers and parsers, providing related links.
  • Bring IDEA custom language support links.

Read Coq documentation carefully and make sure every keyword is added as a token in the plugin lexer. Also find all language's token types.

As first milestone, it needs a stable project name and it'll be perchoir. Rename this github project, readme file, package naming and all that goes under project naming.

Create necessary classes to add a colors settings page.

Implement a more complete syntax.
See: http://coq.inria.fr/distrib/current/refman/Reference-Manual003.html

All words that match with the identifier regex and aren't keywords are being recognized as identifiers.
This may be solved by implementing the parser that should be done in #7 .

Research Intellij IDEA custom language support and decide if a complete definition of the language syntax is needed for just highlighting purposes.

Improve parser with error detection and recovery.
See: https://github.com/JetBrains/Grammar-Kit