検証
構成の健全さを見るページ。手順、ロジック、ダッシュボードで何を調べるか、報告しうるすべての指摘とその言い回し、行が何を開くか、ナビゲーションバーのバッジ、そしてここで何も修復しない理由です。
検証のページは、ステーションが足場にできないものを並べます。チャネルのバインド、インターロック、自動化の項目、Logic の式、スクリプト、条件、そしてステーションがもう持っていないタグ、変数、手順、アドレスを指しているダッシュボードのコンポーネント、さらに、設定どおりでは実行が書類を出せない Process のアクション、そして実行の開始が拒否する手順です。ナビゲーションバーのいちばん下の検証の項目で、検証の表示の権限を持つ識別情報に対して開き、/validation で答えます。どの指摘も 1 つの文なので、全幅で描かれる、たどるページです。これは状態バーのランタイムの稼働状態と兄弟です。あちらはステーションが読めているかを言い、こちらは構成がまだ解決するかを言います。
このページは報告します。修復は決してしません。行は、その不具合を持つエディターを、それを抱えている実体の上で開きます。修復はそこでのあなたの編集です。
状態のカード
いちばん上のカードは、構成についてのこのページの答えのすべてであり、きれいなステーションが告げられる唯一の場所です。
| 状態 | 点 | 表題 | 詳しく |
|---|---|---|---|
| きれい | 緑 | 修復が必要な項目はありません | 手順、ロジック、ダッシュボードのすべての参照が解決し、どの手順も開始でき、どのアクションも出るために必要なものを持っています。 |
| 指摘あり | 黄 | 修復が必要な項目が N 件（1 件のときは「1 件」） | ここでは何も修復しません。行は、その不具合を持つエディターを、それを抱えている実体の上で開きます。 |
このカードは、このページの唯一の指令再スキャンを持ちます（ツールチップ：「構成の全体を今すぐもう一度調べます。何かが変わるたびに、一覧は自分でも読み直されます。」）。スキャンが動いている間は灰色になります。同じものを見つけたスキャンは一覧をそのままにするので、結果は状態バーの操作ログ帯で伝えます。「再スキャンが完了しました：修復が必要な項目はありません。」、「再スキャンが完了しました：修復が必要な項目が N 件。」、または「再スキャンに失敗しました：理由」です。
再スキャンが要ることは、めったにありません。検証はステーションの上で常に動いており、それが読む面のどれかに変更のかたまりがあると、その 750 ミリ秒後に自分で調べ直します。読む面は、Connector の機器、回線、タグ、Process のモデル、資産、Logic の変数、アクション、警報、ダッシュボード、ラベルのテンプレート、レポートの様式です。ページとナビゲーションバーのバッジは、その結果に従います。Connector が機器を出し入れしている最中（ドライバーの更新、機器の追加）にかかったスキャンは、Connector が落ち着いてから取り直します。機器が動いている途中だというだけで、参照が壊れていると言われることは決してありません。
グループ
指摘は、それを抱える面ごとに、決まった順で並びます。中身のないグループは描かれないので、ダッシュボードの不具合が 1 つだけのステーションには、グループが 1 つだけ出ます。
| グループ | 指摘の種類 | 表題の下の行 |
|---|---|---|
| Process | バインド（チャネルのバインド、インターロック、自動化）、手順とそれが構える発生記録、アクションの書類 | N 件。ステーションがもう持っていないタグ、変数、手順を名指すチャネルのバインド、インターロック、ユニットの自動化と、開始が拒否する手順と、設定どおりでは実行が書類を出せないアクションです。 |
| Logic | 式の変数、アクション、警報 | N 件。もう解決しないアドレスを読んでいる式、アクションのスクリプト、警報の条件です。 |
| ダッシュボード | コンポーネント | N 件。もう解決しないアドレスを性質が指しているコンポーネントです。描かれはしますが、何も読みません。 |
1 行
どの行も 1 つの指摘で、何も開かずに、何についての話かを言います。
- 種類を表す記号です。Process のバインドにはユニット、アクションの書類には印刷の印、手順には書かれた構成の印、発生記録には旗の印、Logic の木の変数、アクション、警報の印、コンポーネントにはダッシュボードの印が付きます。
- 実体の名前、続いて、名前が言わないことを型が言うときはその型（システムインテグレーターが名前を付けなかったコンポーネントは種類に戻るので、行が「Gauge Gauge」と読めることはありません）、続いて、場所があるときは「場所 の中」です。
- 指摘です。相手を名指す項目なら「項目 は
参照を指していますが、それはもうありません。」と、参照を等幅で書きます。ランタイムが使えない項目なら「項目：何がおかしいか。」です。 - 右側の矢印です。行は何かを開きます。行のツールチップと読み上げ名は、文の全体に、押した先がどこかを添えたものです（「Process でユニットを開きます。」、「Process でアクションを開きます。」、「Process で手順を開きます。」、「Process で発生記録を開きます。」、「エディターでコンポーネントを開きます。」、「Logic で変数を開きます。」、「Logic でアクションを開きます。」、「Logic で警報を開きます。」）。
スキャンが出しうるすべての指摘
下の言い回しは、このページ自身のものです。tag:… や var:… として出る参照は、もう存在しないタグや変数の、保存された識別情報です。文字として出る鍵は、保存されたバインドの鍵です。
Process：チャネルのバインド
型は「チャネルのバインド」、名前はチャネルの名前（または「（削除されたチャネル）」）、場所は「モデル · ユニット」です。モデルのチャネルの画面を、そのユニットの上で開きます。
| 項目 | 言い回し |
|---|---|
| タグ | 保存されたタグの鍵を指していますが、それはもうありません |
| 変数 | 保存された変数の鍵を指していますが、それはもうありません |
Process：インターロック
型は「インターロック」、名前はユニットの名前、場所は「モデル · ユニット」です。ユニットは、実際に観測しているもの、つまり自分の信号源か、モデルに従うときはモデルの既定で判断されます。モデルの自動化の画面を、そのユニットの上で開きます。
| 項目 | 言い回し |
|---|---|
| 信号源 | モデルに従っていますが、その既定は Bool の信号源を名指していません。 |
| 信号源 | Bool の信号源が設定されていません。 |
| 信号源 | タグと変数の両方が選ばれています。 |
| タグ | tag:… を指していますが、それはもうありません |
| タグ | DateTime のタグは Bool に変換できません。（Guid と ByteString のタグも同じです） |
| 変数 | var:… を指していますが、それはもうありません |
| 変数 | DateTime の変数は Bool に変換できません。（Image、Icon、Color の変数も同じです） |
最初の 3 つは、モデルの停止インターロックが有効なときにだけ報告されます。
Process：自動化
型は「自動化」、名前はユニットの名前、場所は「モデル · ユニット」です。判断されるのは有効な自動化だけです。切ってあるものは何も動かさないので、一覧から退きます。モデルの自動化の画面を、そのユニットの上で開きます。
| 項目 | 言い回し |
|---|---|
| 指令 | 開始の信号源が設定されていません。 |
| 手順 | 固定の手順が使えません。（固定の選択のとき） |
| 選択 | 整数の信号源についての、信号源の指摘（下にあります） |
| 選択コード n | 削除された手順を選んでいます。 |
| 開始 の信号源、停止 の信号源など、指令の信号源ごとに 1 つ | Bool の信号源についての、信号源の指摘 |
| メタデータ | 対応付けが、削除された手順または項目を埋めています。 |
| メタデータ「項目」 | 信号源の指摘（数値の項目には数値、それ以外には Bool、整数、実数、文字、日付）、または、この項目は自動生成に対応していません。 |
| 返し Ready、返し Active、返し SelectedCode、返し CommandResult | tag:… を指していますが、それはもうありません。または、書き込むタグに書き込めません。／Bool のタグが必要です。（Ready、Active）／整数のタグが必要です。（SelectedCode、CommandResult） |
信号源の指摘は次のどれかです。「信号源が設定されていません。」、「タグと変数の両方が選ばれています。」、「読むタグは削除されました（tag:…）。」、「読むタグを読み取れません。」（タグが無効か書き込み専用のとき）、「型 のタグはここでは合いません。」、「読む変数は削除されました（var:…）。」、「型 の変数はここでは合いません。」。合うかどうかは、その項目の役目に従います。Bool の信号源には Bool のタグか変数が要り、整数の信号源には整数の型が、数値の信号源には整数か実数の型が、メタデータの信号源には Bool、整数、実数、文字、日付のいずれかの型が要ります。
Process：手順
型は「手順」、名前は手順の名前、場所はモデルの名前です。この判断は実行の開始が通るのと同じ関門を通るので、この一覧が動かせると言う手順は、装置が受け付ける手順です。手順自身のページを開きます。
これらの拒否は関門が書くもので、ステーションの言語が何であっても英語で書かれ、行はそれをそのまま引用します。
| 項目 | 言い回し |
|---|---|
| 構成 | An evaluation judges over recorded rows. This procedure carries one but no datalog. |
| 構成 | Occurrence 'name' watches recorded samples. This procedure arms it but has no datalog. |
| 構成 | Nothing to run: this procedure references neither a datalog nor a recipe. |
| 構成 | Instant mode needs an instant recipe (or none). A temporal profile has no single tick. |
| 構成 | Controlled mode needs an instant recipe (or none). Setpoints apply at Start, safe-state at Stop. |
| 構成 | Temporal mode needs a duration. Set one. |
| 構成 | Temporal mode needs a temporal recipe (or none). An instant set has no timeline. |
| 構成 | The recipe profile (N ms) is longer than the temporal window (M ms). |
| 構成 | Occurrence 'name' watches 'Channels.channel', which this procedure's datalog does not record. |
| 構成 | 完了した実行が生産に何を足すかについての拒否、または狙った先のチャネルに届かないレシピの値についての拒否で、それを持つエディター自身の言い回しです。 |
Process：発生記録
型は「発生記録」、名前は発生記録の名前、場所はモデルの名前です。読むのは手順が構える発生記録だけで、いくつの手順が構えても 1 回だけ読みます。条件は 1 つで、直す場所も 1 つだからです。発生記録自身のページを開きます。
| 項目 | 言い回し |
|---|---|
| 条件 | 条件自身の拒否で、発生記録のエディターの言い回しです。このモデルにないチャネルの参照、読み取れない条件、Bool 以外を返す条件、あるいは同じ名前に行き着く 2 つのチャネルです。これも英語で書かれます。 |
それ自体は成り立つのに判定できない条件は、その手順のデータログが見ているチャネルを外しているからであり、その手順の指摘になります。データログは手順自身の選択だからです。
Process：アクションの書類
型は「アクション」、名前はアクションの名前、場所はモデルの名前です。この判断は、アクション自身のページが「要確認」の知らせを描くのに使うものと同じなので、そちらで整っているとされたアクションは、ここでも整っています。アクション自身のページを開きます。
| 項目 | 言い回し |
|---|---|
| 指令 | 指令を追加してください。このアクションはまだ何も出しません。 |
| 指令 n · 開始時のラベル、指令 n · 完了時のレポートなど | その指令についての最初の注意、続いて、ほかにもあるときは「（この指令にはあと k 件）」です。注意をいくつも抱えた指令も、1 つのページで行う 1 つの修復なので、1 行です。 |
1 つの指令が抱えうる注意を、修復する順に並べます。
- 完了時の総合判定を 1 つ以上選んでください。（完了時の指令で、総合判定に 1 つも印が付いていないとき）
- レポートを選んでください。／選んだレポートはもうありません。
- ラベルのテンプレートを選んでください。／テンプレートが外されたか削除されました。保存された対応付けは残っています。／選んだ全体のテンプレートはもうありません。
- 選んだテンプレートには、まだプリンターの指令がありません。実行がこの指令に届く前に、書くか取り込んでください。
- テンプレートの差し込み項目を読み取れません：誤り
{{marker}}に信号源が必要です。／{{marker}}が 2 回以上対応付けられています。{{marker}}：信号源を選んでください ／ この信号源は開始時には使えません ／ このモデルのメタデータの目録から項目を選んでください ／ このモデルの判定から判定基準を選んでください ／ 0 から n までの、0 起点のサイクルを明示してください ／ この日付と時刻の信号源から小数の桁数を外してください ／ この数値の信号源には既定の書式を使ってください ／ 小数の桁数は 0 から 9 の間でなければなりません ／ この文字の信号源から数値と日付の書式を外してください{{marker}}は今のテンプレートから取り除かれました。保存された対応付けを消してください。
Logic
場所はありません。Logic の種類は最上位だからです。解決しないアドレスごとに 1 行で、アドレスは式が書くとおりに書きます。調べるのは式の変数だけです。内部値の変数には、読むべき式がありません。
| 型 | 項目 | 言い回し |
|---|---|---|
| 式の変数 | 式 | address を指していますが、それはもうありません |
| アクション | スクリプト | address を指していますが、それはもうありません |
| 警報 | 条件 | address を指していますが、それはもうありません |
ダッシュボード
型はエディターが呼ぶコンポーネントの種類（メーター、折れ線グラフ、値…）、名前はコンポーネントに入力した名前、なければその見出し、それもなければエディターが導き出すものです。場所はダッシュボードの名前です。アドレスの項目ごとに 1 行なので、値と色が削除された 2 つのポイントを読んでいるコンポーネントは、修復 2 件になります。
| 項目 | 言い回し |
|---|---|
| アドレス、強調のアドレス、系列 2 › アドレス、そしてその種類のほかのすべてのアドレスの項目（入れ子の一覧は、その道筋として読めます） | address を指していますが、それはもうありません |
読むのはアドレスの項目だけで、しかも根から書かれ、少なくとも 1 つの区切りを持つアドレスとして解釈できる値だけです。「Process.Press 1.Temperature」を抱えたテキストは文字であって参照ではないので、決して報告されません。同じ項目の同じアドレスは 1 つの指摘です。Process のモデルの上で定義された画面は飛ばします。それらはユニットの置き場所を通してチャネルをバインドするので、ユニットがその画面を開くまで、どのポイントもそのアドレスに答えないからです。
行が何を開くか
| 種類 | 開くもの | どこに着くか |
|---|---|---|
| コンポーネント | 編集の状態のダッシュボード（/d/{dashboard}?edit=true&focus={component}） |
そのコンポーネントを選び、その性質を出した状態です。アドレスはそこで入力し直します。編集にはダッシュボードの編集の権限が要ります。それがなければ、ダッシュボードは閲覧のために開きます。 |
| チャネルのバインド | Process のワークスペース（/process?focus={unit}&screen=channels） |
モデルのチャネルの画面で、そのユニットの行が選ばれ、その上のフォルダーはすべて開かれています。 |
| インターロック、自動化 | Process のワークスペース（/process?focus={unit}&screen=automation） |
モデルの自動化の画面で、そのユニットの行が選ばれています。 |
| アクションの書類 | Process のワークスペース（/process?focus={action}&screen=action） |
列の中の、そのアクション自身のページです。 |
| 手順 | Process のワークスペース（/process?focus={procedure}&screen=procedure） |
列の中の、その手順自身のページです。 |
| 発生記録 | Process のワークスペース（/process?focus={occurrence}&screen=occurrence） |
列の中の、その発生記録自身のページです。 |
| 式の変数、アクション、警報 | Logic のページ（/logic?focus={id}） |
その実体がエディターで選ばれ、アドレス空間のその部分が開かれています。 |
開くと不具合の上に着きます。編集については、着いた先のページが自分の権限を当てはめます（Process の画面では Process の管理、Logic では Logic の構成）。ページが着いたときにもう解決しない実体（その間に削除されたもの）は無視され、ページはいつもどおりの場所に開きます。
ナビゲーションバーのバッジ
ナビゲーションバーの検証の項目には、修復が必要な項目の数を入れた注意のピルが付きます。99 を超えると「99+」になり、構成がきれいな間はピルが付きません。この数は検証自身のもので、ページが従うのと同じ再スキャンによって背後で最新に保たれるので、このページを開いていなくても、どのページで編集しても動きます。
このページが決してしないこと
- 何も修復しません。バインドの張り直しも、削除も、名前の変更もしません。どの行も「開く」であり、行にほかの操作はなく、まとめての操作もありません。
- ランタイムを判断することは決してありません。通信していない機器は状態バーの稼働状態の話であって、ここの指摘ではありません。存在していて品質の悪い値を読むタグへの参照は、解決します。
- 無効な自動化、モデルの上で定義された画面、アドレスに見える自由な文字、内部値の変数、そして同じアクションの指令の 2 つ目以降の注意は、決して報告しません（あとどれだけそのページで待っているかは、数が言います）。
- どの手順も構えていない発生記録は決して読まず、いくつの手順が構えていても同じ発生記録を二度は並べません。条件が 1 つなら修復も 1 つです。
- Connector が移り変わっている最中には決して調べません。待ってから、一度だけ測ります。
- どの画面でも、ステーションのウィンドウでもブラウザーでも同じ一覧で、開いてよいどの識別情報にとっても同じです。権限が守るのはページであって、その行ではありません。
- ランタイムが停止している間は、ほかのページと同じように一時停止の知らせに場所を譲ります。バッジは最後の数を保ちます。