int function ( String arg0 ) { String loc0 = value ( arg0 ) ; if ( loc0 != null ) { try { int loc1 = Integer . parseInt ( loc0 ) ; if ( loc1 > 0 ) return ( loc1 ) ; } catch ( NumberFormatException loc1 ) { } } return ( - 1 ) ; }
returns the value of an option as an integer , or -1 if not defined . concode_field_sep Map table concode_field_sep void set concode_elem_sep void set concode_elem_sep void clear concode_elem_sep void refresh concode_elem_sep boolean check concode_elem_sep void unset concode_elem_sep String value