public virtual MethodInfo[] GetMethods(BindingFlags arg0)
{
Contract.Ensures(Contract.Result <MethodInfo[]>() != null);
return(default(MethodInfo[]));
}
public String ToString(String format, IFormatProvider provider)
{
Contract.Ensures(Contract.Result <String>() != null);
return(Number.FormatDouble(m_value, format, NumberFormatInfo.GetInstance(provider)));
}
public String ToString(IFormatProvider provider)
{
Contract.Ensures(Contract.Result <String>() != null);
Contract.EndContractBlock();
return(this);
}
public override String ToString()
{
Contract.Ensures(Contract.Result <String>() != null);
return(FormatProvider.FormatInt32(m_value, null, null));
}
public override String ToString()
{
Contract.Ensures(Contract.Result <String>() != null);
return(Number.FormatDouble(m_value, null, NumberFormatInfo.CurrentInfo));
}
public String ToString(String format)
{
Contract.Ensures(Contract.Result <String>() != null);
return(ToString(format, null));
}
public static string HexEscape(char character)
{
Contract.Ensures(Contract.Result <string>() != null);
return(default(string));
}
protected object MemberwiseClone()
{
Contract.Ensures(Contract.Result <object>().GetType().Equals(this.GetType()));
Contract.Ensures(Contract.Result <object>() != null);
return(default(object));
}
public object CreateInstanceFromAndUnwrap(string assemblyName, string typeName, Object[] activationAttributes)
{
Contract.Ensures(Contract.Result <object>() != null);
return(default(object));
}
public Type GetType()
{
Contract.Ensures(Contract.Result <Type>() != null);
return(default(Type));
}
public virtual string ToString()
{
Contract.Ensures(Contract.Result <string>() != null);
return(default(string));
}
public String ToString(IFormatProvider provider)
{
Contract.Ensures(Contract.Result <String>() != null);
return(Number.FormatUInt32(m_value, null, NumberFormatInfo.GetInstance(provider)));
}
public static Type GetTypeFromHandle(RuntimeTypeHandle handle)
{
Contract.Ensures(Contract.Result <Type>() != null);
return(default(Type));
}
public virtual ConstructorInfo[] GetConstructors(BindingFlags arg0)
{
Contract.Ensures(Contract.Result <ConstructorInfo[]>() != null);
return(default(ConstructorInfo[]));
}
public virtual System.Reflection.Assembly Load(Byte[] rawAssembly, Byte[] rawSymbolStore)
{
Contract.Ensures(Contract.Result <System.Reflection.Assembly>() != null);
return(default(System.Reflection.Assembly));
}
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 virtual System.Reflection.Assembly Load(System.Reflection.AssemblyName assemblyRef)
{
Contract.Ensures(Contract.Result <System.Reflection.Assembly>() != null);
return(default(System.Reflection.Assembly));
}
public object CreateInstanceAndUnwrap(string assemblyName, string typeName)
{
Contract.Ensures(Contract.Result <object>() != null);
return(default(object));
}
public string GetLeftPart(UriPartial part)
{
Contract.Ensures(Contract.Result <string>() != null);
return(default(string));
}
public static AppDomain CreateDomain(string friendlyName)
{
Contract.Ensures(Contract.Result <AppDomain>() != null);
return(default(AppDomain));
}
public Uri MakeRelativeUri(Uri uri)
{
Contract.Requires(uri != null);
Contract.Ensures(Contract.Result <Uri>() != null);
return(default(Uri));
}
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));
}
[System.Security.SecuritySafeCritical] // auto-generated
public String ToString(String format, IFormatProvider provider)
{
Contract.Ensures(Contract.Result <String>() != null);
return(FormatProvider.FormatInt32(m_value, format, provider));
}
public static AppDomain CreateDomain(string friendlyName, System.Security.Policy.Evidence securityInfo)
{
Contract.Ensures(Contract.Result <AppDomain>() != null);
return(default(AppDomain));
}
public String ToString(String format)
{
Contract.Ensures(Contract.Result <String>() != null);
return(Number.FormatDouble(m_value, format, NumberFormatInfo.CurrentInfo));
}
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));
}
// Returns this string.
public override String ToString()
{
Contract.Ensures(Contract.Result <String>() != null);
Contract.EndContractBlock();
return(this);
}
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));
}
// 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 virtual FieldInfo[] GetFields(BindingFlags arg0)
{
Contract.Ensures(Contract.Result <FieldInfo[]>() != null);
return(default(FieldInfo[]));
}
