GLOBAL_DEFINED_WORDS: 関数などの意味論要素を適格要件の他にも追加

効果・同期・結果・戻り値・例外・備考などの一般的な語と同じになるものは、
誤って着色されると混乱の元なので除外している。

Author: akinomyoga

GLOBAL_DEFINED_WORDS.json

@@ -94,11 +94,29 @@
     "yomi": "ゆーざーていぎ",
     "redirect": "プログラム定義"
   },
+  "テンプレートパラメータ制約": {
+    "yomi": "てんぷれーとぱらめーたせいやく",
+    "desc": "関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件"
+  },
   "適格要件": {
-    "desc": "満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる"
+    "yomi": "てきかくようけん",
+    "desc": "関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる"
   },
-  "テンプレートパラメータ制約": {
-    "desc": "関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件"
+  "事前条件": {
+    "yomi": "じぜんじょうけん",
+    "desc": "関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当"
+  },
+  "事後条件": {
+    "yomi": "じごじょうけん",
+    "desc": "関数等の意味論を構成する要素の1つ。Postconditions。関数を実行後に満たされている条件。契約属性の`[[ensures]]`に相当"
+  },
+  "計算量": {
+    "yomi": "けいさんりょう",
+    "desc": "関数等の意味論を構成する要素の1つ。Complexity。関数が使うアルゴリズムの空間計算量・時間計算量"
+  },
+  "エラー条件": {
+    "yomi": "えらーじょうけん",
+    "desc": "関数等の意味論を構成する要素の1つ。Error conditions。関数が各エラーコードを返す条件"
   },
   "イテレータ範囲": {
     "yomi": "いてれーたはんい",
@@ -124,9 +142,21 @@
     "yomi": "かんぜんがた",
     "desc": "型のサイズを決定できる型。不完全型ではない型"
   },
+  "オーバーロード": {
+    "desc": "同名の関数を異なる引数・テンプレート・制約などで複数定義すること。または同名の関数の集合"
+  },
+  "多重定義": {
+    "yomi": "たじゅうていぎ",
+    "redirect": "オーバーロード"
+  },
   "オーバーロード解決": {
+    "yomi": "おーばーろーどかいけつ",
     "desc": "関数呼び出し時に、同名の関数の中から実際に呼び出す関数を決定する処理。このときの候補になることを、オーバーロード解決に参加するという"
   },
+  "多重定義解決": {
+    "yomi": "たじゅうていぎかいけつ",
+    "redirect": "オーバーロード解決"
+  },
   "述語": {
     "yomi": "じゅつご",
     "desc": "boolを返す関数・関数オブジェクト。predicate"