internal ReferenceVariableModel(ReferenceModelFactory factory, Variable variable) : base(factory) { Contract.Requires(variable != References.Null); this.Variable = variable; }
internal ReferenceModel(ReferenceModelFactory factory) { this.Factory = factory; }
internal NullReferenceModel(ReferenceModelFactory factory) : base(factory) { }
internal ReferenceValueModel(ReferenceModelFactory factory, HeapModelLocation location, IHeapModel heap) : base(factory) { this.location = location; this.heap = heap; }