protected void check(final Identifier identifier, final String description, Problems problems) {
String displayName = identifier.getDisplayName();
if (VISIBILITY_PATTERN.matcher(displayName).matches()) {
String msg = MessageFormat.format(REPORT, description, displayName);
problems.report(identifier.getLocation(), msg);
}
}
/**
* Handles the incremental parsing of this named parameter.
*
* @param reparser the parser doing the incremental parsing.
* @param isDamaged true if the location contains the damaged area, false if only its' location
* needs to be updated.
*/
@Override
public void updateSyntax(final TTCN3ReparseUpdater reparser, final boolean isDamaged)
throws ReParseException {
if (isDamaged) {
throw new ReParseException();
}
reparser.updateLocation(name.getLocation());
if (instance != null) {
instance.updateSyntax(reparser, false);
reparser.updateLocation(instance.getLocation());
}
}
