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

            this.Variable = variable;
        }
Esempio n. 2
0
 internal ReferenceModel(ReferenceModelFactory factory)
 {
     this.Factory = factory;
 }
Esempio n. 3
0
 internal NullReferenceModel(ReferenceModelFactory factory)
     : base(factory)
 {
 }
 internal ReferenceValueModel(ReferenceModelFactory factory, HeapModelLocation location, IHeapModel heap)
     : base(factory)
 {
     this.location = location;
     this.heap     = heap;
 }