search

qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Suppress locking events inside the Java library #21

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).

In the large chat server example, if a lock is taken inside a Java library call (such as in BufferedReader.readLine), that lock should not be shown.

However, there may be special cases where a Java library is replaced by a user-defined model.

In general, events without any source code associated with them should not be shown. Any event for which there is no source information should probably not appear in the selection of events on the left.

qiyitang71 commented 7 years ago

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

Resolved by suppressing the display of events for which there is no source.