Changes

Summary

Add method to find object type VDM name (commit: 58be394) (details)
Add formatting support for numeric unary expressions (commit: 4941f54) (details)
Add support for unary minus (commit: ade3c8a) (details)
Add support for unary plus (commit: 3e9d36c) (details)
Test that numeric unary expressions are handled correctly (commit: 1772386) (details)

Commit 58be394cebd9cd0e37a704b12bb5c100e8f66d45 by Peter W. V. Tran-Jørgensen Add method to find object type VDM name Related to issue #2 (commit: 58be394)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit 4941f54fbab5e45a932f2960aeb3d40dbd42defe by Peter W. V. Tran-Jørgensen Add formatting support for numeric unary expressions Addresses issue #46 (commit: 4941f54)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)
Commit ade3c8ad0e213e32bbe18bcae0aa3b9847fe2cc9 by Peter W. V. Tran-Jørgensen Add support for unary minus Addresses issue #46 (commit: ade3c8a)
	core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/AMinusUnaryExpIR.vm (diff)
Commit 3e9d36ca3a6ce004b523699dab5e819d177870fe by Peter W. V. Tran-Jørgensen Add support for unary plus Addresses issue #46 (commit: 3e9d36c)
	core/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/expressions/APlusUnaryExpIR.vm (diff)
Commit 1772386bbcf3e8f2d3fbdfb497d2148b65327d8c by Peter W. V. Tran-Jørgensen Test that numeric unary expressions are handled correctly Closes #46 (commit: 1772386)
	core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionNumeric.vdmrt (diff)
	core/vdm2c/src/test/resources/native/numeric/ExpressionsNumeric_Tests.cpp (diff)