/**
* Calculates the number of list members which are not the any or none symbol.
*
* @return the number calculated.
*/
public int getNofTemplatesNotAnyornone(CompilationTimeStamp timestamp) {
int result = 0;
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
ITTCN3Template template = templates.getTemplateByIndex(i);
Template_type ttype = template.getTemplatetype();
switch (ttype) {
case ANY_OR_OMIT:
break;
case PERMUTATION_MATCH:
if (template instanceof TemplateBody) {
template = ((TemplateBody) template).getTemplate();
}
result += ((PermutationMatch_Template) template).getNofTemplatesNotAnyornone(timestamp);
break;
case ALLELEMENTSFROM:
result += ((AllElementsFrom) template).getNofTemplatesNotAnyornone(timestamp);
break;
default:
result++;
break;
}
}
return result;
}
public CompositeTemplate(final ListOfTemplates templates) {
this.templates = templates;
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
templates.getTemplateByIndex(i).setFullNameParent(this);
}
}
@Override
public void checkRecursions(
final CompilationTimeStamp timestamp, final IReferenceChain referenceChain) {
if (referenceChain.add(this)) {
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
ITTCN3Template template = templates.getTemplateByIndex(i);
if (template != null) {
referenceChain.markState();
template.checkRecursions(timestamp, referenceChain);
referenceChain.previousState();
}
}
}
}
/**
* Checks if the list of templates has at least one any or none or permutation symbol
*
* <p>It is prohibited after "all from"
*
* @return true if an any or none symbol was found, false otherwise.
*/
public boolean containsAnyornoneOrPermutation() {
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
ITTCN3Template template = templates.getTemplateByIndex(i);
switch (template.getTemplatetype()) {
case ANY_OR_OMIT:
case PERMUTATION_MATCH:
return true;
default:
break;
}
}
return false;
}
@Override
public StringBuilder getFullName(final INamedNode child) {
StringBuilder builder = super.getFullName(child);
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
if (templates.getTemplateByIndex(i) == child) {
return builder
.append(FULLNAMEPART)
.append(String.valueOf(i))
.append(INamedNode.RIGHTPARENTHESES);
}
}
return builder;
}
@Override
protected boolean memberAccept(final ASTVisitor v) {
if (!super.memberAccept(v)) {
return false;
}
if (templates != null && !templates.accept(v)) {
return false;
}
return true;
}
@Override
public void findReferences(
final ReferenceFinder referenceFinder, final List<Hit> foundIdentifiers) {
super.findReferences(referenceFinder, foundIdentifiers);
if (templates == null) {
return;
}
templates.findReferences(referenceFinder, foundIdentifiers);
}
/**
* Checks if the list of templates has at least one any or none symbol.
*
* @return true if an any or none symbol was found, false otherwise.
*/
public boolean templateContainsAnyornone() {
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
ITTCN3Template template = templates.getTemplateByIndex(i);
switch (template.getTemplatetype()) {
case ANY_OR_OMIT:
return true;
case PERMUTATION_MATCH:
if (template instanceof TemplateBody) {
template = ((TemplateBody) template).getTemplate();
}
if (((PermutationMatch_Template) template).templateContainsAnyornone()) {
return true;
}
break;
default:
break;
}
}
return false;
}
@Override
public String createStringRepresentation() {
StringBuilder builder = new StringBuilder();
builder.append(getNameForStringRep() + "( ");
for (int i = 0, size = templates.getNofTemplates(); i < size; i++) {
if (i > 0) {
builder.append(", ");
}
ITTCN3Template template = templates.getTemplateByIndex(i);
builder.append(template.createStringRepresentation());
}
builder.append(" )");
if (lengthRestriction != null) {
builder.append(lengthRestriction.createStringRepresentation());
}
if (isIfpresent) {
builder.append("ifpresent");
}
return builder.toString();
}
@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);
}
/** @return the number of templates in the list */
public int getNofTemplates() {
return templates.getNofTemplates();
}
@Override
public void setMyScope(final Scope scope) {
super.setMyScope(scope);
templates.setMyScope(scope);
}
/**
* @param index the index of the element to return.
* @return the template on the indexed position.
*/
public ITemplateListItem getTemplateByIndex(final int index) { // ???
return templates.getTemplateByIndex(index);
}
