1/* 2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7#include <camkes.h> 8#include <string.h> 9#include <vec.h> 10 11void getter__init(void) { 12 counter->value = 0; 13} 14 15char * getter_get_string(void) { 16 counter->value++; 17 return strdup("Hello, World!\n"); 18} 19 20vec_t getter_get_vec(void) { 21 counter->value++; 22 return (vec_t) {.x = 4.0, .y = 2.0}; 23} 24