/*-------------------- Constructors ---------------------------------*/ internal ReferenceScope(string name) : base(name) { Contract.Requires(name != null); defaultClass = new ClassRef(this, "", ""); defaultClass.MakeSpecial(); }