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 | ( | ) |