returns an option value or null if not found . concode_field_sep long serialVersionUID concode_elem_sep List<ReplOption> options concode_field_sep void setOption concode_elem_sep void addOption concode_elem_sep List<ReplOption> getOptions concode_elem_sep String removeOption
String function ( String arg0 ) { if ( options == null ) return null ; else { for ( ReplOption loc0 : options ) { if ( arg0 . equals ( loc0 . getOptionName ( ) ) ) return loc0 . getOptionValue ( ) ; } return null ; } }