U.Minho VDMTools Helper (M.F.P.II - 2005/06)
[ DI/UM ]

Student's questions:


QUESTION [ Concurrency primitives ] - Can we use the concurrency primitives interactively in the VDMTools interpreter? I tried to run the POP3 example that is available from www.vdmbook.com, in the interpreter step-by-step mode. Given

class Starter

operations
public Start : POP3Server ==> ()
Start(server) == start(server);

end Starter
here is what I did:
1. create ch := new MessageChannelBuffer()
2. create server := new POP3Server(|->, ch,|->)
3 create starter := new Starter();
3. debug starter.Start(server)
4. create mc := new MessageChannel()
5. debug ch.Put(mc)
Nothing happens at this stage (I was expecting to see the message saying "Creating POP3ClientHandler" ...). What am I doing wrong?

QUESTION [ Rose Link ] - I have Rose 2000 installed and checked that the Rose Link is well installed in Rose Add-In manager. But when I press the Rose button in the VDM++ Toolbox start running without control. (This maybe a newbie error :( ).


Back to the main page MFP-II
Outras disciplinas leccionadas pelo DIUM


J. Nuno Oliveira 2006-05-23