public class TemplateRuleTraceListener
extends java.lang.Object
Constructor and Description |
---|
TemplateRuleTraceListener(Logger logger) |
Modifier and Type | Method and Description |
---|---|
void |
enter(java.lang.String instName,
Location instLoc,
Item item,
TemplateRule rule) |
void |
leave() |
public TemplateRuleTraceListener(Logger logger)
public void enter(java.lang.String instName, Location instLoc, Item item, TemplateRule rule)
public void leave()
Copyright (c) 2004-2022 Saxonica Limited. All rights reserved.