Spexygen Reference Manual 3.0.0
Toggle main menu visibility
Loading...
Searching...
No Matches
source.c
Go to the documentation of this file.
1
#include "
header.h
"
2
3
uint8_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
12
Foo
Foo_inst
;
13
14
void
Foo_ctor
(
Foo
*
const
me, uint32_t
const
x
) {
15
me->
x
=
x
;
16
Foo_update_
(me);
17
}
18
19
void
Foo_update_
(
Foo
*
const
me) {
20
me->
x_dis
= ~me->x;
21
}
22
23
bool
Foo_verify_
(
Foo
const
*
const
me) {
24
return
me->
x_dis
== ~me->x;
25
}
header.h
a header file in the project
free_fun
uint8_t const * free_fun(uint32_t x)
Free function brief description.
Definition
source.c:3
Foo_inst
Foo Foo_inst
Definition
source.c:12
Foo
Class Foo brief description.
Definition
header.h:18
Foo::x_dis
uint32_t x_dis
Duplicate Inverse Storage for attribute Foo::x.
Definition
header.h:20
Foo::Foo_update_
void Foo_update_(Foo *const me)
Update operation to update the class invariant.
Definition
source.c:19
Foo::Foo_ctor
void Foo_ctor(Foo *const me, uint32_t const x)
Constructor of class Foo brief description.
Definition
source.c:14
Foo::x
uint32_t x
Attribute x of class Foo brief description.
Definition
header.h:19
Foo::Foo_verify_
bool Foo_verify_(Foo const *const me)
Verify operation to check the class invariant.
Definition
source.c:23
spex
source.c
© 2005-
Quantum Leaps
|
Using Online Help
|
Spexygen 3.0.0
| created with
Spexygen
© 2005-
Quantum Leaps
|
Using Online Help
|
Spexygen 3.0.0
| created with
Spexygen