Spexygen Reference Manual 3.0.0
Loading...
Searching...
No Matches
source.c
Go to the documentation of this file.
1#include "header.h"
2
3uint8_t const * free_fun(uint32_t x) {
4 static uint8_t arr[10];
5 a[0] = (uint8_t)x;
6 a[1] = (uint8_t)(x >> 8U);
7 a[2] = (uint8_t)(x >> 16U);
8 a[3] = (uint8_t)(x >> 24U);
9 return arr;
10}
11
13
14void Foo_ctor(Foo * const me, uint32_t const x) {
15 me->x = x;
16 Foo_update_(me);
17}
18
19void Foo_update_(Foo* const me) {
20 me->x_dis = ~me->x;
21}
22
23bool Foo_verify_(Foo const* const me) {
24 return me->x_dis == ~me->x;
25}
a header file in the project
uint8_t const * free_fun(uint32_t x)
Free function brief description.
Definition source.c:3
Foo Foo_inst
Definition source.c:12
Class Foo brief description.
Definition header.h:18
uint32_t x_dis
Duplicate Inverse Storage for attribute Foo::x.
Definition header.h:20
void Foo_update_(Foo *const me)
Update operation to update the class invariant.
Definition source.c:19
void Foo_ctor(Foo *const me, uint32_t const x)
Constructor of class Foo brief description.
Definition source.c:14
uint32_t x
Attribute x of class Foo brief description.
Definition header.h:19
bool Foo_verify_(Foo const *const me)
Verify operation to check the class invariant.
Definition source.c:23