Java を使用して単純な msn クライアントを開発していますが、JML ライブラリを使用して http プロキシ パラメータを設定する方法がわかりません。どうやらそれはライブラリでネイティブではありません=/
1 に答える
2
考えてみてください: OS に依存してプロキシを構成することができます。ここには、さまざまなオプションをカバーするいくつかのポインターがあります-ロール独自のクラス内でメッセンジャーオブジェクトをラップして、すべてのトラフィックをプロキシにリダイレクトする方法を考えようとして頭を悩ませていましたが、JML のみのように見えますかなり高レベルのものを公開します-JMLがそのセッションをストリームまたは簡単に変換できるものとして公開する場所があれば、プロキシへのソケットクライアント接続をセットアップし、それを介してストリームをリダイレクトすることを考えていました。申し訳ありませんが、私はこれ以上役に立ちません!
于 2011-02-28T17:10:12.943 に答える