/** * Get a message used to identify this product when a transformation is run using the -t option * @return A string containing both the product name and the product * version */ public static String getProductTitle() { return getProductName() + ' ' + getProductVersion() + " from Saxonica"; }
/** * Get a message used to identify this product when a transformation is run using the -t option * @return A string containing both the product name and the product * version */ public static String getProductTitle() { return getProductName() + ' ' + getProductVersion() + " from Saxonica"; }
/** * Get a message used to identify this product when a transformation is run using the -t option * * @return A string containing both the product name and the product * version */ public static String getProductTitle() { return getProductName() + '-' + softwareEdition + ' ' + getProductVersion() + (platform.isJava() ? 'J' : 'N') + " from Saxonica"; }
/** * Get a message used to identify this product when a transformation is run using the -t option * * @return A string containing both the product name and the product * version */ public static String getProductTitle() { return getProductName() + '-' + softwareEdition + ' ' + getProductVersion() + (platform.isJava() ? 'J' : 'N') + " from Saxonica"; }
return Version.getWebSiteAddress(); if (local.equals("product-name")) return Version.getProductName(); if (local.equals("product-version")) return config.isSchemaAware(Configuration.XSLT) ?
return Version.getWebSiteAddress(); if (local.equals("product-name")) return Version.getProductName(); if (local.equals("product-version")) return config.isSchemaAware(Configuration.XSLT) ?
return Version.getWebSiteAddress(); } else if (local.equals("product-name")) { return Version.getProductName(); } else if (local.equals("product-version")) { return config.isSchemaAware(Configuration.XSLT) ?
return Version.getWebSiteAddress(); case "product-name": return Version.getProductName(); case "product-version": return Version.getProductVariantAndVersion(edition);
return Version.getWebSiteAddress(); case "product-name": return Version.getProductName(); case "product-version": return Version.getProductVariantAndVersion(edition);