public interface SourceProviderPlugin
| Modifier and Type | Method and Description |
|---|---|
SourceConfiguration |
createNewSourceConfiguration()
Creation of an empty or default
SourceConfiguration for this plug-in. |
RETAParser |
createParser(SourceConfiguration configuration)
Create a new parser for the requirement source configuration.
|
javafx.scene.Node |
createSourceConfigurationEditor(SourceConfiguration sourceConfiguration,
BufferingManager bufferingManager)
Create a new JavaFX GUI for the edition of the
SourceConfiguration of this plug-in. |
String |
getSourceName() |
SourceConfiguration |
loadSourceConfiguration(org.ini4j.Profile.Section iniSection)
Load the
SourceConfiguration of this plug-in from the dedicated INI section. |
void |
saveSourceConfiguration(SourceConfiguration sourceConfiguration,
org.ini4j.Profile.Section iniSection)
Save the
SourceConfiguration of this plug-in in the dedicated INI section. |
String getSourceName()
void saveSourceConfiguration(SourceConfiguration sourceConfiguration, org.ini4j.Profile.Section iniSection)
SourceConfiguration of this plug-in in the dedicated INI section.sourceConfiguration - source configuration to saveiniSection - INI section where source configuration must be savedSourceConfiguration loadSourceConfiguration(org.ini4j.Profile.Section iniSection)
SourceConfiguration of this plug-in from the dedicated INI section.iniSection - INI section where source configuration must be readSourceConfiguration createNewSourceConfiguration()
SourceConfiguration for this plug-in.javafx.scene.Node createSourceConfigurationEditor(SourceConfiguration sourceConfiguration, BufferingManager bufferingManager)
SourceConfiguration of this plug-in.sourceConfiguration - source configuration to editbufferingManager - buffering manager to useRETAParser createParser(SourceConfiguration configuration)
configuration - source configuration to useCopyright © 2015. All rights reserved.