propagation.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	%Propagates symbol bindings registered by dfa_propagation over dfa_uppy edges
	%
	% INPUT:
	% dfa_propagation(X) - register propagated Ann
	% bind(Symb, X) - initial symbol
	%
	% CALCULATED:
	% dfa_uppy - UPdate or coPY

	bind(SymbA, DfaAnn):- bind(SymbB, DfaAnn); dfa_propagation(DfaAnn);
	1{dfa_uppy(SymbA, SymbB); dfa_uppy(SymbB,SymbA)};
	v(SymbA); v(SymbB).

	dfa_uppy(X, Y):- bind(X, dfa_uppy(Pseudo)); bind(Y, dfa_pseudo(Pseudo)).
	dfa_uppy(X, Y):- dfa_alias(X, Y).

	dfa_uppy(ArgFormal, ArgActual):- dfa_callargs(_,ArgFormal, ArgActual).
	dfa_uppy(RetActual, RetFormal):-
	dfa_callret(CallId, RetActual); dfa_callinstance(CallId, FnName);
	dfa_fnret(FnName, RetFormal).