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();
}
/// <summary>
/// Visits a record type.
/// </summary>
/// <param name="type"></param>
protected internal virtual void visitRecordType(RecordType type)
{
}