DVT e Language IDE User Guide
Rev. 19.1.31, 5 September 2019

33.10.1 Checks View

The Checks View presents all the check that, expect, assert and assume constructs in the project.

Open the view from menu Window > Show View > Other... > DVT > Checks

Double click on a check and jump to the source location.

check that
assert
expect
assume

1. Quick Search. You can use CamelCase, Simple Regex or Hierarchical Search to locate a specific element. By default, hierarchical search will show all descendants:

2. Check Kind Filters. You may choose to hide assertions, assumptions, checks or expects - see the image below: