Lines Matching refs:NOTATION
120 * <li><b>NOTATION</b>
235 /** The NOTATION Catalog Entry type. */
236 public static final int NOTATION = CatalogEntry.addEntryType("NOTATION", 2);
1089 } else if (type == NOTATION) {
1093 catalogManager.debug.message(4, "NOTATION", entry.getEntryArg(0), fsi);
1376 * Return the applicable NOTATION system identifier.
1427 resolved = resolveLocalPublic(NOTATION,
1436 // If there's a NOTATION entry in this catalog, use it
1446 if (e.getEntryType() == NOTATION
1455 return resolveSubordinateCatalogs(NOTATION,
2056 } else if (entityType == NOTATION) {