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
modify caseADistConcatUnaryExp, add caseAMapCompMapExp and its test case (Map-0019.vdmsl)
add a process to create an empty map in BToVdmConverter.java
create test data for map
add and delete comments in VdmToBConverter.java
modify caseAMapCompMapExp method to apply dom several times (depends on the number of variables placed at first part)
underconstruction caseASeqCompSeqExp method
create test data for sequence and map
add test data
m2e suppress of enforcer warning
removed warnings