private var _insets: HashMap[ANode, FLOW]

nitc :: StaticAnalysis :: _insets

Sets at the entry of each node.

Each node is associated with the current_inset it got.

Property definitions

nitc $ StaticAnalysis :: _insets 
	# Sets at the entry of each node.
	#
	# Each node is associated with the `current_inset` it got.
	var insets = new HashMap[ANode, FLOW]
src/saf/saf_base.nit:38,2--41,38
Nit tools. Version .