Searched defs:AliasEvent (Results 1 – 1 of 1) sorted by relevance
23 public final class AliasEvent extends NodeEvent { class24 public AliasEvent(String anchor, Mark startMark, Mark endMark) { in AliasEvent() method in AliasEvent