1
#from itertools import groupby
2
<?xml version="1.0" encoding="utf-8"?>
3
<!DOCTYPE html PUBLIC "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd" "">
4
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
6
<title>Full Index</title>
7
<link rel="stylesheet" href="style.css" type="text/css"/>
11
#for $item in $spec.everything.values() + $spec.errors.values() + $spec.generic_types
12
#echo $star.append(($item.short_name, $item))
15
#echo $star.sort(key = lambda t: t[0].title())
17
## one use iterators...
18
#set $groups = [ (l, list(g)) for l, g in (groupby($star, key = lambda t: t[0][0].upper())) ]
19
#set $letters = set(map(lambda t: t[0], groups))
24
<a href="index.html">Interface Index</a>
25
(<a href="interfaces.html">Compact</a>)
26
#for $a in map(chr, xrange(ord('A'), ord('Z')+1))
28
| <a href="#$a">$a</a>
36
<table class="summary">
38
<tr><th colspan="3"><a name="$l"></a>$l</th></tr>
41
<tr class="deprecated">
46
<a href="$n[1].get_url()" title="$n[1].get_title()">$n[0]</a>
47
#if $n[1].deprecated: (deprecated)
49
<td>$n[1].get_type_name()</td>
51
#if $n[1].parent.__class__.__name__ == 'Interface': $n[1].parent.name