Hey,
a couple oddities for the System class.
First of all, arrayCopy is not usable for me I'm afraid. JPF crashes
ungracefully every time I try to use it when doing manipulations on the
collections I'm implementing for the MJI level. As of now I have ad-hoc
code to copy over the elements from one collection to another, I will
mark out every place where this occur so it can be replaced with a
proper arrayCopy call in the future.
Secondly, when calling System.out.println() on a HashMap collection, the
print reveals key and value of every item, basically like this 'name of
key' = 'content of value'. This is probably intentional, however my 2
cents is that it should just reveal the value.
Back to work for me :-)
Best regards,
Cato
|
