陳述式及建構實體
下列是陳述式及/或建構實體:
- 在 FORALL 陳述式或 FORALL 建構中顯示為 index_name 的變數名稱。
- SCOPE: FORALL 陳述式或建構的範圍。
FORALL 陳述式或建構實體所保留的屬性只有類型及類型參數,如果它是包括 FORALL之範圍設定單元中的變數名稱,則它會具有這些類型及類型參數。 它是整數類型。
除了一般區塊名稱或純量變數名稱之外,識別廣域實體或 category 1 的區域實體 (可在 FORALL 陳述式或建構的範圍設定單元中存取) 的名稱不得與 index_name相同。 在 FORALL 建構的範圍內,巢狀 FORALL 陳述式或 FORALL 建構不得具有相同的 index_name。
如果在 FORALL 陳述式或建構的範圍設定單元中可存取的廣域或區域實體名稱與 index_name相同,則會在 FORALL 陳述式或建構的範圍內將名稱解譯為 index_name的名稱。 在範圍設定單元的其他位置,名稱會解譯為廣域或區域實體的名稱。