|
ceptr
|
#include "../src/ceptr.h"#include "../src/receptor.h"#include "../src/def.h"#include "../src/accumulator.h"#include "../src/vmhost.h"#include "../src/protocol.h"#include "http_example.h"#include <unistd.h>#include "spec_utils.h"Go to the source code of this file.
Functions | |
| void | testReceptorCreate () |
| void | testReceptorAddRemoveExpectation () |
| void | testReceptorSignal () |
| void | testReceptorSignalDeliver () |
| void | testReceptorDeliverConversation () |
| void | testReceptorConversations () |
| void | testReceptorResponseDeliver () |
| void | testReceptorEndCondition () |
| void | testReceptorExpectation () |
| void | testReceptorDef () |
| void | defineHouseLocation (Receptor *r, Symbol *lat, Symbol *lon, Structure *latlong, Symbol *house_loc) |
| [defineHouseLocation] More... | |
| void | testReceptorDefMatch () |
| [defineHouseLocation] More... | |
| void | testReceptorInstances () |
| void | testReceptorSerialize () |
| void | defineNums (Receptor *r) |
| void | makeInt (T *t, int v) |
| void | testReceptorNums () |
| void | testReceptorEdgeStream () |
| void * | _ltester (void *arg) |
| void | testReceptorEdgeListener () |
| void | testReceptorClock () |
| void | testReceptor () |
Variables | |
| int | G_next_process_id |
| Symbol | mantissa |
| Symbol | exponent |
| Symbol | exps [16] |
| Structure | flt |
| Structure | integer |
| Symbol | latitude |
| Symbol | longitude |
| Structure | lat_long |
| Symbol | home_location |
Definition in file receptor_spec.h.
| void defineHouseLocation | ( | Receptor * | r, |
| Symbol * | lat, | ||
| Symbol * | lon, | ||
| Structure * | latlong, | ||
| Symbol * | house_loc | ||
| ) |
[defineHouseLocation]
define a "house location" symbol built out of a latlong
Definition at line 408 of file receptor_spec.h.
| void testReceptorCreate | ( | ) |
| void testReceptorDefMatch | ( | ) |
[defineHouseLocation]
[testReceptorDefMatch]
[testReceptorDefMatch]
Definition at line 416 of file receptor_spec.h.
| void testReceptorExpectation | ( | ) |
| void testReceptorInstances | ( | ) |
| void testReceptorSerialize | ( | ) |