테이블에 모든 연산자와 특수 함수에 대한 우선순위와 연관성이 요약되어 있습니다. 첫 번째 항목의 우선순위가 가장 높으며
하향식으로 우선순위가 감소됩니다.
이 테이블에서 "ID expr"는 함수 애플리케이션을 나타내며 "type expr"는 변환 연산자의 애플리케이션을 나타냅니다.
대체 연산자(|=>) 및 관계 연산자(=, <> 등)는 연관되지 않습니다.
연산자의 우선순위 및 연관성 테이블
연산자
연관성
$,
map, filter, traverse, sort, ID expr, type
expr
R
(unary) -, not
R
*, /
L
+, -
L
=, <>, ~=, ~<>, <, <=, >, >=
–
And
L
Or
L
Implies
R
let,
if, for_all, there_exists
R
|=>
–
렉시칼 요소
이 섹션에서는 Q로
렉시칼 요소(정규식)를 설명합니다. 토큰 간의 주석, 공백, 탭, 캐리지 리턴 및 줄 바꾸기는 무시됩니다. 주석은
(* 및 *)로 구분된 문자 시퀀스입니다. 주석에 둘 이상의 행을 적용할 수 있습니다.