これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド hh_server です。
プログラム：
NAME
hh_server - ハック言語タイプチェッカー デーモン
SYNOPSIS
hh_server [- チェック [--json]] DIRECTORY
DESCRIPTION
hh_server(1) は、Hack 型システムを強制する実際の型チェッカーです。 典型的には
経由でアクセス hh_クライアント(1); 詳細については、そのツールのドキュメントを参照してください。
ハックタイプのシステムとインターフェース方法 hh_serverとします。
直接呼び出し hh_server(1) は最小限の用途です。 hh_クライアント(1) 開始および停止します
必要に応じて。 広く有用な唯一の手動呼び出しは、 - チェック モード。
オプションなしで、 hh_server(1) が起動し、最初の型チェックを実行します。 DIRECTORY,
実行を継続し、からの接続を待ちます hh_クライアント(1)。 繰り返しますが、これはそうではありません
サーバーを呼び出す通常の方法 -- 実行するだけ hh_クライアント(1) を無視して、
一般的な使用には、このサーバー バイナリが存在するだけで十分です。
OPTIONS
- チェック
起動して確認してみると、 DIRECTORY、タイプエラーを人間が読める形式で印刷し、
その後終了します。 この「バッチ モード」は、単一のチェックが必要な場合に便利です。
必要なため、長時間実行されるデーモンを開始することは適切ではありません (たとえば、事前実行デーモン)。
コミットフック。 出力は人間が消費することを目的としており、ツールではありません。 ツール用
消費、参照 --json を参照してください。
--json If - チェック が指定されている場合は、
デフォルトで生成される人間が判読できる出力。
- チェック TARGET
起動して確認する DIRECTORY と同じように - チェック モード。 その後、再確認してください
TARGET そして、それらのファイル内の場所に型アノテーションを追加しようとします。
ない。 分析プロセスは遅くて不完全ですが、多くの場合役立ちます。 このプロセス
実行時に失敗するような方法でコードを変更する可能性があります。 見る
http://docs.hhvm.com/manual/en/install.hack.conversion.php 詳細については
このモードを組み合わせる方法については、 ハッキング者（1）と hack_remove_soft_types（1）〜
PHP から Hack への完全かつ安全な変換を実行します。
EXIT ステータス
If - チェック が指定されている場合、型エラーがない場合は 0 で終了し、そうでない場合は XNUMX 以外で終了します。
他の終了値は未定義です。
ENVIRONMENT & ファイル
クライアント/サーバー通信用のソケットへのパスの構築に同じスキームを使用します。
それ hh_クライアント(1) 用途。 説明については、ドキュメントを参照してください。
実施例
型エラーが忍び込まないようにするための事前コミットフックがあると便利かもしれません。
トランクに。 フックは直接呼び出したい場合があります hh_server(1) そのため、
実行中のデーモン。 それは次のようなもので行うことができます
hh_server --check は/ var / WWWの
それが失敗した場合は、その出力を出力し、コミットを拒否します。 ツールの使い方としては、
何かのようなもの
hh_server --check --json は/ var / WWWの
の方が適切かもしれません。 JSON 出力はコード レビュー ツールに渡すことができ、
そこに表示されます。
これは、長時間実行されるデーモンを使用することが不適切な場合にのみ当てはまります。 通常用
開発での使用法、呼び出し hh_クライアント(1) サーバー自体の使用を許可すると、
コードをチェックして型エラーを返すのがはるかに速くなります。
onworks.net サービスを使用してオンラインで hh_server を使用する
