示例#1
0
        /*-------------------- Constructors ---------------------------------*/

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