C# (CSharp) AskTheCode.ControlFlowGraphs.Cli.TypeModels ReferenceModelFactory Examples

Example #1

        internal ReferenceVariableModel(ReferenceModelFactory factory, Variable variable)
            : base(factory)
        {
            Contract.Requires(variable != References.Null);

            this.Variable = variable;
        }

Example #2

 internal ReferenceModel(ReferenceModelFactory factory)
 {
     this.Factory = factory;
 }

Example #3

 internal NullReferenceModel(ReferenceModelFactory factory)
     : base(factory)
 {
 }

Example #4

File: ReferenceValueModel.cs Project: roberthusak/AskTheCode

 internal ReferenceValueModel(ReferenceModelFactory factory, HeapModelLocation location, IHeapModel heap)
     : base(factory)
 {
     this.location = location;
     this.heap     = heap;
 }