ragel - 클라우드의 온라인

프로그램:

이름

ragel - 일반 언어를 실행 가능한 상태 머신으로 컴파일

개요

라겔 [옵션] 파일

기술

Ragel은 일반 언어에서 실행 가능한 유한 상태 머신을 컴파일합니다. 라겔 캔
C, C++, Objective-C, D, Go 또는 Java 코드를 생성합니다. Ragel 상태 머신은
정규식 기계처럼 바이트 시퀀스를 인식하지만 다음 위치에서 코드를 실행할 수도 있습니다.
정규 언어 인식의 임의 지점. 사용자 코드는 다음을 사용하여 포함됩니다.
정규 언어 구문을 방해하지 않는 인라인 연산자.

핵심 언어는 Union,
액션 임베딩 연산자와 함께 연결 및 kleene 스타. 라겔도
생성하고 구성하는 모든 비결정성을 제어할 수 있는 연산자를 제공합니다.
가장 긴 일치 패러다임을 사용하는 스캐너 및 상태 차트를 사용하여 상태 머신 구축
모델. 내부에서 상태 머신의 실행에 영향을 줄 수도 있습니다.
기계의 다른 부분으로 점프하거나 호출하고 재처리함으로써 내장된 동작
입력.

Ragel은
생성된 코드가 사용 및 통합되는 방법에 대한 최소한의 제한
애플리케이션. 생성된 코드에는 종속성이 없습니다.

옵션

-h, -H, -?, --도움
도움말을 표시하고 종료합니다.

-v 버전 정보를 인쇄하고 종료합니다.

-o 파일
파일에 출력을 씁니다. -o를 지정하지 않으면 기본 파일 이름이 다음과 같이 선택됩니다.
입력 파일의 파일 확장자를 대체합니다. .rh로 끝나는 소스 파일의 경우
접미사 .h가 사용됩니다. 다른 모든 소스 파일의 경우 출력 언어를 기반으로 한 접미사
사용됩니다(.c, .cpp, .m 등). Graphviz 출력에 -o가 지정되지 않으면 생성됩니다.
dot 파일은 표준 출력에 기록됩니다.

-s 표준 오류에 대한 일부 통계를 인쇄합니다.

--오류 형식=gnu
"file:line:column:" 형식을 사용하여 오류 메시지 인쇄(기본값)

--오류 형식=msvc
"file(line,column):" 형식을 사용하여 오류 메시지를 인쇄합니다.

-d 작업 목록에서 중복 작업을 제거하지 마십시오.

-I DIR
포함 및 가져온 파일을 검색하기 위해 디렉토리 목록에 dir 추가

-n 상태 최소화를 수행하지 마십시오.

-m 상태 머신 컴파일이 끝날 때 최소화를 한 번 수행합니다.

-l 거의 모든 작업 후에 최소화합니다. Union과 같은 유사한 작업의 목록은 다음과 같습니다.
마지막에 한 번 최소화합니다. 이것은 기본 최소화 옵션입니다.

-e 모든 작업 후에 최소화하십시오.

-x 상태 머신을 컴파일하고 호스트 데이터의 XML 표현을 내보냅니다.
기계.

-V Graphviz용 도트 파일을 생성합니다.

-p 라벨에 인쇄 가능한 문자를 표시합니다.

-S
출력할 FSM 사양입니다.

-M
출력할 기계 정의/인스턴스화.

-C 호스트 언어는 C, C++, Obj-C 또는 Obj-C++입니다. 이것은 기본 호스트 언어입니다.
옵션을 선택합니다.

-D 호스트 언어는 D입니다.

-J 호스트 언어는 Java입니다.

-Z 호스트 언어는 Go입니다.

-R 호스트 언어는 Ruby입니다.

-L #line 지시문 작성을 금지합니다.

