| Правило | Призначення |
|---|---|
self.minReplicas <= self.replicas && self.replicas <= self.maxReplicas |
Перевірити, що три поля, що визначають репліки, розташовані в правильному порядку |
'Available' in self.stateCounts |
Перевірити, що в map існує запис з ключем 'Available' |
(self.list1.size() == 0) != (self.list2.size() == 0) |
Перевірити, що один із двох списків не порожній, але не обидва одночасно |
self.envars.filter(e, e.name = 'MY_ENV').all(e, e.value.matches('^[a-zA-Z]*$')) |
Перевірити поле 'value' у запису listMap, де поле ключа 'name' дорівнює 'MY_ENV' |
has(self.expired) && self.created + self.ttl < self.expired |
Перевірити, що дата 'expired' є пізніше дати 'created' плюс тривалість 'ttl' |
self.health.startsWith('ok') |
Перевірити, що строкове поле 'health' має префікс 'ok' |
self.widgets.exists(w, w.key == 'x' && w.foo < 10) |
Перевірити, що властивість 'foo' елемента listMap з ключем 'x' менше 10 |
type(self) == string ? self == '99%' : self == 42 |
Перевірити поле типу int-або-string для обох випадків: int та string |
self.metadata.name == 'singleton' |
Перевірити, що імʼя обʼєкта відповідає конкретному значенню (робить його унікальним) |
self.set1.all(e, !(e in self.set2)) |
Перевірити, що два списки (listSets) не перетинаються |
self.names.size() == self.details.size() && self.names.all(n, n in self.details) |
Перевірити, що map 'details' має ключі, які відповідають елементам у списку 'names' |
self.details.all(key, key.matches('^[a-zA-Z]*$')) |
Перевірити ключі map 'details' |
self.details.all(key, self.details[key].matches('^[a-zA-Z]*$')) |
Перевірити значення map 'details' |
| Вираз CEL | Призначення |
|---|---|
names.isSorted() |
Перевірити, що список імен зберігається в алфавітному порядку |
items.map(x, x.weight).sum() == 1.0 |
Перевірити, що "ваги" списку обʼєктів дорівнюють 1.0 |
lowPriorities.map(x, x.priority).max() < highPriorities.map(x, x.priority).min() |
Перевірити, що два набори пріоритетів не перекриваються |
names.indexOf('should-be-first') == 1 |
Вимагати, щоб перше імʼя у списку було певним значенням |
| Вираз CEL | Призначення |
|---|---|
"abc 123".find('[0-9]+') |
Знайти перше число у рядку |
"1, 2, 3, 4".findAll('[0-9]+').map(x, int(x)).sum() < 100 |
Перевірити, що сума чисел у рядку менше 100 |
| Вираз CEL | Призначення |
|---|---|
url('https://example.com:80/').getHost() |
Отримати частину хосту 'example.com:80' URL |
url('https://example.com/path with spaces/').getEscapedPath() |
Повертає '/path%20with%20spaces/' |
| Вираз CEL | Призначення |
|---|---|
authorizer.group('').resource('pods').namespace('default').check('create').allowed() |
Повертає true, якщо принципалу (користувачу або службовому обліковому запису) дозволено створювати Podʼи у просторі імен 'default'. |
authorizer.path('/healthz').check('get').allowed() |
Перевіряє, чи авторизований принципал (користувач або службовий обліковий запис) виконує HTTP GET-запити до шляху API /healthz. |
authorizer.serviceAccount('default', 'myserviceaccount').resource('deployments').check('delete').allowed() |
Перевіряє, чи службовий обліковий запис має дозвіл на видалення deployments. |
Kubernetes v1.34 [stable](стандартно увімкнено)| CEL вираз | Призначення |
|---|---|
authorizer.group('').resource('pods').fieldSelector('spec.nodeName=mynode').check('list').allowed() |
Повертає true, якщо користувач або службовий обліковий запис має дозвіл на отримання списку Podʼів із селектором полів spec.nodeName=mynode. |
authorizer.group('').resource('pods').labelSelector('example.com/mylabel=myvalue').check('list').allowed() |
Повертає true, якщо користувач або службовий обліковий запис має дозвіл на отримання списку Podʼів із селектором міток example.com/mylabel=myvalue. |
| Метод | Повертає тип | Опис |
|---|---|---|
isInteger() |
bool | Повертає true, якщо asInteger може бути викликано без помилки. |
asInteger() |
int | Повертає представлення поточного значення як int64, якщо це можливо, або викликає помилку, якщо конвертація призводить до переповнення або втрати точності. |
asApproximateFloat() |
float | Повертає представлення кількості як float64, що може втратити точність. |
sign() |
int | Повертає 1, якщо кількість додатня, -1, якщо вона відʼємна, або 0, якщо вона нуль. |
add(<Quantity>) |
Quantity | Повертає суму двох кількостей. |
add(<int>) |
Quantity | Повертає суму кількості та цілого числа. |
sub(<Quantity>) |
Quantity | Повертає різницю між двома кількостями. |
sub(<int>) |
Quantity | Повертає різницю між кількістю та цілим числом. |
isLessThan(<Quantity>) |
bool | Повертає true, якщо отримувач менше операнта. |
isGreaterThan(<Quantity>) |
bool | Повертає true, якщо отримувач більше операнта. |
compareTo(<Quantity>) |
int | Порівнює отримувача з операндом та повертає 0, якщо вони рівні, 1, якщо отримувач більший або -1, якщо отримувач менший за операнд. |
| Вираз CEL | Призначення |
|---|---|
quantity("500000G").isInteger() |
Перевірка, чи конвертація в ціле число викликає помилку. |
quantity("50k").asInteger() |
Точна конвертація в ціле число. |
quantity("9999999999999999999999999999999999999G").asApproximateFloat() |
Втратна конвертація в плаваючий рядок. |
quantity("50k").add(quantity("20k")) |
Додати дві кількості. |
quantity("50k").sub(20000) |
Відняти ціле число від кількості. |
quantity("50k").add(20).sub(quantity("100k")).sub(-50000) |
Ланцюгове додавання та віднімання цілих чисел та кількостей. |
quantity("200M").compareTo(quantity("0.2G")) |
Порівняти дві кількості. |
quantity("150Mi").isGreaterThan(quantity("100Mi")) |
Перевірити, чи кількість більша за отримувача. |
quantity("50M").isLessThan(quantity("100M")) |
Перевірити, чи кількість менша за отримувача. |
| Тип OpenAPIv3 | Тип CEL |
|---|---|
| 'object' з Properties | object / "тип повідомлення" (type(<object>) обчислюється як selfType<uniqueNumber>.path.to.object.from.self |
| 'object' з AdditionalProperties | map |
| 'object' з x-kubernetes-embedded-type | object / "тип повідомлення", 'apiVersion', 'kind', 'metadata.name' і 'metadata.generateName' включені в схему |
| 'object' з x-kubernetes-preserve-unknown-fields | object / "тип повідомлення", невідомі поля НЕ доступні у виразі CEL |
| x-kubernetes-int-or-string | обʼєднання int або string, self.intOrString < 100 || self.intOrString == '50%' обчислюється як true для 50 і "50%" |
| 'array' | list |
| 'array' з x-kubernetes-list-type=map | list з базованими на map рівноправністю та унікальними ключами |
| 'array' з x-kubernetes-list-type=set | list з базованими на set рівноправністю та унікальними елементами |
| 'boolean' | boolean |
| 'number' (усі формати) | double |
| 'integer' (усі формати) | int (64) |
| немає еквівалента | uint (64) |
| 'null' | null_type |
| 'string' | string |
| 'string' з format=byte (base64 encoded) | bytes |
| 'string' з format=date | timestamp (google.protobuf.Timestamp) |
| 'string' з format=datetime | timestamp (google.protobuf.Timestamp) |
| 'string' з format=duration | duration (google.protobuf.Duration) |
| екрануюча послідовність | еквівалент імені властивості |
|---|---|
__underscores__ |
__ |
__dot__ |
. |
__dash__ |
- |
__slash__ |
/ |
__{keyword}__ |
ЗАРЕЗЕРВОВАНЕ ключове слово CEL |
| імʼя властивості | правило з екранованим імʼям властивості |
|---|---|
namespace |
self.__namespace__ > 0 |
x-prop |
self.x__dash__prop > 0 |
redact__d |
self.redact__underscores__d > 0 |
string |
self.startsWith('kube') |