Data type definitions for SpiNNaker Neuron-modelling. More...

#include <stdint.h>
#include <stdbool.h>
#include <stdfix.h>
#include "stdfix-full-iso.h"

Macros
#define	use(x) do {} while ((x)!=(x))
	This can be used to silence gcc's "-Wall -Wextra" warnings about failure to use function arguments.

Typedefs
typedef uint32_t	size_t
	An unsigned integer used for the size of objects.

typedef uint32_t	index_t
	An unsigned integer used as an index.

typedef uint32_t	counter_t
	An unsigned integer used as a counter or iterator.

typedef uint32_t	timer_t
	An unsigned integer used to track the simulation time.

typedef uint32_t *	address_t
	A generic pointer to a word.

Detailed Description

Data type definitions for SpiNNaker Neuron-modelling.

Definition in file common-typedefs.h.

Macro Definition Documentation

◆ use

#define use ( x ) do {} while ((x)!=(x))

This can be used to silence gcc's "-Wall -Wextra" warnings about failure to use function arguments.

Obviously you'll only be using this during debug, for unused arguments of callback functions, or where conditional compilation means that the accessor functions return a constant

Parameters

[in] x The variable that is "used". Not safe with floating point!

Definition at line 79 of file common-typedefs.h.

Typedef Documentation

◆ size_t

typedef uint32_t size_t

An unsigned integer used for the size of objects.

Definition at line 105 of file common-typedefs.h.

◆ index_t

typedef uint32_t index_t

An unsigned integer used as an index.

Definition at line 111 of file common-typedefs.h.

◆ counter_t

typedef uint32_t counter_t

An unsigned integer used as a counter or iterator.

Definition at line 117 of file common-typedefs.h.

◆ timer_t

typedef uint32_t timer_t

An unsigned integer used to track the simulation time.

Definition at line 123 of file common-typedefs.h.

◆ address_t

typedef uint32_t* address_t

A generic pointer to a word.

Definition at line 129 of file common-typedefs.h.

Macros

Typedefs