-T0 (C/D/Java/Ruby/C#/Go) 테이블 기반 FSM을 생성합니다. 이것이 기본 코드 스타일입니다.
테이블 기반 FSM은 상태 머신을 정적 데이터로 나타냅니다. 테이블이 있습니다
상태, 전환, 지표 및 조치. 현재 상태는
변하기 쉬운. 실행은 주어진 현재 상태와
처리할 현재 문자는 이진 검색을 사용하여 수행할 전환을 조회하고,
모든 작업을 실행하고 대상 상태로 이동합니다. 일반적으로 테이블 구동
FSM은 더 작은 바이너리를 생성하고 더 저렴한 호스트 언어 컴파일이 필요합니다.
그러나 코드 실행 속도가 느려집니다. 테이블 구동 FSM은 모든 FSM에 적합합니다.

-T1 (C/D/Ruby/C#/Go) 작업 목록을 확장하여 더 빠른 테이블 기반 FSM 생성
작업 실행 코드.

- F0 (C/D/Ruby/C#/Go) 플랫 테이블 기반 FSM을 생성합니다. 전환은 다음과 같이 표시됩니다.
현재 알파벳 문자로 인덱싱된 배열입니다. 이것은 필요를 제거합니다
전환을 찾고 더 빠른 코드를 생성하기 위한 이진 검색
작은 알파벳에 적합합니다.

- F1 (C/D/Ruby/C#/Go) 작업 목록을 확장하여 더 빠른 플랫 테이블 기반 FSM 생성
작업 실행 코드에서.

-G0 (C/D/C#/Go) goto 기반 FSM을 생성합니다. goto 기반 FSM은 상태를 나타냅니다.
일련의 goto 문으로 기계. 기계에 있는 동안 현재 상태는
프로세서의 명령 포인터에 의해 저장됩니다. 실행은 플랫 함수입니다.
여기서 제어는 goto를 사용하여 상태에서 상태로 전달됩니다. 일반적으로 goto FSM
더 빠른 코드를 생성하지만 더 큰 바이너리와 더 비싼 호스트를 생성합니다.
언어 컴파일.

-G1 (C/D/C#/Go) 작업 목록을 확장하여 더 빠른 goto 기반 FSM을 생성합니다.
작업 실행 코드.

-G2 (C/D/Go) 액션 목록을
상태 기계 제어 코드.

-NS (C/D) N-Way Split은 정말 빠른 goto 기반 FSM입니다.

라겔 입력

참고: 이것은 Ragel 입력에 대한 매우 간단한 설명입니다. Ragel이 더 자세히 설명되어 있습니다.
홈페이지(아래 참조)에서 사용할 수 있는 사용자 가이드에서.

Ragel은 일반적으로 입력 파일을 출력으로 바로 전달합니다. FSM을 볼 때
상태 머신 생성을 중지하는 머신 인스턴스화를 포함하는 사양입니다.
write 문이 있는 경우(예: "write exec") ragel은 해당
암호. 입력 파일에는 FSM 사양이 여러 개 있을 수 있습니다. 다중 라인 FSM
사양은 '%%{'로 시작하고 '}%%'로 끝납니다. 단일 라인 FSM 사양
%%로 시작하여 첫 번째 줄 바꿈에서 끝납니다.

FSM 성명서

머신 이름:
기기의 이름을 설정합니다. 주어진 경우 첫 번째 문이어야 합니다.

알파벳 유형:
알파벳의 데이터 타입을 설정합니다.

키 가져오기:
요소 유형에서 알파벳 문자를 검색하는 방법을 지정하십시오.

포함:
현재 시스템과 이름이 같거나 다른 이름의 시스템을 다음 중 하나에 포함합니다.
현재 파일 또는 다른 파일.

동작 정의:
FSM에서 호출할 수 있는 작업을 정의합니다.

FSM 정의, 인스턴스화 및 가장 긴 경기 인스턴스화:
FSM을 구축하는 데 사용됩니다. 다음 몇 섹션에서 구문 설명.

액세스 :
영구 상태 머신 변수에 액세스하는 방법을 지정합니다.

쓰다: 기계의 일부 구성 요소를 작성하십시오.

변하기 쉬운:
기본 변수 이름(p, pe, cs, act 등)을 재정의합니다.

BASIC 기계

기본 기계는 정규 언어 표현식의 기본 피연산자입니다.

'안녕하세요'
Concat 리터럴. 문자열의 문자를 연결합니다. 지원
'\'가 있는 이스케이프 시퀀스. 결과는 시작 상태와 다음으로 전환됩니다.
문자열의 각 문자에 대한 새로운 상태. 시퀀스의 마지막 상태는
최종 결정됩니다. 문자열을 대소문자를 구분하지 않도록 하려면 다음과 같이 문자열에 'i'를 추가합니다.
'cmd'i에서.

"안녕하세요"
작은따옴표 버전과 동일합니다.

[안녕하십니까]
또는 문자 그대로. 문자 조합을 생성합니다. '-'로 문자 범위를 지원합니다.
이니셜 '^'로 합집합의 의미를 부정하고 '\'로 이스케이프 시퀀스를 무효화합니다.
결과에는 각 문자에 대한 전환이 있는 두 가지 상태가 있습니다.
또는 범위.

참고: '', "" 및 []는 null FSM을 생성합니다. 널 머신은 둘 다 시작인 하나의 상태를 가집니다.
상태 및 최종 상태를 확인하고 길이가 XNUMX인 문자열과 일치합니다. 널 머신이 생성될 수 있음
null 내장 머신으로.

정수
주어진 정수에서 한 번의 전환으로 두 개의 상태 머신을 만듭니다.

마녀 주어진 XNUMX진수에 대해 한 번의 전환으로 두 개의 상태 머신을 만듭니다.

/단순_정규식/
간단한 정규식입니다. 표기법 '.', '*' 및 '[]', 문자 지원
'-'로 범위를 지정하고 이니셜 '^'로 OR 표현식의 의미를 부정하고
'\'가 있는 이스케이프 시퀀스. 또한 하나의 후행 플래그를 지원합니다. i. 사용하여 제작
/GET/i에서와 같이 대소문자를 구분하지 않는 정규식입니다.

침대 .. 침대
범위를 지정합니다. 허용 가능한 상한 및 하한은 다음의 연결 리터럴입니다.
길이 하나와 숫자 기계. 예를 들어, 0x10..0x20, 0..63 및 'a'..'z'는
유효한 범위.

변수명
주어진 변수 이름에 할당된 기계 정의를 참조합니다.

빌트인 머신
여러 내장 기계를 사용할 수 있습니다. 그것들은 모두 다음을 위한 두 개의 상태 머신입니다.
문자의 공통 클래스를 일치시키는 목적. 그들은:

어떤 알파벳의 모든 문자.

아스키 아스키 문자 0..127.

확장 ASCII 확장 문자. 이것은 서명된 알파벳의 경우 -128..127 범위입니다.
부호 없는 알파벳의 경우 범위는 0..255입니다.

알파 알파벳 문자/[A-Za-z]/.

손가락 숫자 /[0-9]/.

앨범 영숫자/[0-9A-Za-z]/.

절감 소문자 /[az]/.

상단 대문자 /[AZ]/.

x자리 0진수 /[9-XNUMXA-Fa-f]/.

컨트롤 제어 문자 0..31.

그래프 그래픽 문자 /[!-~]/.

인쇄 인쇄 가능한 문자 /[ -~]/.

포인트 구두. 영숫자가 아닌 그래픽 문자
/[!-/:-@\[-`{-~]/.

공간 공백 /[\t\v\f\n\r ]/.

null로 길이가 XNUMX인 문자열. '', "" 및 []와 동일합니다.

빈 빈 세트입니다. 아무것도 일치하지 않습니다.

간결한 운영자 명시

연산자는 우선 순위에 따라 그룹화되며 그룹 1이 가장 낮고 그룹 6이 가장 높습니다.

그룹 1:

특급 , 특급
전환을 그리지 않고 시스템을 함께 결합하거나 시작 상태를 설정하거나
모든 최종 상태. 시작 상태는 "시작" 레이블로 명시적으로 지정되어야 합니다.
최종 상태는 암시적으로 엡실론 전환으로 지정할 수 있습니다.
"최종" 상태를 만들었습니다.

그룹 2:

특급 | 특급
기계 XNUMX 또는 기계 XNUMX의 문자열과 일치하는 기계를 생성합니다.

특급 & 특급
기계 XNUMX과 기계 모두에 있는 문자열과 일치하는 기계를 생성합니다.
둘.

특급 - 특급
머신 XNUMX에는 있지만 머신 XNUMX에는 없는 문자열과 일치하는 머신을 생성합니다.
기계 XNUMX.

특급 -- 특급
강한 빼기. 문자열이 없는 시스템 XNUMX의 모든 문자열과 일치합니다.
기계 XNUMX에서 부분 문자열로.

그룹 3:

특급 . 특급
기계 XNUMX의 모든 문자열과 일치하는 기계를 생성하고
기계 XNUMX의 문자열.

특급 :> 특급
Entry-Guarded Concatenation: 시스템 XNUMX에 진입할 때 시스템 XNUMX을 종료합니다.

특급 ::> 특급
Finish-Guarded Concatenation: 시스템 XNUMX가 완료되면 시스템 XNUMX을 종료합니다.

특급 <: 특급
왼쪽 보호 연결: 머신 XNUMX에 더 높은 우선 순위를 부여합니다.

참고: 연결은 기본 연산자입니다. 두 대의 기계가 서로 옆에
그들 사이의 연산자는 연결 연산을 초래합니다.

그룹 4:

레이블 : 특급
표현식에 레이블을 첨부합니다. 레이블은 엡실론 전환 및
작업의 fgoto 및 fcall 문. 또한 기계 참조
정의는 동일한 이름으로 레이블을 암시적으로 생성합니다.

그룹 5:

특급 -> 상표
레이블에 의해 정의된 상태로 엡실론 전환을 그립니다. 레이블은 다음의 이름이어야 합니다.
현재 범위. 쉼표 연산자가 다음과 같을 때 엡실론 전환이 해결됩니다.
평가되고 머신의 표현식 트리 루트에서
할당/인스턴스화.

그룹 6: 행위

작업은 작업 문으로 미리 정의된 이름이거나 직접 지정할 수 있습니다.
표현식에 '{' 및 '}' 포함.

특급 > 동작
시작 전환에 작업을 포함합니다.

특급 @ 동작
최종 상태가 되는 전환에 작업을 포함합니다.

특급 $ 동작
모든 전환에 작업을 포함합니다. 보류 중인 전환은 포함하지 않습니다.

특급 % 동작
최종 상태에서 보류 중인 전환에 작업을 포함합니다.

그룹 6: EOF 행위

기계의 종료 루틴이 호출되면 현재 상태의 EOF 작업이 실행됩니다.

특급 >/ 동작
EOF 작업을 시작 상태에 포함합니다.

특급 </ 동작
시작 상태를 제외한 모든 상태에 EOF 작업을 포함합니다.

특급 $/ 동작
모든 상태에 EOF 작업을 포함합니다.

특급 %/ 동작
EOF 작업을 최종 상태에 포함합니다.

특급 @/ 동작
최종이 아닌 모든 상태에 EOF 작업을 포함합니다.

특급 <>/ 동작
시작 상태가 아니고 시작 상태가 아닌 모든 상태에 EOF 작업을 포함합니다.
최종(중간 상태).

그룹 6: 글로벌 오류 행위

전역 오류 작업은 최종 상태 시스템이 완전히 완료될 때까지 상태에 저장됩니다.
구성된. 그런 다음 오류 전환으로 전송되어 다음과 같은 효과를 제공합니다.
기본 동작.

특급 >! 동작
시작 상태에 전역 오류 작업을 포함합니다.

특급 <! 동작
시작 상태를 제외한 모든 상태에 전역 오류 작업을 포함합니다.

특급 $! 동작
모든 상태에 전역 오류 작업을 포함합니다.

특급 %! 동작
최종 상태에 전역 오류 작업을 포함합니다.

특급 @! 동작
최종적이지 않은 모든 상태에 전역 오류 작업을 포함합니다.

특급 <>! 동작
시작 상태가 아닌 모든 상태에 전역 오류 작업을 포함합니다.
최종이 아닙니다(중간 상태).

그룹 6: 지방의 오류 행위

로컬 오류 작업은 명명된 시스템이 완전히 구성될 때까지 상태로 저장됩니다.
그런 다음 오류 전환으로 전송되어 에 대한 기본 작업의 효과를 제공합니다.
전체 기계의 섹션. 이름이 생략될 수 있다는 점에 유의하십시오.
작업은 현재 머신 구성 시 오류 작업으로 전송됩니다.

특급 >^ 동작
로컬 오류 작업을 시작 상태에 포함합니다.

특급 <^ 동작
시작 상태를 제외한 모든 상태에 로컬 오류 작업을 포함합니다.

특급 $^ 동작
모든 상태에 로컬 오류 작업을 포함합니다.

특급 %^ 동작
로컬 오류 작업을 최종 상태에 포함합니다.

특급 @^ 동작
최종이 아닌 모든 상태에 로컬 오류 작업을 포함합니다.

특급 <>^ 동작
시작 상태가 아닌 모든 상태에 로컬 오류 작업을 포함합니다.
최종이 아닙니다(중간 상태).

그룹 6: 상태로 행위

상태 작업은 상태에 저장되고 기계가 다음으로 이동할 때마다 실행됩니다.
상태. 여기에는 정기적인 전환과 fgoto와 같은 제어 이전이 포함됩니다. 메모
기계 외부에서 현재 상태를 설정하는 것(예:
초기화)는 상태로의 전환으로 간주되지 않습니다.

특급 >~ 동작
시작 상태에 종료 상태 작업을 포함합니다.

특급 <~ 동작
시작 상태를 제외한 모든 상태에 종료 상태 작업을 포함합니다.

특급 $~ 동작
모든 상태에 to-state 작업을 포함합니다.

특급 %~ 동작
최종 상태에 to-state 작업을 포함합니다.

특급 @~ 동작
최종 상태가 아닌 모든 상태에 to-state 작업을 포함합니다.

특급 <>~ 동작
시작 상태가 아니고 시작 상태가 아닌 모든 상태에 종료 상태 작업을 포함합니다.
최종(중간 상태).

그룹 6: 출발 상태 행위

상태에서 동작은 상태가 캐릭터에 전환을 취할 때마다 실행됩니다. 이것
오류 전환 및 자체 전환이 포함됩니다.

특급 >* 동작
시작 상태 작업을 시작 상태에 포함합니다.

특급 <* 동작
시작 상태를 제외한 모든 상태에 시작 상태 작업을 포함합니다.

특급 $* 동작
모든 상태에 from-state 작업을 포함합니다.

특급 %* 동작
from-state 작업을 최종 상태에 포함합니다.

특급 @* 동작
최종 상태가 아닌 모든 상태에 from-state 작업을 포함합니다.

특급 <>* 동작
시작 상태가 아니고 시작 상태가 아닌 모든 상태에 시작 상태 작업을 포함합니다.
최종(중간 상태).

그룹 6: 우선 할당

전환 내에서 이름에 우선 순위가 할당됩니다. 같은 이름의 우선 순위만
상호 작용을 허용합니다. 우선 순위의 첫 번째 형식에서 이름은 기본적으로
기계 정의 우선 순위가 할당됩니다. 전환에는 기본값이 없습니다.
우선 순위.

특급 > INT
시작 상태를 떠나는 모든 전환에서 우선 순위 int를 할당합니다.

특급 @ INT
최종 상태가 되는 모든 전환에 우선 순위 int를 할당합니다.

특급 $ INT
모든 기존 전환에 우선 순위 int를 할당합니다.

특급 % INT
보류 중인 모든 전환에 우선 순위 int를 할당합니다.

두 번째 형태의 우선순위 할당은 프로그래머가 어떤 이름을 지정할 수 있도록 합니다.
우선 순위가 할당되어 상호 작용이 기계 정의 경계를 넘어갈 수 있습니다.

특급 > (이름, 정수)
시작 상태를 떠나는 모든 전환에서 이름에 우선 순위 int를 할당합니다.

특급 @ (이름, 정수)
최종 상태가 되는 모든 전환에서 이름에 우선 순위 int를 할당합니다.

특급 $ (이름, 정수)
모든 기존 전환에서 이름에 우선순위 int를 할당합니다.

특급 % (이름, 정수)
보류 중인 모든 전환에서 이름에 우선 순위 int를 할당합니다.

그룹 7:

특급 * 기계의 클린 스타를 생성합니다. XNUMX개 이상의 반복과 일치합니다.
기계.

특급 **
최장 경기 Kleene Star. 이 버전의 kleene star는 더 높은 우선 순위를 둡니다.
감싸고 다시 시작하는 것보다 기계에 머무르는 것. 이 연산자는
( ( expr ) $0 %1 )*와 동일합니다.

특급 ? 주어진 기계 또는 널 문자열을 받아들이는 기계를 생성합니다. 이 연산자
( expr | '' )와 동일합니다.

특급 + 자신의 kleen 별과 연결된 기계를 생성합니다. 하나 또는
기계의 더 많은 반복. 이 연산자는 ( expr . expr* )과 동일합니다.

특급 {NS}
expr의 n번 반복과 정확히 일치하는 기계를 생성합니다.

특급 {,N}
XNUMX에서 n까지의 expr 반복과 일치하는 기계를 생성합니다.

특급 {N,}
n번 이상의 expr 반복과 일치하는 기계를 생성합니다.

특급 {n,m}
expr의 n에서 m 반복과 일치하는 기계를 생성합니다.

그룹 8:

! 특급 주어진 기계와 일치하지 않는 문자열과 일치하는 기계를 생성합니다. 이것
연산자는 ( *extend - expr )과 동일합니다.

^ 특급 캐릭터 레벨 부정. 단일 문자와 일치하지 않는 단일 문자와 일치합니다.
캐릭터 머신 특급

그룹 9:

( 특급 )
연산자에 우선 순위를 부여합니다.

Values 유효한 IN CODE 블록

fc 현재 캐릭터. *p와 동일합니다.

fpc 현재 문자에 ​​대한 포인터입니다. p와 동일합니다.

frcurs 현재 상태를 나타내는 정수 값입니다.

ftargs 대상 상태를 나타내는 정수 값입니다.

펜트리( )
진입점을 나타내는 정수 값 입니다.

성명서 유효한 IN CODE 블록

붙잡다; 현재 캐릭터 이상으로 진행하지 마십시오. --p;와 동일합니다.

펙젝 ;
현재 문자를 다른 것으로 설정합니다. p = ( )-1;

fgoto ;
에 의해 정의된 시스템으로 이동합니다 .

fgoto * ;
에 의해 주어진 진입점으로 점프 . 표현식은 정수로 평가되어야 합니다.
상태를 나타내는 값.

에프넥스트 ;
다음 상태를 에 의해 정의된 진입점으로 설정합니다 . fnext 문
지정된 상태로 즉시 점프하지 않습니다. 다음에 오는 모든 작업 코드
문이 실행됩니다.

에프넥스트 * ;
다음 상태를 다음과 같은 진입점으로 설정합니다. . 표현은 반드시
상태를 나타내는 정수 값으로 평가합니다.

fcall ;
에 의해 정의된 머신을 호출합니다 . 다음 프렛은 목표 지점으로 점프합니다.
작업이 호출되는 전환입니다.

fcall * ;
에 의해 주어진 진입점을 호출 . 다음 프렛은 목표 지점으로 점프합니다.
작업이 호출되는 전환입니다.

프렛; 마지막 fcall이 만들어진 전환의 대상 상태로 돌아갑니다.

프브레이크;
현재 상태를 저장하고 즉시 기계에서 빠져나옵니다.

CREDITS

Ragel은 Adrian Thurston이 작성했습니다.[이메일 보호]>. 오브젝티브-C 출력
Erich Ocean이 제공했습니다. Alan West가 제공한 D 출력. Ruby 출력 기여
빅토르 위고 보르자. C 샤프 코드 생성은 Daniel Tang이 제공했습니다. 에 대한 공헌
Colin Fleming의 Java 코드 생성. Justine Tunney가 기여한 Go 코드 생성.

onworks.net 서비스를 사용하여 온라인에서 라겔 사용