There are two problems.
First, not be able to resolve types of argument of tokens mk_token({}) and mk_token([]).
Second, it is under construction how to obtain type information of the argument of mk_token in BToVdmConverter.java. (Mktkn-0007.vdmsl for example)
merge 813ebcb996228a6872eb2b493b63d11fbf0032d0
delete comments including "add"
create files on soccer specification
Add new case studies
create test data. soccer.vdmsl is tested by using interpreter.
delete comment including "add"
add operator test()
Merge commit 'b7d35096556ebe1d5e32558999606ed2924c99f9' into his/solv
modify test specifications
delete comments
create and modify test data
Add method for String(seq of char), but does not work
converting expressions whose type are product type went off.
It was available on Feb 25.
add and modify test files
Correction for type invariant pattern mismatches
Type constraint fix for variable assignments
Merge remote-tracking branch 'origin/development' into ncb/development
Fix for the about command in order to make the message correctly show in the standalone
Added method for reading the text content from an input stream
Updated about message for the experimental version of the codegen plugin