protected override void Init(TypeSystem t, Node node, bool interProcedural, bool fixpoint, int maxDepth) { ReentrancyAnalysis.ForceInconsistency = false; base.Init(t, node, interProcedural, fixpoint, maxDepth); factory = new ExposureElementFactory(this); }
protected override void Init(TypeSystem t, Node node, bool interProcedural, bool fixpoint, int maxDepth) { ReentrancyAnalysis.ForceInconsistency = false; base.Init(t, node, interProcedural, fixpoint, maxDepth); factory = new ExposureElementFactory(this); }