CSY/reowolf Files · examples/8_net_ports/amy.c · Centrum Wiskunde & Informatica (CWI)

Files @ 20e64ced68b1

Branch filter:

Location: CSY/reowolf/examples/8_net_ports/amy.c

20e64ced68b1 916 B text/x-csrc Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

reversed a predicate simplification; turns out to break the mutual inconsistency property of native branches in some corner cases where 3+ branches have colliding predicates

#include <stdio.h>
#include <string.h>
#include "../../reowolf.h"
#include "../utility.c"

int main(int argc, char** argv) {
	Arc_ProtocolDescription * pd = protocol_description_parse("", 0);
	char logpath[] = "./8_amy_log.txt";
	Connector * c = connector_new_logging(pd, logpath, sizeof(logpath)-1);
	printf("Error str `%s`\n", reowolf_error_peek(NULL));
	
	PortId putter, getter;
	char addr_str[] = "127.0.0.1:8000";
	connector_add_net_port(
		c, &putter, addr_str, sizeof(addr_str)-1, Polarity_Putter, EndpointPolarity_Active);
	printf("Error str `%s`\n", reowolf_error_peek(NULL));
	
	connector_add_net_port(
		c, &getter, addr_str, sizeof(addr_str)-1, Polarity_Getter, EndpointPolarity_Passive);
	printf("Error str `%s`\n", reowolf_error_peek(NULL));
	
	connector_connect(c, 4000);
	printf("Error str `%s`\n", reowolf_error_peek(NULL));
	
	
	protocol_description_destroy(pd);
	connector_destroy(c);
	return 0;
}