Lines Matching refs:prefix
98 for prefix in "${!PATH_TO_CONFIG[@]}"; do
99 if [[ "${prefix}/" = "${requested_path}"/* ]]; then
100 echo -n " ${prefix}"
112 local matching_files prefix requested_path requested_paths
116 for prefix in "${!PATH_TO_CONFIG[@]}"; do
119 if [[ "${requested_path}" = "${prefix}" || "${requested_path}" = "${prefix}"/* ]] ; then
129 echo "Applying ${PATH_TO_CONFIG[${prefix}]} to ${matching_files[@]}"
130 ${CHECKSTYLE} --config_xml "${PATH_TO_CONFIG[${prefix}]}" --file "${matching_files[@]}" \
143 local prefix prefix_no_slash
145 for prefix in "${!PATH_TO_CONFIG[@]}"; do
146 prefix_no_slash=${prefix%/}
147 if [ "${prefix}" != "${prefix_no_slash}" ]; then
148 fatal_error "Directory name should not end with '/': ${prefix}"
150 if [ ! -d "${prefix}" ] ; then
151 fatal_error "Bad prefix path. Directory does not exist: ${prefix}"
158 local java_file prefix has_match
162 for prefix in "${!PATH_TO_CONFIG[@]}"; do
163 if [[ "${java_file}" = "${prefix}"/* ]]; then