summaryrefslogtreecommitdiff
path: root/model/arch/posix/driver/gpio.dfa
blob: 84c78e4bb8f8d913854775b7437084d5f0c43412 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
codegen:
  instance: gpio
  includes: ['driver/gpio.h']

states:
  - UNINITIALIZED
  - P0_INPUT
  - P0_OUTPUT

parameters:
  - px00_status

transition:
  setup:
    src: [UNINITIALIZED]
    dst: P0_OUTPUT
  input:
    src: [P0_INPUT, P0_OUTPUT]
    dst: P0_INPUT
    arguments:
      - name: pin
        values: ['GPIO::px00']
  output:
    src: [P0_INPUT, P0_OUTPUT]
    dst: P0_OUTPUT
    arguments:
      - name: pin
        values: ['GPIO::px00']
      - name: value
        values: [0, 1]
        parameter: px00_status