/** * Returns the region with the name given, if it exists. Otherwise, returns * null. * * @param name the name of the region to search for * @return the corresponding region, if it exists */ public Region getRegion(final String name) { return provider.getRegion(name); }
/** * Returns the region with the name given, if it exists. Otherwise, returns * null. * * @param name the name of the region to search for * @return the corresponding region, if it exists */ public Region getRegion(final String name) { return provider.getRegion(name); }
/** * Returns the region with the name given, if it exists. Otherwise, returns * null. * * @param name the name of the region to search for * @return the corresponding region, if it exists */ public Region getRegion(final String name) { return provider.getRegion(name); }