summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--model/arch/msp430fr5969lp/driver/gpio.dfa13
-rw-r--r--model/arch/posix/driver/gpio.dfa31
-rw-r--r--model/driver/lm75.dfa1
-rw-r--r--model/driver/sharp96.dfa1
4 files changed, 46 insertions, 0 deletions
diff --git a/model/arch/msp430fr5969lp/driver/gpio.dfa b/model/arch/msp430fr5969lp/driver/gpio.dfa
new file mode 100644
index 0000000..b1f0708
--- /dev/null
+++ b/model/arch/msp430fr5969lp/driver/gpio.dfa
@@ -0,0 +1,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]
diff --git a/model/arch/posix/driver/gpio.dfa b/model/arch/posix/driver/gpio.dfa
new file mode 100644
index 0000000..84c78e4
--- /dev/null
+++ b/model/arch/posix/driver/gpio.dfa
@@ -0,0 +1,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
diff --git a/model/driver/lm75.dfa b/model/driver/lm75.dfa
index 2c136f9..4f47afd 100644
--- a/model/driver/lm75.dfa
+++ b/model/driver/lm75.dfa
@@ -1,6 +1,7 @@
codegen:
instance: lm75
includes: ['driver/lm75.h']
+ flags: ['drivers=lm75', 'arch_drivers=i2c']
parameters:
- os
diff --git a/model/driver/sharp96.dfa b/model/driver/sharp96.dfa
index 9b356db..9ea510d 100644
--- a/model/driver/sharp96.dfa
+++ b/model/driver/sharp96.dfa
@@ -2,6 +2,7 @@ codegen:
instance: sharp96
includes: ['driver/spi_b.h', 'driver/sharp96.h']
setup: ['spi.setup();', 'sharp96.setup();']
+ flags: ['drivers=sharp96', 'arch_drivers=spi_b,counter']
states:
- UNINITIALIZED