[Javapathfinder-devel] How can I model a blocked method?

[Taehoon L. <no...@gm...>]

Hi,

When I implement MJI of java.net, it is hard that implementing a MJI of
method which can be blocked.
Such as ServerSocket.accept(),

"The method blocks until a connection is made."

Because MJI should return some object , I don't have any idea that implement
such status.
I've tryed "env.repeatInvocation();". However, infinite loop is occured by
it.
If you have any idea, Please let me know.



-- 
-- 
Taehoon Lee(이태훈)
Ph.D candidate
Kyonggi University , Korea