/// <summary>
/// Constructs a new <b>Catalog</b> instance.
/// </summary>
/// <param name="url">The URL of this <b>Catalog</b>.</param>
/// <param name="prefer">Optional <b>prefer</b> value.</param>
/// <param name="xmlbase">Optional <b>xml:base</b> value.</param>
public Catalog(String url, String prefer, String xmlbase)
{
this.url = url;
if (url.StartsWith ("file:")) {
if (url.StartsWith ("file:///"))
url = url.Substring (8);
else
url = url.Substring (5);
}
definition = new CatalogEntry (prefer,
(xmlbase != null) ? xmlbase : Path.GetDirectoryName (Path.GetFullPath (url)));
}
/// <summary>
/// Constructs a new <b>Catalog</b> instance.
/// </summary>
/// <param name="url">The URL of this <b>Catalog</b>.</param>
/// <param name="prefer">Optional <b>prefer</b> value.</param>
/// <param name="xmlbase">Optional <b>xml:base</b> value.</param>
public Catalog(String url, String prefer, String xmlbase)
{
this.url = url;
if (url.StartsWith("file:"))
{
if (url.StartsWith("file:///"))
{
url = url.Substring(8);
}
else
{
url = url.Substring(5);
}
}
definition = new CatalogEntry(prefer,
(xmlbase != null) ? xmlbase : Path.GetDirectoryName(Path.GetFullPath(url)));
}