tornado.websocket.WebSocketHandlerクラスとはどのようなものか

チャットアプリURLでtornadoの勉強をしているのですがtornado.websocket.WebSocketHandlerクラスを継承するところがわかりません。いったいこの継承元のクラスはどのようなものでどこに存在するのでしょうか。

プログラム

サーバ側

python
1import tornado.ioloop
2import tornado.web
3import tornado.websocket
4
5class ChatHandler(tornado.websocket.WebSocketHandler):
6 clients = []
7
8 def open(self):
9  if self not in ChatHandler.clients:
10   ChatHandler.clients.append(self)
11
12 def on_message(self, message):
13  for c in ChatHandler.clients:
14   c.write_message(message)
15
16 def on_close(self):
17  if self in ChatHandler.clients:
18   ChatHandler.clients.remove(self)
19
20class MainHandler(tornado.web.RequestHandler):
21 def get(self):
22  self.render('main.html')
23
24if __name__ == "__main__":
25 application = tornado.web.Application([
26  (r"/chat/main.html", MainHandler),
27  (r"/chat/websocket", ChatHandler),
28 ])
29 application.listen(8888)
30 tornado.ioloop.IOLoop.current().start()

クライアント側

HTML
1<!DOCTYPE html>
2<html>
3  <head>
4    <title>websocket chat</title>
5    <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
6    <link rel="stylesheet" href="//maxcdn.bootstrapcdn.com/bootstrap/3.3.2/css/bootstrap.min.css" />
7    <script src="//maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script>
8    <script>
9      $(function() {
10        socket = new WebSocket("ws://kenjih.com:8888/chat/websocket");
11        socket.onopen = function() {};
12        socket.onmessage = function(e) {
13          $("#msgbox").append($('<p>'+e.data+'</p>'));
14        };
15        $('#send').click(function(){
16          socket.send($('#msg').val());
17          $('#msg').val('');
18        });
19        $('#msg').keydown(function(e) {
20          if (e.keyCode == 13) {
21            socket.send($('#msg').val());
22            $('#msg').val('');
23          }
24        });
25      });
26    </script>
27  </head>
28  <body>
29    <div class="container">
30      <div class="row">
31      <h1>Websocket Chat Room</h1>
32      </div>
33      <div class="row">
34        <div class="col-xs-5">
35          <div class="input-group">
36            <input id="msg" type="text" class="form-control" placeholder="put your message...">
37            <span class="input-group-btn">
38              <button id="send" class="btn btn-primary" type="button">Send</button>
39            </span>
40          </div>
41        </div>
42        <div class="col-xs-7">
43          <div class="panel panel-primary">
44            <div class="panel-heading">
45              <h3 class="panel-title">Messages</h3>
46            </div>
47            <div id="msgbox" class="panel-body"></div>
48          </div>
49        </div>
50      </div>
51    </div>
52  </body>
53</html>