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