/// <summary>
/// Parser for PreText
/// </summary>
/// <returns>Parsed PreText</returns>
public PreText ParsePreText()
{
PreText preText = new PreText();
//Skip " token
NextToken("\"", "\" TextChar* <", '"');
//Parse text
preText.SetText(ParseTextChars());
//Skip < token
NextToken("<", "\" TextChar* <", '<');
return(preText);
}
protected static void DrawTime(int ms, int totalms)
{
const string PreText = "Time: ";
Span <char> buffer = stackalloc char[50];
PreText.AsSpan().CopyTo(buffer);
int length = PreText.Length;
length += RenderTime(ms, buffer.Slice(length));
buffer[length] = '/';
length += 1;
length += RenderTime(totalms, buffer.Slice(length));
DrawText(buffer.Slice(0, length));
}
public virtual void Visit(PreText preText)
{
VisitSubNodes(preText);
}
