| Package | Description |
|---|---|
| org.corpus_tools.pepper.common | |
| org.corpus_tools.pepper.impl | |
| org.corpus_tools.pepper.modules | |
| org.corpus_tools.pepper.modules.coreModules |
| Modifier and Type | Method and Description |
|---|---|
PepperModuleProperties |
PepperModuleDesc.getProperties()
Returns a
PepperModuleProperties object containing properties to
customize the behavior of this PepperModule. |
| Modifier and Type | Method and Description |
|---|---|
void |
PepperModuleDesc.setProperties(PepperModuleProperties properties)
Sets the
PepperModuleProperties object containing properties to
customize the behavior of this PepperModule. |
| Modifier and Type | Field and Description |
|---|---|
protected PepperModuleProperties |
PepperMapperImpl.props
PepperModuleProperties object containing user customizations to
be observed during the mapping. |
| Modifier and Type | Method and Description |
|---|---|
PepperModuleProperties |
PepperModuleImpl.getProperties()
Returns a
PepperModuleProperties object containing properties to
customize the behavior of this PepperModule. |
PepperModuleProperties |
PepperMapperImpl.getProperties()
Returns the
PepperModuleProperties object containing user
customizations to be observed during the mapping. |
| Modifier and Type | Method and Description |
|---|---|
void |
PepperModuleImpl.setProperties(PepperModuleProperties properties)
Sets the
PepperModuleProperties object containing properties to
customize the behavior of this PepperModule. |
void |
PepperMapperImpl.setProperties(PepperModuleProperties props)
Sets the
PepperModuleProperties object containing user
customizations to be observed during the mapping. |
| Modifier and Type | Method and Description |
|---|---|
PepperModuleProperties |
PepperMapper.getProperties()
Returns the
PepperModuleProperties object containing user
customizations to be observed during the mapping. |
PepperModuleProperties |
PepperModule.getProperties()
Returns a
PepperModuleProperties object containing properties to
customize the behavior of this PepperModule. |
| Modifier and Type | Method and Description |
|---|---|
void |
PepperMapper.setProperties(PepperModuleProperties props)
Sets the
PepperModuleProperties object containing user
customizations to be observed during the mapping. |
void |
PepperModule.setProperties(PepperModuleProperties properties)
Sets the
PepperModuleProperties object containing properties to
customize the behavior of this PepperModule. |
| Modifier and Type | Class and Description |
|---|---|
class |
DOTManipulatorProperties |
class |
SaltValidatorProperties |
Copyright © 2009–2018 Humboldt-Universität zu Berlin, INRIA. All rights reserved.