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()); } }