【geoserver】短划线符号交替（Alternating symbols with dash offsets）

geoserver官方文档里提到了短划线符号交替，效果如下：

传送门：Alternating symbols with dash offsets
其实挺好实现的。但其中一些值的计算还得总结一下，不然时间久了会遗忘。
此例中，是将线按虚线和圆圈的样式组合在一起。只要计算好圆圈的位置，将其放在虚线的间隔中心即可。

1

首先是虚线的样式，sld内容如下：

<LineSymbolizer>
	<Stroke>
		<CssParameter name="stroke">#0000ff</CssParameter>
		<CssParameter name="stroke-width">2</CssParameter>
		<CssParameter name="stroke-dasharray">50 20</CssParameter>
	</Stroke>
</LineSymbolizer>

通过<CssParameter name="stroke-dasharray">50 20</CssParameter>来设置虚线。
结果是“50像素线段，20像素间隔”如此往复，实际效果如下：

为了后文方便，这里定义一些名词；线段部分（50）和间隔部分（20），一个线段部分和一个间隔部分为一个线段组（70）。

2

然后是圆圈的样式。sld如下：

<LineSymbolizer>
	<Stroke>
		<GraphicStroke>
			<Graphic>
				<Mark>
					<WellKnownName>circle