public void SetValue(Object value, int[] indices)
{
Contract.Ensures((Contract.OldValue(this.Rank) - indices.Length) <= 0);
Contract.Ensures((indices.Length - Contract.OldValue(this.Rank)) <= 0);
}
public static AppDomain CreateDomain(string friendlyName, System.Security.Policy.Evidence securityInfo, AppDomainSetup info, System.Security.PermissionSet grantSet, System.Security.Policy.StrongName[] fullTrustAssemblies)
{
Contract.Ensures((fullTrustAssemblies.Length - Contract.OldValue(fullTrustAssemblies.Length)) <= 0);
return(default(AppDomain));
}
public int ExecuteAssemblyByName(string assemblyName, System.Security.Policy.Evidence assemblySecurity, string[] args)
{
Contract.Ensures((args.Length - Contract.OldValue(args.Length)) <= 0);
return(default(int));
}
public int ExecuteAssemblyByName(string assemblyName, string[] args)
{
Contract.Ensures((args.Length - Contract.OldValue(args.Length)) <= 0);
return(default(int));
}
public int ExecuteAssembly(string assemblyFile, System.Security.Policy.Evidence assemblySecurity, string[] args, byte[] hashValue, System.Configuration.Assemblies.AssemblyHashAlgorithm hashAlgorithm)
{
Contract.Ensures((args.Length - Contract.OldValue(args.Length)) <= 0);
return(default(int));
}
