projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16956ee) | patch
Refined and expanded the javadoc for SearchListener.java and SearchListenerAdapter...
authorYahya <yahya.ismail@hotmail.ca>
Mon, 25 Mar 2019 13:39:05 +0000 (09:39 -0400)
committercyrille-artho <cyrille-artho@users.noreply.github.com>
Mon, 25 Mar 2019 13:39:05 +0000 (14:39 +0100)
commite02aff045c6a03c4294ed0e730ecb6d75e059921
tree294a01777e49f32ecd2d4e4b883c85cf10be6dfatree | snapshot
parent16956ee553b03f989c8e09d3df9b35ce21c10fa2commit | diff
Refined and expanded the javadoc for SearchListener.java and SearchListenerAdapter.java (#178)

Fixed up some of the spelling mistakes in the documentation for SearchListener.java. Added verbosity to the documentation for the class and method descriptions as well as extra details regarding each method and its usage.
src/main/gov/nasa/jpf/search/SearchListener.java diff | blob | history
src/main/gov/nasa/jpf/search/SearchListenerAdapter.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.