Fix for reading from a file in a jar
Fix for VDM dialect check in codegen IDE part
Made the Java code generation commmand only visible for VDM++ projects
Changed icon used by the codegen IDE
The commit covers two things: 1) The classname is now made a field in the ClassDeclStatus. So, if a VDM class cannot be generated (the generated class in the ClassDeclStatus is null) then at least the name of the VDM class will be available in the ClassDeclStatus. 2) Fix: The source file was accidently created for a class where no code is being generated (when the class has unsupported nodes).
Minor imports cleanup
Added command to the codegen IDE to display an 'about' message for this plugin
Updated a codegen test such that it will pass the typecheck with the most recent typechecker changes made
Merge branch 'origin/test'
Updated xml files to make the codegen plugin appear in the standalone
Some minor formatting of a codegen library class
Added the code generation runtime as a separate core project
The codegen core part now refers to the codegen runtime via the codegen-runtime project
Updated codegen test results as the codegen javalib (now termed the 'runtime') has been moved to the 'runtime' package
Updated the testing system to reflect the new codegen runtime location
Updated the class template to import the correct codegen runtime package
Added the set type name as a parameter for the methods in the transformation assistant to avoid having it depend on a java specific constant
Configured the transformation assistant with 'TempVarPrefixes' as a way to obtain naming prefixes for variables generated when the IR AST is being transformed.
The code generator now allows overloading of functions and operations
Updated the interfaces for the strategies used for transforming the IR AST based on MOLA's feedback. Basically, more methods has been added and more information is passed to the strategies. In general this is a better approach since the strategies should be general enough to cope with differences in the target language being generated to.