junk-box > JavaDoc Filter
JavaDoc Filter

JavaDoc Filter

JavaDoc Filter (ブックマークレット)

これは?

javadocのクラス一覧をフィルタリングする ブックマークレット※ です。
フィルタリングにより目的のクラスへ素早くアクセスが可能です。

ブックマークレット ・・・ ユーザーがウェブブラウザのブックマークなどから起動し、ウェブブラウザで簡単な処理を行う簡易的なプログラムのこと  【Wikipediaより】

インストール

次のリンク先をブックマークとして登録します。

JavaDoc Filter

使用方法

javadocのトップページを開いた状態で、ブックマークをクリックするとJavaDoc Filterが起動します。 ※ ブラウザにより起動に時間がかかります。

フィルター入力エリアが表示されたら、クラス名を入力します。

更新履歴

2013/11/06

  • Ver1.5 公開
    • フィルターグループの最後がクラス1つの場合、インデックスが崩れる

2013/05/26

  • Ver1.4 公開
    • 起動時に入力エリアにフォーカスを設定
    • httpsのページで起動しない
    • 「JavaSE 7 日本語」に対応

2012/12/28

  • Ver1.3 公開
    • クラス一覧のタグが閉じられていない
    • 性能改善

2012/12/12

  • Ver1.2 公開
    • フィルターの1文字目がクラス一覧に存在しない場合にフィルタリングされない
    • フィルターの1文字目がクラス一覧に存在しない場合、2文字目以降の入力ごとにエラー発生

2012/12/09

2012/06/23

  • Ver1.1 公開
    • 多重起動時のエラーメッセージ
    • 多重起動時にエラーメッセージ表示後、ページをリロード

2011/07/07

  • Ver1.0 公開

FAQ

オフラン環境だとブックマークレットが起動しません

本ブックマークレットは起動時にネットワーク経由でライブラリをロードしています。そのため、オフライン環境ではご利用になれません。

Google ChromeでローカルのJavadocに対してブックマークレットが起動しません

Google ChromeではデフォルトでローカルのHTMLから他のURLの読み込みが許可されていません。
以下の引数を起動時に指定することでローカルHTMLにJavaDoc Filterのロードが許可されます。(セキュリティレベルが下がるため、引数の指定は各自の自己責任でお願いします)

--allow-file-access-from-files

Windowsの場合、ショートカットのプロパティに設定しておくと便利です。

ライセンス

JavaDoc FilterはMIT Licenseで公開しています。

ソースのダウンロードはこちら

不具合報告・要望

JavaDoc Filterの不具合報告・要望はこちらからどうぞ