Exemple #1
0
 public virtual PropertyInfo[] GetProperties(BindingFlags arg0)
 {
     Contract.Ensures(Contract.Result <PropertyInfo[]>() != null);
     return(default(PropertyInfo[]));
 }
Exemple #2
0
 public String ToString(String format, IFormatProvider provider)
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(Number.FormatInt32(m_value, format, NumberFormatInfo.GetInstance(provider)));
 }
Exemple #3
0
 public String ToString(IFormatProvider provider)
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(FormatProvider.FormatInt32(_value, null, provider));
 }
        public virtual System.Reflection.Assembly Load(Byte[] rawAssembly, Byte[] rawSymbolStore)
        {
            Contract.Ensures(Contract.Result <System.Reflection.Assembly>() != null);

            return(default(System.Reflection.Assembly));
        }
Exemple #5
0
 public override String ToString()
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(Number.FormatInt32(m_value, null, NumberFormatInfo.CurrentInfo));
 }
        public static AppDomain CreateDomain(string friendlyName, System.Security.Policy.Evidence securityInfo, string appBasePath, string appRelativeSearchPath, bool shadowCopyFiles)
        {
            Contract.Ensures(Contract.Result <AppDomain>() != null);

            return(default(AppDomain));
        }
        public System.Reflection.Assembly Load(System.Reflection.AssemblyName assemblyRef, System.Security.Policy.Evidence assemblySecurity)
        {
            Contract.Ensures(Contract.Result <System.Reflection.Assembly>() != null);

            return(default(System.Reflection.Assembly));
        }
Exemple #8
0
 public String ToString(String format)
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(FormatProvider.FormatUInt32(_value, format, null));
 }
Exemple #9
0
 // Returns this string.
 public override String ToString()
 {
     Contract.Ensures(Contract.Result <String>() != null);
     Contract.EndContractBlock();
     return(this);
 }
Exemple #10
0
        public virtual ConstructorInfo[] GetConstructors(BindingFlags arg0)
        {
            Contract.Ensures(Contract.Result <ConstructorInfo[]>() != null);

            return(default(ConstructorInfo[]));
        }
Exemple #11
0
 public static Type GetTypeFromHandle(RuntimeTypeHandle handle)
 {
     Contract.Ensures(Contract.Result <Type>() != null);
     return(default(Type));
 }
Exemple #12
0
        public virtual MethodInfo[] GetMethods(BindingFlags arg0)
        {
            Contract.Ensures(Contract.Result <MethodInfo[]>() != null);

            return(default(MethodInfo[]));
        }
Exemple #13
0
        public virtual FieldInfo[] GetFields(BindingFlags arg0)
        {
            Contract.Ensures(Contract.Result <FieldInfo[]>() != null);

            return(default(FieldInfo[]));
        }
Exemple #14
0
 public virtual EventInfo[] GetEvents(BindingFlags arg0)
 {
     Contract.Ensures(Contract.Result <EventInfo[]>() != null);
     return(default(EventInfo[]));
 }
        public object CreateInstanceAndUnwrap(string assemblyName, string typeName)
        {
            Contract.Ensures(Contract.Result <object>() != null);

            return(default(object));
        }
Exemple #16
0
 public String ToString(IFormatProvider provider)
 {
     Contract.Ensures(Contract.Result <String>() != null);
     Contract.EndContractBlock();
     return(this);
 }
        public static AppDomain CreateDomain(string friendlyName)
        {
            Contract.Ensures(Contract.Result <AppDomain>() != null);

            return(default(AppDomain));
        }
Exemple #18
0
 // Method required for the ICloneable interface.
 // There's no point in cloning a string since they're immutable, so we simply return this.
 public Object Clone()
 {
     Contract.Ensures(Contract.Result <Object>() != null);
     Contract.EndContractBlock();
     return(this);
 }
        public static AppDomain CreateDomain(string friendlyName, System.Security.Policy.Evidence securityInfo)
        {
            Contract.Ensures(Contract.Result <AppDomain>() != null);

            return(default(AppDomain));
        }
Exemple #20
0
 public Type GetType()
 {
     Contract.Ensures(Contract.Result <Type>() != null);
     return(default(Type));
 }
        public System.Reflection.Assembly Load(Byte[] rawAssembly, Byte[] rawSymbolStore, System.Security.Policy.Evidence securityEvidence)
        {
            Contract.Ensures(Contract.Result <System.Reflection.Assembly>() != null);

            return(default(System.Reflection.Assembly));
        }
Exemple #22
0
 public virtual string ToString()
 {
     Contract.Ensures(Contract.Result <string>() != null);
     return(default(string));
 }
        public virtual System.Reflection.Assembly Load(System.Reflection.AssemblyName assemblyRef)
        {
            Contract.Ensures(Contract.Result <System.Reflection.Assembly>() != null);

            return(default(System.Reflection.Assembly));
        }
Exemple #24
0
 protected object MemberwiseClone()
 {
     Contract.Ensures(Contract.Result <object>().GetType().Equals(this.GetType()));
     Contract.Ensures(Contract.Result <object>() != null);
     return(default(object));
 }
Exemple #25
0
 public String ToString(String format)
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(Number.FormatInt32(m_value, format, NumberFormatInfo.CurrentInfo));
 }
        public object CreateInstanceFromAndUnwrap(string assemblyName, string typeName, Object[] activationAttributes)
        {
            Contract.Ensures(Contract.Result <object>() != null);

            return(default(object));
        }
Exemple #27
0
 // Provides a string representation of a byte.
 public override String ToString()
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(FormatProvider.FormatInt32(_value, null, null));
 }
        public object CreateInstanceAndUnwrap(string assemblyName, string typeName, bool ignoreCase, System.Reflection.BindingFlags bindingAttr, System.Reflection.Binder binder, Object[] args, System.Globalization.CultureInfo culture, Object[] activationAttributes, System.Security.Policy.Evidence securityAttributes)
        {
            Contract.Ensures(Contract.Result <object>() != null);

            return(default(object));
        }
Exemple #29
0
 public String ToString(String format)
 {
     Contract.Ensures(Contract.Result <String>() != null);
     return(ToString(format, null));
 }
Exemple #30
0
 public virtual Type[] GetNestedTypes()
 {
     Contract.Ensures(Contract.Result <Type[]>() != null);
     return(default(Type[]));
 }