|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface OptionManager
Manage the list of option of different plugin but also global option declared in xml configfile
Method Summary | |
---|---|
List<String> |
getInputToCompileList()
The Option manager is the only able to extract the input file name list in the list of argument. |
Object |
getOptionValue(String optionName)
Get the option 'name' valus |
int |
initialize(ConfigurationManager confManager,
String[] commandLine)
An optionManager can be initialized with the intermediate of a ConfigurationManager and a commandLine string |
void |
setGlobalOptionList(tom.platform.adt.platformoption.types.PlatformOptionList optionList)
set the global PlatformOptionList |
void |
setOptionValue(String name,
Object value)
Set the option 'name' to the corresponding value |
Method Detail |
---|
int initialize(ConfigurationManager confManager, String[] commandLine)
void setGlobalOptionList(tom.platform.adt.platformoption.types.PlatformOptionList optionList)
List<String> getInputToCompileList()
void setOptionValue(String name, Object value)
name
- the option's namevalue
- the option's valueObject getOptionValue(String optionName)
optionName
- the option's name
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |