public TerminalCode(TerminalCodeType type, CharAttributes charAttributes) : this(type)
{
CharAttributes = charAttributes;
}
public TerminalCode(TerminalCodeType type, int line, int column) : this(type)
{
Line = line;
Column = column;
}
public TerminalCode(TerminalCodeType type) : this()
{
Type = type;
}
public TerminalCode(TerminalCodeType type, string text) : this(type)
{
Text = text;
}
private void Emit(TerminalCodeType type)
{
Emit(new TerminalCode(type));
}