Changes

preparing next release

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

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

Add test from commit 6ce283

Add test code from commit 16f494

Add test code changes from d7ffd1

Changes from 22e1d1

Port over changes related to de0401

Re-enable test (related to 732351)

Fix issue related to construction of the field name

Changes related to 15dd76

Ensuring that const and static init functions have bodies
Porting over fad26f and 67c12f

changed cmake testing to reuse the same compiled googletest resources

Work on static fields (related to 9c66cd)

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

Add prerequisite section in the README
Related to issue #14

Update description of test properties
Related to issue #14

Describe how to execute the runtime tests

Update readme.md

Re-organise readmes

Cleanup README
Closes #14

Do not put launch configurations under version control

Change testing log level

Untrack launch configurations

Allow test files to exist

Update quote test to support test execution

Add name mangling for quote types

Slightly better testing of quotes

Add name mangling for the unknown type and the template type

Add name mangling for named types

Add name mangling for union types

Suppress googletest output by default

Improvements for the C code generator command-line

Update tests to pass the --quiet flag to the C code generator
command-line tool

Fix issue with the field access transformation

Test that the field transformation issue is fixed

Update public field test to compile the generated code

Re-enable and fix field test

Remove -DVDM_LIB_PATH test property
Closes #15

Update vdm2c to use newest version of Overture
Work on issue #18

Update the VDM2C plugin to build against Eclipse Neon. Closes #18

Testing branching.

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

More path fixes.  Related to issue #4.

Test for behaviour of class variable and record variable assignment.
	modified:   src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt

Test case for scratch work VDM class.
	modified:  
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java

Test material to determine whether assignment achieves value and
reference semantics correctly.
	modified:  
vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified:  
vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt

Tweak description of how to execute the runtime library tests

Remove generated test file

Add more tests for static fields

Renaming for VDM quote type.
	modified:   c/vdmclib/src/main/TypedValue.c
modified:   c/vdmclib/src/main/TypedValue.h
modified:   c/vdmclib/src/main/VdmMap.c

Fix code generation of static field access
Closes #12

Test that issue with code generation of static field access is fixed
Related to issue #12

Fix issue with assignments to static fields
Related to issue #12

Aligned order of parameters for Collection construction functions.
	modified:   c/vdmclib/src/main/TypedValue.c
modified:   c/vdmclib/src/main/TypedValue.h
modified:   c/vdmclib/src/main/VdmProduct.c
modified:   c/vdmclib/src/main/VdmSeq.c
modified:   c/vdmclib/src/main/VdmSet.c
modified:   c/vdmclib/src/main/vdmclib

Preventing unimplemented math functions from generating compiler
warnings.  Temporary fix until they are implemented.  These functions
are not currently needed by any of the driving case studies.
	modified:   MATHLib.c

Fix: Lookup of the name of the enclosing class did not expect the system
class

Clean up NameConverter (remove unused code)

Fix the static field access transformation
The transformation did not take variable expressions into account. 
Related to issue #14.

Test that the static field issues have been fixed

Correct description of how to execute the runtime library tests

Integrate runtime library test into Maven build
Closes #30

Disable run-lib-tests shell script

Run cmake before executing the runtime library tests
Fixes issue related to issue #30

Executing the runtime library test requires cmake be run

Update description of how to execute the runtime library tests
Related to issue #30

Fixed memory leak in setting class field value.  Related to issue #29.
	modified:   c/vdmclib/src/main/VdmClass.h
modified:   c/vdmclib/src/main/vdmclib

Fixes issue #29.
	modified:   c/vdmclib/src/main/VdmClass.h
modified:   c/vdmclib/src/main/vdmclib

Update C code generator plugin to export missing package

Prepare release 0.0.6