public override void ToPdf(PdfWriter writer, Stream os)
{
os.WriteByte((byte)'[');
if (dash >= 0) {
new PdfNumber(dash).ToPdf(writer, os);
if (gap >= 0) {
os.WriteByte((byte)' ');
new PdfNumber(gap).ToPdf(writer, os);
}
}
os.WriteByte((byte)']');
if (phase >=0) {
os.WriteByte((byte)' ');
new PdfNumber(phase).ToPdf(writer, os);
}
}