C# (CSharp) Omni.Parser.ContractDeserializerの例

コード例 #1

 protected override void Init(TypeSystem t, Node node, bool interProcedural, bool fixpoint, int maxDepth)
 {
     base.Init(t, node, interProcedural, fixpoint, maxDepth);
     factory = new ConsistentyElementFactory(this);
     if (ContractDeserializerContainer.ContractDeserializer == null)
     {
         IContractDeserializer cd = new Omni.Parser.ContractDeserializer();
         ContractDeserializerContainer.ContractDeserializer = cd;
     }
 }

コード例 #2

ファイル: ObjectConsistencyAnalysis.cs プロジェクト: hesam/SketchSharp

 protected override void Init(TypeSystem t, Node node, bool interProcedural, bool fixpoint, int maxDepth)
 {
     base.Init(t, node, interProcedural, fixpoint, maxDepth);
     factory = new ConsistentyElementFactory(this);
     if (ContractDeserializerContainer.ContractDeserializer == null)
     {
         IContractDeserializer cd = new Omni.Parser.ContractDeserializer();
         ContractDeserializerContainer.ContractDeserializer = cd;
     }
 }

コード例 #3

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

 public Compiler(){
   IContractDeserializer cd = new Omni.Parser.ContractDeserializer();
   ContractDeserializerContainer.ContractDeserializer = cd;
 }