Dear colleagues.

I would like to announce to this community FormalCapture 1.0.17484, an IDE and a methodology to develop custom languages and code generators.

The process is simple:
  1. define your textual and/or graphical syntax (yes, formal languages can be graphic and FormalCapture supports them!);
  2. define the code generation rules using the exclusive phase-based methodology;
  3. write using your new language assisted by the FormalCapture IDE;


Name:  fc_about_ideg_thumb.png
Views: 417
Size:  46.3 KB The graphic grammar editor permits fast and error-free development of input grammars.
At the same time, it provides with an immediate overview of the underlying data structures that will be associated to it.
Name:  fc_about_diag_thumb.png
Views: 288
Size:  7.0 KB FormalCapture supports also graphic languages. They have a formal syntax and semantics as text languages do. Text and graphic languages can be mixed.
Name:  fc_about_user_thumb.png
Views: 393
Size:  11.1 KB Once defined your new language, FormalCapture automatically assists you in using it.
Name:  fc_about_errs_thumb.png
Views: 420
Size:  35.7 KB Error reporting, including semantic errors, is mostly automatic. FormalCapture automatically maintains links to the user source file, so the error location just one click away.
Name:  fc_about_debg_thumb.png
Views: 415
Size:  27.6 KB The IDE includes online help, type and object browser plus a complete step debugger.

In the examples area you can download simple and complex projects developed with FormalCapture including:
  • a BASIC compiler including its virtual CPU
  • A literal equation calculator
  • A Java code generator to associate classes to persistent configuration files
  • a graphic genealogy and age calculator
  • and more...



FormalCapture is 100% free for non commercial use.
You can download the class-3 signed installer at the Dafocus download area.

I also would be very happy to have your feedback.

Best regards
RobotCodex