|
|||||||||
| 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 | ||||||||