Added more work on expressions for codegen plugin
Continued working with the codegen core parts. Improved the overall code structure including the generation of expressions. Also some work concerning statements has been made.
Made some structural changes to codegen core part
Changed codegen core to use generated intermediate AST
Merge remote-tracking branch 'refs/remotes/origin/compass-astv2' into astv2-pvj-codegen
Minor changes: preparing merge with astv2-pvj
Merge remote-tracking branch 'refs/remotes/origin/astv2-pvj' into astv2-pvj-codegen
A lot of cleaning up due to the new design that uses a generated intermediate AST
Added some work on basic types and literal expressions. AST node naming changed to use CG suffix.
Added new template structure and more work on expressions for codegen
Added nodes for 'cast' e.g. ((double)2) and 'isolation e.g. 3*(1+2) to express the vdm semantics in the generic intermediate AST.
Cleanup due to lates changes
Changed templates to use Java calls instead of parameters in order to reduce the code doing the template merging. In addition, some cleanup has been made.
Added some work for explicit operation definitions
Added some work on statements
Changed plugin to use JDT code formatter to avoid struggling with apache velocity indention
Added work on if statement and cleanup
Added work for constructors, new + var exp, the class type and the return statement
Added work on DefLetDefStm
Added work on field and apply expressions