private static string BuildArrayIndexCalculation(StringBuilder stringBuilder, int rank)
{
stringBuilder.Clear();
stringBuilder.AppendFormat("{0} {1} = ", Naming.ForArrayIndexType(), Naming.ForArrayIndexName());
for (int i = 0; i < (rank - 2); i++)
{
stringBuilder.Append('(');
}
for (int j = 0; j < rank; j++)
{
stringBuilder.Append((char)(0x69 + j));
if ((j != 0) && (j != (rank - 1)))
{
stringBuilder.Append(')');
}
if (j != (rank - 1))
{
stringBuilder.AppendFormat(" * {0} + ", BoundVariableNameFor(j + 1));
}
}
stringBuilder.Append(';');
return(stringBuilder.ToString());
}
