public final class DocExtension
extends java.lang.Object
implements zserio.tools.Extension
| Constructor and Description |
|---|
DocExtension() |
| Modifier and Type | Method and Description |
|---|---|
void |
check(zserio.ast.Root rootNode,
zserio.tools.ExtensionParameters parameters) |
java.lang.String |
getExtensionVersion() |
java.lang.String |
getName() |
java.lang.String |
getZserioVersion() |
boolean |
isEnabled(zserio.tools.ExtensionParameters parameters) |
void |
process(zserio.ast.Root rootNode,
zserio.tools.ExtensionParameters parameters) |
void |
registerOptions(org.apache.commons.cli.Options options) |
public java.lang.String getName()
getName in interface zserio.tools.Extensionpublic java.lang.String getExtensionVersion()
getExtensionVersion in interface zserio.tools.Extensionpublic java.lang.String getZserioVersion()
getZserioVersion in interface zserio.tools.Extensionpublic void registerOptions(org.apache.commons.cli.Options options)
registerOptions in interface zserio.tools.Extensionpublic boolean isEnabled(zserio.tools.ExtensionParameters parameters)
isEnabled in interface zserio.tools.Extensionpublic void check(zserio.ast.Root rootNode,
zserio.tools.ExtensionParameters parameters)
throws zserio.extension.common.ZserioExtensionException
check in interface zserio.tools.Extensionzserio.extension.common.ZserioExtensionExceptionpublic void process(zserio.ast.Root rootNode,
zserio.tools.ExtensionParameters parameters)
throws zserio.extension.common.ZserioExtensionException
process in interface zserio.tools.Extensionzserio.extension.common.ZserioExtensionExceptionLast updated 2024-10-29 12:55:15