test-IsolationCat_1.xreate
No OneTemporary
Actions

Subscribers

None

File Metadata

	interface(extern-c){
	externalLibs = library:: pkgconfig("libxml-2.0").

	include {
	externalLibs = {"scripts/virtualization/defs.h"}
	}.
	}

	import raw ("scripts/cfa/context.lp"). //enable context reasoning
	import raw ("scripts/virtualization/virtualization.lp"). //enable virtualization reasoning
	import raw ("scripts/virtualization/test-IsolationCat_1.assembly.lp"). //additional configuration

	DictSizo = type slave dict_sizo.
	Sizo = type slave virt_sizo.

	guard:: strategy(direct)
	{
	resolveFilename = function(filename:: string):: string;
	assign_zek_access(files)
	{
	filename
	}
	}

	guard:: strategy(prefix)
	{
	resolveFilename = function(filename:: string):: string;
	assign_zek_access(files)
	{
	dictSizo = intrinsic query("dict_sizo")::[DictSizo].
	sizoId = intrinsic query late("sizo_current"->sizoCurrent:: Sizo):: int;
	demand(sizo)
	{
	loop fold(dictSizo->entry::DictSizo, 0->id):: int
	{
	if(entry[0] == sizoCurrent):: int { entry[1] } else { id }
	}
	}.

	buf = "00"::string.
	seq
	{ sprintf(buf, "%d/%s", sizoId, filename) }
	{ buf }
	}
	}

	openFile = function(filename:: string):: int
	{
	filenameReal = resolveFilename(filename):: string.
	printf("File opened: '%s'%c", filenameReal, 10)
	}

	<EXAMPLE>