Macros to prettify TESLA names.
Definition in file tesla-macros.h.
#include <tesla.h>
Go to the source code of this file.
Macros | |
#define | TESLA_WITHIN(function, expression) |
An assertion made within the execution of a particular function. More... | |
#define | TESLA_ASSERT(locality, start, end, expression) |
An inline assertion. More... | |
#define | TESLA_GLOBAL(...) TESLA_ASSERT(__tesla_global, __VA_ARGS__) |
An assertion in the global TESLA context. More... | |
#define | TESLA_PERTHREAD(...) TESLA_ASSERT(__tesla_perthread, __VA_ARGS__) |
An assertion in a thread's TESLA context. More... | |
#define | TIGNORE __tesla_ignore |
An epsilon transition in a a TESLA NFA; a non-event. More... | |
#define | TSEQUENCE(...) __tesla_sequence(TIGNORE, __VA_ARGS__) |
A strictly-ordered sequence of events. More... | |
#define | called(...) __tesla_call(((void)__VA_ARGS__, TIGNORE)) |
#define | returned(...) __tesla_return(__VA_ARGS__) |
#define | callee(...) __tesla_callee(TIGNORE, __VA_ARGS__) |
#define | caller(...) __tesla_caller(TIGNORE, __VA_ARGS__) |
#define | strict(...) __tesla_strict(TIGNORE, __VA_ARGS__) |
#define | conditional(...) __tesla_conditional(TIGNORE, __VA_ARGS__) |
#define | flags(...) __tesla_flags(__VA_ARGS__) |
#define | bitmask(...) __tesla_mask(__VA_ARGS__) |
#define | TESLA_NOW __tesla_now |
#define | TESLA_STRUCT_AUTOMATON(...) __tesla_struct_usage(__VA_ARGS__) |
#define | automaton(name,...) __tesla_automaton(name, __VA_ARGS__) |
#define | tesla_done return (__tesla_automaton_done()) |
#define | optional(...) __tesla_optional(TIGNORE, __VA_ARGS__) |
#define | ANY_REP INT_MAX |
#define | REPEAT(m, n,...) __tesla_repeat(m, n, __VA_ARGS__) |
#define | UPTO(n,...) __tesla_repeat(0, n, __VA_ARGS__) |
#define | ATLEAST(n,...) __tesla_repeat(n, ANY_REP, __VA_ARGS__) |
#define | ANY(int_type) __tesla_any(int_type) |
#define | previously(...) TSEQUENCE(__VA_ARGS__, TESLA_NOW) |
A more programmer-friendly way to write assertions about the past. More... | |
#define | eventually(...) TSEQUENCE(TESLA_NOW, __VA_ARGS__) |
A more programmer-friendly way to write assertions about the future. More... | |