Files @ 17fe648a8934
Branch filter:

Location: CSY/reowolf/examples/incr_5/amy.c

MH
Partial reimplementation of compiler and TypeTable

Every type symbol and its possible polymorphic variables are now
parsed up front and put in the SymbolTable, doing away with the
complicated and error-prone NamespacedIdentifier. Still pending
changes to parts of the compiler and the runtime, so not working
at the moment.
/* This example demonstrates:
- After connecting, ports can exchange messages
- Message exchange is conducted in two phases:
	1. preparing with `connector_put`, `connector_get`, and
	2. completing with `connector_sync`.
	This paradigm is similar to that for sockets in non-blocking mode.
- The connector stores messages received during sync. they can be inspected using `connector_gotten_bytes`.
- Ports created using `connector_add_port_pair` behave as a synchronous channel; messages sent in one end are received at the other.
*/
#include <stdio.h>
#include <string.h>
#include "../../reowolf.h"
#include "../utility.c"

int main(int argc, char** argv) {
	char * pdl_ptr = buffer_pdl("eg_protocols.pdl");
	size_t pdl_len = strlen(pdl_ptr);
	Arc_ProtocolDescription * pd = protocol_description_parse(pdl_ptr, pdl_len);
	Connector * c = connector_new(pd);
	
	PortId putter, getter;
	connector_add_port_pair(c, &putter, &getter);
	connector_connect(c, -1);
	connector_print_debug(c);
	
	connector_put_bytes(c, putter, "hello", 5);
	connector_get(c, getter);
	
	connector_sync(c, -1); // -1 means infinite timeout duration
	size_t msg_len;
	const char * msg_ptr = connector_gotten_bytes(c, getter, &msg_len);
	printf("Got msg `%.*s`\n", (int) msg_len, msg_ptr);
	
	
	protocol_description_destroy(pd);
	connector_destroy(c);
	free(pdl_ptr);
	return 0;
}