예제 #1
0
 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);
 }
예제 #2
0
 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);
 }