/** * Check if there are duplicate pattern names. If yes, it * throws a {@link MalformedPatternException}. */ private void checkPatternNameUniqueness() { // make sure there is no pattern with name "$endState$" stateNameHandler.checkNameUniqueness(ENDING_STATE_NAME); Pattern patternToCheck = currentPattern; while (patternToCheck != null) { checkPatternNameUniqueness(patternToCheck); patternToCheck = patternToCheck.getPrevious(); } stateNameHandler.clear(); }
/** * Check if there are duplicate pattern names. If yes, it * throws a {@link MalformedPatternException}. */ private void checkPatternNameUniqueness() { // make sure there is no pattern with name "$endState$" stateNameHandler.checkNameUniqueness(ENDING_STATE_NAME); Pattern patternToCheck = currentPattern; while (patternToCheck != null) { checkPatternNameUniqueness(patternToCheck); patternToCheck = patternToCheck.getPrevious(); } stateNameHandler.clear(); }
/** * Check if there are duplicate pattern names. If yes, it * throws a {@link MalformedPatternException}. */ private void checkPatternNameUniqueness() { // make sure there is no pattern with name "$endState$" stateNameHandler.checkNameUniqueness(ENDING_STATE_NAME); Pattern patternToCheck = currentPattern; while (patternToCheck != null) { checkPatternNameUniqueness(patternToCheck); patternToCheck = patternToCheck.getPrevious(); } stateNameHandler.clear(); }