Changes

More transformations cleanup.
	modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/CtorTrans.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/ExtractRetValTrans.java
deleted:   
src/main/java/org/overture/codegen/vdm2c/transformations/FieldIdentifierToFieldGetApplyTrans.java
new file:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/CExamplesTest.java
modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:   src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified:   src/test/resources/vdmrt/classes/ClassFieldAccessTest.vdmrt

More cleanup.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java

Refactoring of field transformations.
	new file:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java

Test model for incremental redevelopment of static field access
functionality.
	new file:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt

Some temporary static field tests exercising the globals scheme.
	modified:  
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt

Reworking field access transformation.
	modified:   core/vdm2c/NativeClassesTests.launch
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
deleted:   
core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt

Committing some intermediate stuff before moving to new branch.
	new file:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

[maven-release-plugin] prepare release Release/0.0.2
Bump ide/ to version 0.0.2

[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.3-SNAPSHOT

Stabilize tests.
	modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

-  First part of cleaned field access transformation. -  Read of field
of local object. -  Does not work for local fields, because the nodes
are of a different    type, so they must be matched separately (VarExp
vs. FieldExp.)
	modified:   core/vdm2c/NativeClassesTests.launch
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

Work in progress on getting value of local field.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java

Test model for scratch work.
	new file:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt

Some intermediate work and notes.
	new file:   NativeClassesScratchWork.launch
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:  
src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt

Work in progress on field access transformation.
	modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
new file:  
src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
modified:   src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt
new file:  
src/test/resources/vdmrt/classes/ClassInstanceVariableTest.vdmrt

More tests and fixes for field access transformation.
	modified:  
src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
src/test/resources/native/classes/ClassInstanceVariable_Tests.cpp
modified:   src/test/resources/vdmrt/classes/ClassInstanceVariable.vdmrt

-  Ongoing work on field access transformations. -  Access to fields in
current class and access to static fields of other classes works.
	modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java

Re-enabled test.
	modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java

Small change to test model for next field access feature, access to
public fields of instances.
	modified:  
src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

Tests for field access on objects pass.
	modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/ExternalTests.java

Access to values works.
	modified:  
src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java

Working on setting public fields of instances.
	modified:   core/vdm2c/NativeClassesTests.launch
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

Setting of public fields on instances works.
	modified:   NativeClassesTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:   src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

Ensuring that const and static init functions have bodies.
	modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java
modified:   src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

Forgot to emit non-empty body for static init functions.
	modified:  
vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java

Further improvements to static field access.
	modified:  
src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldExpRewriteTrans.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
renamed:   
src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldsTrans.java
->
src/main/java/org/overture/codegen/vdm2c/transformations/RenameFieldDeclsTrans.java
modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java

Read of inherited instance variables.
	modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java

Setting of public fields, static and non-static, through instance or
explicit.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt

Code cleanup.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java

Clean-up.
	modified:   NativeTests.launch
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified:  
src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java

Records test was in fact a test for products.
	modified:  
src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt

Intermediate work on records.
	modified:   NativeTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:   src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
new file:  
src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java

Emitting functions to return references to static fields for FMU export.
	modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java

Record type definitions are now transformed into standard classes and
emitted as such.  Nothing else is done yet with how the record types are
used.
	modified:   NativeTests.launch
modified:   src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
modified:   src/test/java/org/overture/codegen/vdm2c/NativeTests.java
modified:   src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt

Fixed problem with tests introduced by record extraction to classes.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified:  
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt

Work in progress on changing record declarations to corresponding class
declarations.
	new file:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java

	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java

-  Added constructor to the corresponding class for record type
definitions.  This can then be called whenever mk_ is encountered. - 
Currently simply assigns values passed in to field names, but these   
must be changed to proper field assignments so that the   
transformations can work as expected.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt

Some test model elements for static field access bug.
	modified:   ExternalTests.launch
modified:   NativeTests.launch
modified:  
src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt

Remaining math library functions, but no tests.
	modified:   c/vdmclib/src/MATHLib.c

Working on making the class name available for each class to be used in
the ASN.1 work.
	modified:  
src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm

Each class struct now has a field named "class_name" that contains the
name of the class.
	modified:  
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm
modified:  
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm

Github static modifier issue 13.
	modified:   core/vdm2c/NativeTests.launch
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddThisArgToMethodsTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified:  
core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/AMethodDeclIR.vm

Github issue 11 with initialization of record fields.
	modified:   core/vdm2c/NativeTests.launch
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java

Working on getting the right class constructor instead of mk_ for
records.
	modified:   core/vdm2c/NativeTests.launch
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified:  
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt

Fixed error with return type of constructor for record-to-class
conversion class.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java

Type of the initial value of record initialization after conversion to
classes.
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java

DOC: fixes in the README file

Work on not including unnecessary directories along with generated code.
Related to issue #4
	modified:   vdmclib/src/CMakeLists.txt
copied:     vdmclib/src/CMakeLists.txt ->
vdmclib/src/main/CMakeLists.txt
renamed:    vdmclib/src/IOLib.c -> vdmclib/src/main/IOLib.c
renamed:    vdmclib/src/IOLib.h -> vdmclib/src/main/IOLib.h
renamed:    vdmclib/src/MATHLib.c -> vdmclib/src/main/MATHLib.c
renamed:    vdmclib/src/MATHLib.h -> vdmclib/src/main/MATHLib.h
renamed:    vdmclib/src/PatternBindMatch.c ->
vdmclib/src/main/PatternBindMatch.c
renamed:    vdmclib/src/PatternBindMatch.h ->
vdmclib/src/main/PatternBindMatch.h
renamed:    vdmclib/src/PrettyPrint.c -> vdmclib/src/main/PrettyPrint.c
renamed:    vdmclib/src/PrettyPrint.h -> vdmclib/src/main/PrettyPrint.h
renamed:    vdmclib/src/SampleMakefile ->
vdmclib/src/main/SampleMakefile
renamed:    vdmclib/src/TypedValue.c -> vdmclib/src/main/TypedValue.c
renamed:    vdmclib/src/TypedValue.h -> vdmclib/src/main/TypedValue.h
renamed:    vdmclib/src/Vdm.h -> vdmclib/src/main/Vdm.h
renamed:    vdmclib/src/VdmBasicTypes.c ->
vdmclib/src/main/VdmBasicTypes.c
renamed:    vdmclib/src/VdmBasicTypes.h ->
vdmclib/src/main/VdmBasicTypes.h
renamed:    vdmclib/src/VdmClass.c -> vdmclib/src/main/VdmClass.c
renamed:    vdmclib/src/VdmClass.h -> vdmclib/src/main/VdmClass.h
renamed:    vdmclib/src/VdmMap.c -> vdmclib/src/main/VdmMap.c
renamed:    vdmclib/src/VdmMap.h -> vdmclib/src/main/VdmMap.h
renamed:    vdmclib/src/VdmProduct.c -> vdmclib/src/main/VdmProduct.c
renamed:    vdmclib/src/VdmProduct.h -> vdmclib/src/main/VdmProduct.h
renamed:    vdmclib/src/VdmRecord.h -> vdmclib/src/main/VdmRecord.h
renamed:    vdmclib/src/VdmSeq.c -> vdmclib/src/main/VdmSeq.c
renamed:    vdmclib/src/VdmSeq.h -> vdmclib/src/main/VdmSeq.h
renamed:    vdmclib/src/VdmSet.c -> vdmclib/src/main/VdmSet.c
renamed:    vdmclib/src/VdmSet.h -> vdmclib/src/main/VdmSet.h
new file:   vdmclib/src/main/vdmclib
renamed:    vdmclib/src/tests/ClassATest.cpp ->
vdmclib/src/test/ClassATest.cpp
renamed:    vdmclib/src/tests/ClassBTest.cpp ->
vdmclib/src/test/ClassBTest.cpp
renamed:    vdmclib/src/tests/ClassCTest.cpp ->
vdmclib/src/test/ClassCTest.cpp
renamed:    vdmclib/src/tests/ClassIO_Tests.cpp ->
vdmclib/src/test/ClassIO_Tests.cpp
renamed:    vdmclib/src/tests/ClassPrivateCallABC_Tests.cpp ->
vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPrivateFieldABC_Tests.cpp ->
vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPublicCallABC_Tests.cpp ->
vdmclib/src/test/ClassPublicCallABC_Tests.cpp
renamed:    vdmclib/src/tests/ClassPublicFieldABC_Tests.cpp ->
vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionForLoop.cpp ->
vdmclib/src/test/ExpressionForLoop.cpp
renamed:    vdmclib/src/tests/ExpressionsBoolean_Tests.cpp ->
vdmclib/src/test/ExpressionsBoolean_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsMap_Tests.cpp ->
vdmclib/src/test/ExpressionsMap_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsNumeric_Tests.cpp ->
vdmclib/src/test/ExpressionsNumeric_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsProduct_Tests.cpp ->
vdmclib/src/test/ExpressionsProduct_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSeq_Tests.cpp ->
vdmclib/src/test/ExpressionsSeq_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSetRandom_Tests.cpp ->
vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
renamed:    vdmclib/src/tests/ExpressionsSet_Tests.cpp ->
vdmclib/src/test/ExpressionsSet_Tests.cpp
renamed:    vdmclib/src/tests/Expressions_Tests.cpp ->
vdmclib/src/test/Expressions_Tests.cpp
renamed:    vdmclib/src/tests/HashTable_Tests.cpp ->
vdmclib/src/test/HashTable_Tests.cpp
renamed:    vdmclib/src/tests/PrettyPrint_Tests.cpp ->
vdmclib/src/test/PrettyPrint_Tests.cpp
renamed:    vdmclib/src/tests/Statements_Record_Tests.cpp ->
vdmclib/src/test/Statements_Record_Tests.cpp
renamed:    vdmclib/src/tests/StructOffsetTest_Tests.cpp ->
vdmclib/src/test/StructOffsetTest_Tests.cpp
renamed:    vdmclib/src/tests/TypeofTest_Tests.cpp ->
vdmclib/src/test/TypeofTest_Tests.cpp
renamed:    vdmclib/src/classes/A.c -> vdmclib/src/test/classes/A.c
renamed:    vdmclib/src/classes/A.h -> vdmclib/src/test/classes/A.h
renamed:    vdmclib/src/classes/B.c -> vdmclib/src/test/classes/B.c
renamed:    vdmclib/src/classes/B.h -> vdmclib/src/test/classes/B.h
renamed:    vdmclib/src/classes/C.c -> vdmclib/src/test/classes/C.c
renamed:    vdmclib/src/classes/C.h -> vdmclib/src/test/classes/C.h
renamed:    vdmclib/src/records/R1.c -> vdmclib/src/test/records/R1.c
renamed:    vdmclib/src/records/R1.h -> vdmclib/src/test/records/R1.h
renamed:    vdmclib/src/tests/typeoftest.c ->
vdmclib/src/test/typeoftest.c
renamed:    vdmclib/src/tests/typeoftest.h ->
vdmclib/src/test/typeoftest.h
modified:  
../ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java

Related to issue #4.
	modified:  
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java

Related to issue #4.
	modified:  
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java

Prepare release 0.0.4