C# (CSharp) System.Compiler.Analysis ExposureElementFactoryの例

コード例 #1

ファイル: ObjectExposureAnalysis.cs プロジェクト: tapicer/resource-contracts-.net

 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

ファイル: ObjectExposureAnalysis.cs プロジェクト: Plankankul/SpecSharp

 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);
 }