本文說明如何使用連線檢查。
值示例
定義輸入和輸出的連線檢查時,通常應將檢查視為代表類型。
輸入內容的檢查項目應包含每個「接受」的「類型」,而輸出內容的檢查項目應包含「回傳」的「確切」內容。
接受單一類型
在最基本的情況下,如果您想要建立「接受」或「傳回」某個類型的區塊,就必須在連線的連線檢查中加入該類型。
接受多種類型
如要建立「接受」多種型別的區塊,您必須在輸入內容的連線檢查中加入所有接受的型別。
依慣例,如果輸出內容在多種情況下「偶爾」可接受 (例如允許數字偶爾用於字串),輸出內容應更嚴格,輸入內容則應更寬鬆。這個慣例可確保輸出內容不會連結至不支援的裝置。
接受任何類型
如要建立「接受」任何類型的區塊,您必須將輸入內容的連線檢查設為 null
。
傳回子類型
如要建立「傳回」子類型的區塊,您必須在輸出內容的連線檢查中同時加入類型和超類型。
在子類型情況下,輸出檢查中可以有多個檢查項目,因為區塊「一律」會「傳回」這兩種型別。
傳回參數化類型
如要建立「傳回」參數化類型的區塊,您需要在輸出的連線檢查中同時加入參數化和非參數化的版本。
視封鎖語言的嚴格程度而定,您可能也要加入類型的變異值。
就像子類型一樣,在這種情況下,輸出檢查中可以有多個檢查,因為區塊「一律」會「傳回」這兩種型別。
堆疊或語句範例
開發人員可以透過幾種常見方式,為前一個和下一個連線定義檢查項目。通常,您可以將這些做法視為限制區塊的排序。
後續連結應包含應接續目前連結的區塊,而先前連結則包含目前區塊的「內容」。
保持區塊順序
如要建立一組以特定順序連結的區塊,您需要在下次連線檢查中加入應接續目前區塊的區塊,以及上次連線檢查中目前區塊的「狀態」。
允許大量中間區塊
如要建立一組可允許大量中間區塊的排序區塊,您必須在中間區塊的下一個連線檢查中,加入至少一個中間區塊先前連線檢查的項目。這樣一來,這個區塊就能接續更多相同的區塊。
不允許中間區塊
如要建立一組有中間區塊的排序區塊 (中間區塊為選用區塊),您必須在第一個區塊的下一個連線檢查中,加入中間區塊先前連線檢查和最後一個區塊先前連線檢查的至少一個項目。這樣一來,第一個區塊後面就能接著中間區塊或最後一個區塊。
或式堆疊
如要建立只能接續某一群組區塊或另一個群組區塊的區塊 (不能同時接續兩者),您必須完成以下兩項操作:
您必須在第一個區塊的下一個連線檢查中,加入兩個先前連線檢查群組中至少一個項目。
您必須定義群組的下一個連線檢查,只包含先前連線檢查中的值 (因此只能接著同一個群組的區塊)。