Changes between Version 13 and Version 14 of path:pathBrowser
- Timestamp:
- 12/17/2013 04:13:38 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
path:pathBrowser
v13 v14 38 38 Buttons (inv, pre, post) below class pane respectively method pane:: If contracts are available, these buttons allow developers to explore the generated assertions for class invariants, method pre- and method post-conditions. Developers can also change the corresponding source code and write their own assertions. However, please be careful. !PathMap's contract generation will override or remove these manual statements within the next run. 39 39 40 ''Coverage'' button:: XXX new buttons coverage (underlined statements),40 ''Coverage'' button:: refines the method coverage at the statement level. It will execute all covering test cases of the selected method and analyze the covering byte codes only for this specific method. In the end, all covered statements will be underlined and present developers further details about executed source code. However, we do not store this information. For later access, this analysis has to be rerun. 41 41 42 ''Path views'' button:: XXX path views (ref)42 ''Path views'' button:: displays all model-based views that include the selected source code entities. It also allows developers to create new views that will be opened within our [wiki:path:pathView PathView]. 43 43 44 Overlay at variable identifiers:: XXX overlay for type information (ref to type harvesting) 44 Overlay at variable identifiers:: shows dynamically derived type information from test cases for instance variables, arguments, and return values (move cursor over method selector). We [wiki:path:tutorial:typeHarvesting: harvest these types] from the actual run-time behavior of test cases. For that reason, this information has a probability to be too specific or too generic (depending on test coverage and quality). Nevertheless, for program comprehension this type information can be very helpful. 45 46 47 48 49