search

qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Large example: Lock highlighting not always correct? #23

Closed qiyitang71 closed 7 years ago

qiyitang71 commented 7 years ago

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

For transitions 11-20, "synchronized(getClass())" is highlighted. This has type java.lang.Class.

Further down, e.g., transition 422, it is "synchronized(chatServer)", but that's the chat server instance, not its class descriptor as above.

qiyitang71 commented 7 years ago

Original comment by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

Resolved by using class names to classify locks.