Package limn.testing.a11y

Class LeafActionContract

java.lang.Object
limn.testing.a11y.LeafActionContract
public final class LeafActionContract extends Object
What every widget of the LEAF_ACTION shape owes a reader, as named cases over a LeafActionSubject: it is a leaf that offers PRESS; the verb reaches the widget's own handler exactly once; a disabled leaf withdraws the verb and a press reaches nothing; and the node keeps its id across a press. A refusal is read as an effect (see ValueContract).

  • Method Details

    • cases

      public static List<ContractCase> cases(LeafActionSubject subject, UiRuntime runtime)
      The cases, in the order the class description gives them.
      Parameters:
      subject - the widget under contract
      runtime - the installed runtime the harness drains verbs through
      Returns:
      the cases; a test runs each as a dynamic test