summaryrefslogtreecommitdiff
path: root/model/driver/lm75.dfa
blob: 2c136f96626783e7c8d9a1fdd313156b17437a6d (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
32
33
34
35
36
37
codegen:
  instance: lm75
  includes: ['driver/lm75.h']

parameters:
  - os
  - hyst

states:
  - UNINITIALIZED
  - POWEROFF
  - ACTIVE

transition:
  shutdown:
    src: [UNINITIALIZED, POWEROFF, ACTIVE]
    dst: POWEROFF
  init:
    src: [UNINITIALIZED, POWEROFF, ACTIVE]
    dst: ACTIVE
  getTemp:
    src: [ACTIVE]
    dst: ACTIVE
  setOS:
    src: [ACTIVE]
    dst: ACTIVE
    arguments:
      - name: os
        values: [30, 90]
        parameter: os
  setHyst:
    src: [ACTIVE]
    dst: ACTIVE
    arguments:
      - name: hyst
        values: [29, 60]
        parameter: hyst