public final class JavaExtensionParameters
extends java.lang.Object
| Constructor and Description |
|---|
JavaExtensionParameters(zserio.tools.ExtensionParameters parameters) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getOutputDir() |
java.lang.String |
getParametersDescription() |
boolean |
getWithCodeComments() |
boolean |
getWithPubsubCode() |
boolean |
getWithRangeCheckCode() |
boolean |
getWithServiceCode() |
boolean |
getWithSqlCode() |
boolean |
getWithTypeInfoCode() |
boolean |
getWithValidationCode() |
boolean |
getWithWriterCode() |
java.lang.String |
getZserioVersion() |
public JavaExtensionParameters(zserio.tools.ExtensionParameters parameters)
public java.lang.String getOutputDir()
public boolean getWithWriterCode()
public boolean getWithPubsubCode()
public boolean getWithServiceCode()
public boolean getWithSqlCode()
public boolean getWithValidationCode()
public boolean getWithRangeCheckCode()
public boolean getWithTypeInfoCode()
public boolean getWithCodeComments()
public java.lang.String getParametersDescription()
public java.lang.String getZserioVersion()
Last updated 2024-10-29 12:54:06