model/arch/msp430fr5969lp/driver/gpio.dfa


1
2
3
4
5
6
7
8
9
10
11
12
13

states:
  - UNINITIALIZED
  - P0_INPUT
  - P0_INPUT_PULLUP
  - P0_OUTPUT_LOW
  - P0_OUTPUT_HIGH

transition:
  setup:
    src: [UNINITIALIZED]
    dst: P0_OUTPUT
  input:
    src: [P0_INPUT, P0_INPUT_PULLUP, P0_OUTPUT_LOW, P0_OUTPUT_HIGH]