example1-wr.xreate
No OneTemporary
Actions

Subscribers

None

File Metadata

	//Only Direct implementatino defined

	import raw ("scripts/dfa/propagation.lp").
	import raw ("scripts/dfa/polymorphism.lp").
	import raw ("scripts/effects-communication/communication.lp").
	import raw ("scripts/effects-communication/config.lp").

	CommGuard = type variant{Invalid, Valid, Outdated}.

	CommDirect = type {
	value:: int
	}.

	guard:: commDirect {
	init = function:: CommDirect
	{
	{value = 0}
	}

	read = function(vault1:: CommDirect):: int
	{
	(vault1:: *;commop(receive))["value"]
	}

	write = function(vault2:: CommDirect, valueNew:: int)::CommDirect
	{
	(vault2:: *; dfa_pseudo(vault2)) + {value = valueNew}:: int; commop(send); dfa_uppy(vault2)
	}
	}

	main=function::int; entry {
	x1 = init()::*; dfa_polym(ret).
	x2 = write(x1, 1)::*; dfa_polym(arg).
	a = read(x2)::int; dfa_polym(arg).
	a
	}