Searched refs:labelledNode (Results 1 – 7 of 7) sorted by relevance
332 public Node leaveDefault(final Node labelledNode) { in ensureUniqueNamesIn() argument333 return labelledNode.ensureUniqueLabels(lc); in ensureUniqueNamesIn()
415 public Node leaveDefault(final Node labelledNode) { in ensureUniqueNamesIn() argument416 return labelledNode.ensureUniqueLabels(lc); in ensureUniqueNamesIn()