index-html-gen.xdt

<html>
	<body style="font-family:tahoma,verdana,arial">
	<table width=100%>
<XDtPackage:forAllPackages>
	<tr height=5>
			<td colspan=3 bgcolor="#0066CC">
				<font color=white>
					<b>Package <XDtPackage:packageName/></b>
				</font>
			</td>
		</tr>
	<XDtClass:forAllClasses>
	  <XDtClass:ifHasClassTag tagName="servlet">
	
		<tr height=2>
			<td colspan=3 bgcolor="lightgray"></td>
		</tr>
		<tr>
			<td>Test <b><XDtClass:className/></b></td>
			<td>
				<form action="/securibench-micro/<XDtClass:className/>">
					<input name="name" type=text>
					<input name="submit" type=submit value="submit">
				</form>
			</td>
		</tr>
		<tr align=left>	
			<td align=left>Class: <a href="/webdav/<XDtPackage:packageNameAsPath/>/<XDtClass:className/>.java.html"><XDtClass:fullClassName/></a></td>
			<td align=left>Description: <b><XDtClass:classTagValue tagName="servlet" paramName="description"/></b></td>
			<td align=left>Expected bug count: <b><XDtClass:classTagValue tagName="servlet" paramName="vuln_count"/></b></td>
		</tr>	
	
	  </XDtClass:ifHasClassTag>
	</XDtClass:forAllClasses>
</XDtPackage:forAllPackages>
	</table>		
	</body>
</html>