/// <summary>
/// Generates the code for a RotationConstant node.
/// </summary>
/// <param name="rc">The RotationConstant node.</param>
/// <returns>String containing C# code for RotationConstant rc.</returns>
private string GenerateRotationConstant(RotationConstant rc)
{
StringBuilder retVal = new StringBuilder();
retVal.Append(Generate(String.Format("new {0}(", rc.Type), rc));
retVal.Append(GenerateNode((SYMBOL) rc.kids.Pop()));
retVal.Append(Generate(", "));
retVal.Append(GenerateNode((SYMBOL) rc.kids.Pop()));
retVal.Append(Generate(", "));
retVal.Append(GenerateNode((SYMBOL) rc.kids.Pop()));
retVal.Append(Generate(", "));
retVal.Append(GenerateNode((SYMBOL) rc.kids.Pop()));
retVal.Append(Generate(")"));
return retVal.ToString();
}
