Changeset 1589
- Timestamp:
- 02/08/10 17:02:49 (3 years ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
src/jomdoc/trunk/src/jomdoc/org/omdoc/jomdoc/coll/ntn/NotationCollector.java
r1588 r1589 174 174 175 175 /** 176 * Element <code>a</code> is more specific than <code>b</code> if <code>b</code> 177 * is an <code>expr</code> or <code>exprlist</code>, and <code>a</code> is 178 * anything different from expr/exprlist, like <code>element</code> for example, 179 * or <code>OMI</code>. 180 * 176 181 * @return true if notation <code>a</code> should be sorted before notation 177 * <code>b</code>, or false otherwise 182 * <code>b</code>, or false otherwise. 178 183 */ 179 184 protected boolean isMoreSpecific(Element a, Element b) {
