public virtual PropertyInfo[] GetProperties(BindingFlags arg0) { Contract.Ensures(Contract.Result <PropertyInfo[]>() != null); return(default(PropertyInfo[])); }
public String ToString(String format, IFormatProvider provider) { Contract.Ensures(Contract.Result <String>() != null); return(Number.FormatInt32(m_value, format, NumberFormatInfo.GetInstance(provider))); }
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)); }
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)); }
public String ToString(String format) { Contract.Ensures(Contract.Result <String>() != null); return(FormatProvider.FormatUInt32(_value, format, null)); }
// Returns this string. public override String ToString() { Contract.Ensures(Contract.Result <String>() != null); Contract.EndContractBlock(); return(this); }
public virtual ConstructorInfo[] GetConstructors(BindingFlags arg0) { Contract.Ensures(Contract.Result <ConstructorInfo[]>() != null); return(default(ConstructorInfo[])); }
public static Type GetTypeFromHandle(RuntimeTypeHandle handle) { Contract.Ensures(Contract.Result <Type>() != null); return(default(Type)); }
public virtual MethodInfo[] GetMethods(BindingFlags arg0) { Contract.Ensures(Contract.Result <MethodInfo[]>() != null); return(default(MethodInfo[])); }
public virtual FieldInfo[] GetFields(BindingFlags arg0) { Contract.Ensures(Contract.Result <FieldInfo[]>() != null); return(default(FieldInfo[])); }
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)); }
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)); }
// 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)); }
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)); }
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)); }
protected object MemberwiseClone() { Contract.Ensures(Contract.Result <object>().GetType().Equals(this.GetType())); Contract.Ensures(Contract.Result <object>() != null); return(default(object)); }
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)); }
// 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)); }
public String ToString(String format) { Contract.Ensures(Contract.Result <String>() != null); return(ToString(format, null)); }
public virtual Type[] GetNestedTypes() { Contract.Ensures(Contract.Result <Type[]>() != null); return(default(Type[])); }