Приоритет и ассоциативность выражений вспомогательных моделей безопасности

Приоритет и ассоциативность выражений вспомогательных моделей безопасности Pred, Bool, Math и Struct приведены в таблице ниже.

Приоритет и ассоциативность выражений вспомогательных моделей безопасности

Выражения

Приоритет

Ассоциативность

Модель безопасности

Особенности

pred.empty

1

Нет

Pred

Нет.

bool.all

bool.any

bool.cond

1

Нет

Bool

Нет.

math.<имя выражения>

1

Нет

Math

Нет.

Выражения модели безопасности Struct

1

Нет

Struct

Нет.

~

2

Нет

Math

Нет.

!

2

Нет

Bool

Нет.

*

3

Левая

Math

Нет.

+

-

4

Левая

Math

Нет.

<

>

<=

>=

==

!=

5

Нет

Pred

Нет.

&&

6

Левая

Bool

Нет.

||

7

Левая

Bool

Нет.

==>

8

Правая

Bool

Нет.

&

3*

Левая

Math

Приоритет ниже 2, но несравним с приоритетами 3-8, поэтому при совместном использовании с выражениями приоритетов 3-8 нужно использовать скобки, чтобы задать порядок выполнения операций.

|

4*

Левая

Math

Приоритет ниже 3*, но несравним с приоритетами 3-8, поэтому при совместном использовании с выражениями приоритетов 3-8 нужно использовать скобки, чтобы задать порядок выполнения операций.

Выражения всех моделей безопасности (не только вспомогательных) имеют приоритет 1.

В начало