protected override void visitGroupDeclaration(Group declaration)
{
writer.Append(KeywordEnum.GROUP.ToString()).Append(' ');
writer.AppendIdentifier(declaration).Append(" : ");
writer.AppendIdentifier(declaration.Template).Append(" (");
writer.AppendStrings(declaration.Constituents, ", ");
writer.Append(");").NewLine();
}
protected override void visitRecordType(RecordType type)
{
//TODO: implement repeated label
appendTypePrefix(type);
writer.Indent().NewLine();
writer.Append(KeywordEnum.RECORD.ToString()).Indent().NewLine().BeginAlign();
foreach (RecordType.ElementDeclaration element in type.Elements)
{
writer.AppendStrings(element.Identifiers, ", ");
writer.Align().Append(" : ");
output.writeSubtypeIndication(element.Type);
writer.Append(';').NewLine();
}
writer.EndAlign().Dedent();
writer.Append(KeywordEnum.END.ToString()).Append(KeywordEnum.RECORD.ToString());
writer.Dedent();
writer.Append(';').NewLine();
}
public void instantiationListComponentSpecification(ComponentSpecification specification)
{
writer.AppendStrings(specification.Labels, ", ");
writer.Append(" : ").AppendIdentifier(specification.Component);
}
protected override void visitLibraryClause(LibraryClause libraryClause)
{
writer.Append(KeywordEnum.LIBRARY.ToString()).Append(' ');
writer.AppendStrings(libraryClause.getLibraries(), ", ");
writer.Append(";").NewLine();
}