/// <summary>
/// Get a method of this module, if it exists
/// </summary>
/// <param name="name">The name of the method to get</param>
/// <returns>MethodDef for name, or null if one does not exist</returns>
public MethodDef GetMethod(string name)
{
//FIXME Contract.Requires(defaultClass != null);
return(defaultClass.GetMethod(name));
}