# An analysis go forward from the entry point to the exit point.
#
# With a forward analysis, output properties are determined by the inputs.
class ForwardAnalysis
	super StaticAnalysis

	redef fun visit(n) do n.accept_forward_analysis(self)
end