Searched refs:option_string (Results 1 – 1 of 1) sorted by relevance
160 String option_string = null; in parseConstraints() local163 option_string = st.nextToken(); in parseConstraints()164 if (option_string.equals(/* NOI18N */";")) in parseConstraints()167 StringTokenizer op = new StringTokenizer(option_string, in parseConstraints()247 + option_string); in parseConstraints()