Prefinal Report for the Compiler Construction Course 2010 at EPFL in Switzerland.

1. TDoc Bringing Documentation to Tool Andrea Gallidabino Florian Gysin Compiler Construction 2010

3. Old / foreign code = harder

5. Old / foreign code = harder

6. Support developers with documentation

8. Documentation Framework

9. Similar to JavaDoc

10. Annotated Comments General Idea

12. Example Doc

13. Not yet finished! Demo

14. AST Base Implementation Code Generator Parser Lexer Analyzer recursive descent add/connect symbols check types used CAFEBABE ready to run... lookahead of one source code JVM Code

19. Checked on runtime

20. Throw exceptions if not satisfied @Preconditions /* * The method divide will divide * two integers. * @precondition b != 0 */ def divide(a:int, b:int) : int = { return a / b; }

22. parse the one expression

23. symbol and type check

24. put stuff into AST

25. generate assertion code TDoc Implementation Code Generator Parser Lexer Analyzer TDoc Generator comments source code JVM Code Html Doc

27. Obvious: introduce postconditions

28. variable condition : assert certain value/range through the whole method Things to do...

32. Preconditions Summary