test1.assembly.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% Connect to Exploitation
	%===========================================================
	expl_siteInit(Resource, CallerS):-
	bind_func(Fn, init(Resource));
	cfa_call(CallerS, Fn).

	expl_siteUser(Resource, Scope):-
	bind(V, use(Resource));
	var_scope(V, Scope).


	% Connect to Polymorphism
	%===========================================================
	dfa_callguard(V, exploitation(Strategy)):-
	expl_assignments(Scope, Resource, Strategy);

	dfa_callfn(V, Fn);
	bind_func(Fn, init(Resource));
	var_scope(V, Scope).


	% Utility
	%===========================================================
	var_scope(Var, Scope):- Var=s(_, _, Scope); v(Var).