Changes between Version 9 and Version 10 of path:pathBrowser


Ignore:
Timestamp:
12/17/2013 03:16:50 PM (10 years ago)
Author:
michael.perscheid
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • path:pathBrowser

    v9 v10  
    1919 * '''Contracts:''' We extend the browser with dynamic contracts from our [wiki:path:tutorial:tdfn test-driven fault navigation]. There are buttons for displaying the source code of invariants (inv), pre- and post-conditions (pre/post). Developers can also add manual assertions to this source code.
    2020
    21  * '''!PathView:''' We offer a button to open a [wiki:path:tutorial:modelbasedEditor model-based source code view] directly from the selected class or method snippet.
     21 * '''PathView:''' We offer a button to open a [wiki:path:tutorial:modelbasedEditor model-based source code view] directly from the selected class or method snippet.
    2222
    2323== Screenshot ==