Code: Select all
interface uart_tx_if {
void output_char(uint8_t data);
};
...
extends client interface uart_tx_if : {
void output_string(client interface uart_tx_if self,
uint8_t data[n], unsigned n) {
for (size_t i = 0; i < n; i++) {
self.output_char(data[i]);
}
}
}
regards
Al