Exemplo n.º 1
0
 public TerminalCode(TerminalCodeType type, CharAttributes charAttributes) : this(type)
 {
     CharAttributes = charAttributes;
 }
Exemplo n.º 2
0
 public TerminalCode(TerminalCodeType type, int line, int column) : this(type)
 {
     Line   = line;
     Column = column;
 }
Exemplo n.º 3
0
 public TerminalCode(TerminalCodeType type) : this()
 {
     Type = type;
 }
Exemplo n.º 4
0
 public TerminalCode(TerminalCodeType type, string text) : this(type)
 {
     Text = text;
 }
Exemplo n.º 5
0
 private void Emit(TerminalCodeType type)
 {
     Emit(new TerminalCode(type));
 }