/**
* 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());
}
}
@Override
public void updateSyntax(final TTCN3ReparseUpdater reparser, final boolean isDamaged)
throws ReParseException {
if (isDamaged) {
throw new ReParseException();
}
if (value1 != null) {
value1.updateSyntax(reparser, false);
reparser.updateLocation(value1.getLocation());
}
if (value2 != null) {
value2.updateSyntax(reparser, false);
reparser.updateLocation(value2.getLocation());
}
}
/**
* Handles the incremental parsing of this attribute specification.
*
* @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 { // TODO
if (isDamaged) {
throw new ReParseException();
}
templateInst.updateSyntax(reparser, false);
reparser.updateLocation(templateInst.getLocation());
}
@Override
public void updateSyntax(final TTCN3ReparseUpdater reparser, final boolean isDamaged)
throws ReParseException {
if (isDamaged) {
throw new ReParseException();
}
if (lengthRestriction != null) {
lengthRestriction.updateSyntax(reparser, false);
reparser.updateLocation(lengthRestriction.getLocation());
}
if (baseTemplate instanceof IIncrementallyUpdateable) {
((IIncrementallyUpdateable) baseTemplate).updateSyntax(reparser, false);
reparser.updateLocation(baseTemplate.getLocation());
} else if (baseTemplate != null) {
throw new ReParseException();
}
templates.updateSyntax(reparser, false);
}
@Override
public void updateSyntax(final TTCN3ReparseUpdater reparser, final boolean isDamaged)
throws ReParseException {
if (isDamaged) {
throw new ReParseException();
}
if (value instanceof IIncrementallyUpdateable) {
((IIncrementallyUpdateable) value).updateSyntax(reparser, false);
reparser.updateLocation(value.getLocation());
} else if (value != null) {
throw new ReParseException();
}
}
