public virtual void PrintInt(int value) { if (value == int.MaxValue) sourceEmitterOutput.Write("int.MaxValue"); else if (value == int.MinValue) sourceEmitterOutput.Write("int.MinValue"); else sourceEmitterOutput.Write(value.ToString()); }