Show Constraints

To see where a field or variable is constrained, use the DVT: Show Constraints command.

../../_images/show_constraints_from_command_palette.gif

The results. which are presented in the References View, include:

  • Constraints or type constraints involving the variable.

  • In-line constraints involving the variable, in do ... keeping {} and gen ... keeping {} actions.

  • Initializations involving the variable in new ... with {} actions.

  • Allocations of the variable using new.

  • Generations of the variable using gen or do actions.

Tip

For generatable fields you can also use the DVT: Show Constraints command.