- while (!isEndOfData (buffer)) {
- if (pattern_index > 20) return false;
- pattern[pattern_index] = nextToken (buffer);
- if (pattern[pattern_index] == 'E') return false;
+ while (!isEndOfData(buffer)) {
+ if (pattern_index > 20)
+ return false;
+ pattern[pattern_index] = nextToken(buffer);
+ if (pattern[pattern_index] == 'E')
+ return false;