function Selection(domContainer, matcher, highlighter) {
Resource.call(this);
this.onMouseMove_ = this.onMouseMove_.bind(this);
this.onKeyDown_ = this.onKeyDown_.bind(this);
this.onKeyUp_ = this.onKeyUp_.bind(this);
this.container_ = domContainer;
this.matcher_ = matcher;
this.highlighter_ = highlighter;
this.matches_ = [];
}
function Matcher() {
this.links_ = document.getElementsByTagName('a');
Resource.call(this);
}