ragel - Online di Awan

PROGRAM:

NAMA

ragel - kompilasi bahasa reguler ke mesin negara yang dapat dieksekusi

RINGKASAN

mengamuk [Pilihan] fillet

DESKRIPSI

Ragel mengkompilasi finite state machine yang dapat dieksekusi dari bahasa reguler. Ragel bisa
menghasilkan kode C, C++, Objective-C, D, Go, atau Java. Mesin negara Ragel tidak hanya bisa
mengenali urutan byte seperti yang dilakukan mesin ekspresi reguler, tetapi juga dapat mengeksekusi kode di
poin sewenang-wenang dalam pengakuan bahasa biasa. Kode pengguna disematkan menggunakan
operator inline yang tidak mengganggu sintaks bahasa biasa.

Bahasa inti terdiri dari operator ekspresi reguler standar, seperti union,
concatenation dan kleene star, disertai dengan operator tindakan embedding. Ragel juga
menyediakan operator yang memungkinkan Anda mengontrol non-determinisme apa pun yang Anda buat, bangun
pemindai menggunakan paradigma kecocokan terpanjang, dan membangun mesin status menggunakan bagan status
model. Dimungkinkan juga untuk memengaruhi eksekusi mesin status dari dalam dan
tindakan tertanam dengan melompat atau memanggil ke bagian lain dari mesin dan memproses ulang
memasukkan.

Ragel menyediakan antarmuka yang sangat fleksibel ke bahasa host yang mencoba untuk menempatkan
batasan minimal tentang bagaimana kode yang dihasilkan digunakan dan diintegrasikan ke dalam
aplikasi. Kode yang dihasilkan tidak memiliki ketergantungan.

PILIHAN

-h, -H, -?, --membantu
Tampilkan bantuan dan keluar.

-v Cetak informasi versi dan keluar.

-o fillet
Tulis output ke file. Jika -o tidak diberikan, nama file default dipilih oleh
mengganti ekstensi file dari file input. Untuk file sumber yang diakhiri dengan .rh the
akhiran .h digunakan. Untuk semua file sumber lainnya, sufiks berdasarkan bahasa keluaran
digunakan (.c, .cpp, .m, dll.). Jika -o tidak diberikan untuk Graphviz, output yang dihasilkan
file dot ditulis ke output standar.

-s Cetak beberapa statistik pada kesalahan standar.

--format-kesalahan=gnu
Cetak pesan kesalahan menggunakan format "file:line:column:" (default)

--format-kesalahan=msvc
Cetak pesan kesalahan menggunakan format "file(baris,kolom):"

-d Jangan hapus tindakan duplikat dari daftar tindakan.

-I dir
Tambahkan dir ke daftar direktori untuk mencari file yang disertakan dan diimpor

-n Jangan lakukan minimisasi status.

-m Lakukan minimalisasi sekali, di akhir kompilasi state machine.

-l Minimalkan setelah hampir setiap operasi. Daftar operasi serupa seperti serikat pekerja adalah
diminimalkan sekali di akhir. Ini adalah opsi minimalisasi default.

-e Minimalkan setelah setiap operasi.

-x Kompilasi mesin negara dan pancarkan representasi XML dari data host dan
mesin.

-V Hasilkan file titik untuk Graphviz.

-p Menampilkan karakter yang dapat dicetak pada label.

-S
spesifikasi FSM untuk output.

-M
Definisi/instansiasi mesin ke output.

-C Bahasa host adalah C, C++, Obj-C atau Obj-C++. Ini adalah bahasa host default
.

-D Bahasa tuan rumah adalah D.

-J Bahasa hostnya adalah Java.

-Z Bahasa hostnya adalah Go.

-R Bahasa hostnya adalah Ruby.

-L Menghambat penulisan arahan #line.

-T0 (C/D/Java/Ruby/C#/Go) Menghasilkan FSM yang digerakkan oleh tabel. Ini adalah gaya kode default.
FSM yang digerakkan oleh tabel mewakili mesin status sebagai data statis. Ada meja
negara, transisi, indeks dan tindakan. Status saat ini disimpan dalam a
variabel. Eksekusi adalah loop yang terlihat bahwa diberikan status saat ini dan
karakter saat ini untuk diproses mencari transisi yang akan diambil menggunakan pencarian biner,
mengeksekusi setiap tindakan dan bergerak ke status target. Secara umum, meja didorong
FSM menghasilkan biner yang lebih kecil dan membutuhkan kompilasi bahasa host yang lebih murah
tetapi menghasilkan kode yang berjalan lebih lambat. FSM yang digerakkan oleh tabel cocok untuk FSM apa pun.

-T1 (C/D/Ruby/C#/Go) Hasilkan FSM berbasis tabel yang lebih cepat dengan memperluas daftar tindakan di
tindakan mengeksekusi kode.

-F0 (C/D/Ruby/C#/Go) Menghasilkan FSM yang digerakkan oleh tabel datar. Transisi direpresentasikan sebagai
array yang diindeks oleh karakter alfabet saat ini. Ini menghilangkan kebutuhan untuk
pencarian biner untuk menemukan transisi dan menghasilkan kode yang lebih cepat, namun hanya
cocok untuk huruf kecil.

-F1 (C/D/Ruby/C#/Go) Hasilkan FSM yang digerakkan oleh tabel datar yang lebih cepat dengan memperluas daftar tindakan
dalam tindakan mengeksekusi kode.

-G0 (C/D/C#/Go) Menghasilkan FSM yang digerakkan oleh goto. FSM yang digerakkan oleh goto mewakili negara
mesin sebagai serangkaian pernyataan goto. Saat berada di mesin, kondisi saat ini adalah
disimpan oleh penunjuk instruksi prosesor. Eksekusi adalah fungsi datar
di mana kontrol dilewatkan dari satu negara ke negara lain menggunakan gotos. Secara umum, goto FSM
menghasilkan kode yang lebih cepat tetapi menghasilkan biner yang lebih besar dan host yang lebih mahal
kompilasi bahasa.

-G1 (C/D/C#/Go) Hasilkan FSM yang digerakkan oleh goto yang lebih cepat dengan memperluas daftar tindakan di
tindakan mengeksekusi kode.

-G2 (C/D/Go) Hasilkan FSM yang digerakkan oleh goto yang sangat cepat dengan menyematkan daftar tindakan di
kode kontrol mesin negara.

-P (C/D) N-Way Split FSM yang digerakkan oleh goto sangat cepat.

RAGEL INPUT

CATATAN: Ini adalah deskripsi yang sangat singkat tentang masukan Ragel. Ragel dijelaskan lebih detail
dalam panduan pengguna yang tersedia dari beranda (lihat di bawah).

Ragel biasanya meneruskan file input langsung ke output. Ketika melihat FSM
spesifikasi yang berisi instansiasi mesin berhenti untuk menghasilkan mesin negara.
Jika ada pernyataan tulis (seperti "tulis exec") maka ragel memancarkan yang sesuai
kode. Mungkin ada sejumlah spesifikasi FSM dalam file input. FSM multi-baris
spesifikasi dimulai dengan '%%{' dan diakhiri dengan '}%%'. Spesifikasi FSM satu baris
dimulai dengan %% dan berakhir pada baris baru pertama.

FSM PERNYATAAN

Mesin Nama:
Tetapkan nama mesin. Jika diberikan, itu harus menjadi pernyataan pertama.

Alfabet Tipe:
Mengatur tipe data alfabet.

DapatkanKunci:
Tentukan cara mengambil karakter alfabet dari tipe elemen.

Termasuk:
Sertakan mesin dengan nama yang sama dengan yang sekarang atau dengan nama yang berbeda baik di
file saat ini atau file lain.

Tindakan Definisi:
Tentukan tindakan yang dapat dipanggil oleh FSM.

Fsm Definisi, Instansiasi dan Paling lama Cocok Instansiasi:
Digunakan untuk membangun FSM. Deskripsi sintaks dalam beberapa bagian berikutnya.

Akses:
Tentukan cara mengakses variabel mesin status persisten.

Menulis: Tuliskan beberapa komponen mesin.

Variabel:
Ganti nama variabel default (p, pe, cs, act, dll).

DASAR MESIN

Mesin dasar adalah operan dasar dari ekspresi bahasa reguler.

'Halo'
Concat harfiah. Menghasilkan rangkaian karakter dalam string. Mendukung
escape sequence dengan '\'. Hasilnya akan memiliki status awal dan transisi ke
keadaan baru untuk setiap karakter dalam string. Keadaan terakhir dalam urutan akan
dijadikan final. Untuk membuat string tidak peka huruf besar/kecil, tambahkan 'i' ke string, sebagai
dalam 'cmd'i.

"Halo"
Identik dengan versi kutipan tunggal.

[Halo]
Atau harfiah. Menghasilkan kesatuan karakter. Mendukung rentang karakter dengan '-',
meniadakan rasa persatuan dengan inisial '^' dan melarikan diri urutan dengan '\'.
Hasilnya akan memiliki dua status dengan transisi di antara keduanya untuk setiap karakter
atau jangkauan.

CATATAN: '', "", dan [] menghasilkan FSM nol. Mesin null memiliki satu status yang keduanya merupakan awal
negara dan negara akhir dan cocok dengan string panjang nol. Mesin null dapat dibuat
dengan mesin bawaan nol.

bilangan bulat
Membuat mesin dua keadaan dengan satu transisi pada bilangan bulat yang diberikan.

hex Membuat mesin dua keadaan dengan satu transisi pada bilangan heksadesimal yang diberikan.

/regex_sederhana/
Ekspresi reguler sederhana. Mendukung notasi '.', '*' dan '[]', karakter
rentang dengan '-', meniadakan arti ekspresi OR dengan dan inisial '^' dan
escape sequence dengan '\'. Juga mendukung satu bendera tambahan: i. Gunakan untuk menghasilkan
ekspresi reguler case-insensitive, seperti pada /GET/i.

bed .. bed
Menentukan rentang. Batas atas dan bawah yang diizinkan adalah literal gabungan dari
panjang satu dan mesin nomor. Misalnya, 0x10..0x20, 0..63, dan 'a'..'z' adalah
rentang yang valid.

variable_name
Referensi definisi mesin yang ditetapkan ke nama variabel yang diberikan.

builtin_mesin
Ada beberapa mesin bawaan yang tersedia. Mereka semua adalah dua mesin negara untuk
tujuan pencocokan kelas umum karakter. Mereka:

Apa pun Setiap karakter dalam alfabet.

ascii Karakter Ascii 0.

memperpanjang Ascii diperpanjang karakter. Ini adalah kisaran -128..127 untuk alfabet bertanda
dan rentang 0..255 untuk abjad yang tidak ditandatangani.

alfa Karakter alfabet /[A-Za-z]/.

angka Digit /[0-9]/.

jumlah Angka alfa /[0-9A-Za-z]/.

menurunkan Karakter huruf kecil /[az]/.

atas Karakter huruf besar /[AZ]/.

angka x Digit heksadesimal /[0-9A-Fa-f]/.

cntrl Karakter kontrol 0.

grafik Karakter grafis /[!-~]/.

mencetak Karakter yang dapat dicetak /[ -~]/.

titik tanda baca. Karakter grafis yang bukan alfanumerik
/[!-/:-@\[-`{-~]/.

ruang Spasi /[\t\v\f\n\r ]/.

nol Tali panjang nol. Setara dengan '', "" dan [].

kosong Set kosong. Tidak ada yang cocok.

SINGKAT OPERATOR REFERENSI

Operator dikelompokkan berdasarkan prioritas, grup 1 menjadi yang terendah dan grup 6 yang tertinggi.

GROUP 1:

cepat , cepat
Gabungkan mesin bersama-sama tanpa menggambar transisi apa pun, menyiapkan status mulai atau
setiap negara bagian akhir. Status awal harus ditentukan secara eksplisit dengan label "mulai".
Status akhir dapat ditentukan dengan transisi epsilon ke implisit
menciptakan status "akhir".

GROUP 2:

cepat | cepat
Menghasilkan mesin yang cocok dengan string apa pun di mesin satu atau mesin dua.

cepat & cepat
Menghasilkan mesin yang cocok dengan string apa pun yang ada di mesin satu dan mesin
dua.

cepat - cepat
Menghasilkan mesin yang cocok dengan string apa pun yang ada di mesin satu tetapi tidak di
mesin dua.

cepat -- cepat
Pengurangan Kuat. Cocok dengan string apa pun di mesin yang tidak memiliki string apa pun
di mesin dua sebagai substring.

GROUP 3:

cepat . cepat
Menghasilkan mesin yang cocok dengan semua string di mesin satu diikuti oleh semua
string di mesin dua.

cepat :> cepat
Entry-Guarded Concatenation: mengakhiri mesin satu saat masuk ke mesin dua.

cepat :>> cepat
Rangkaian Finish-Guarded: mengakhiri mesin satu ketika mesin dua selesai.

cepat <: cepat
Penggabungan Terjaga Kiri: memberikan prioritas lebih tinggi ke mesin satu.

CATATAN: Penggabungan adalah operator default. Dua mesin bersebelahan tanpa
operator di antara mereka menghasilkan operasi penggabungan.

GROUP 4:

label: cepat
Melampirkan label ke ekspresi. Label dapat digunakan oleh transisi epsilon dan
pernyataan fgoto dan fcall dalam tindakan. Perhatikan juga bahwa referensi mesin
definisi menyebabkan penciptaan implisit label dengan nama yang sama.

GROUP 5:

cepat -> label
Menggambar transisi epsilon ke status yang ditentukan oleh label. Label harus berupa nama di
lingkup saat ini. Transisi epsilon diselesaikan ketika operator koma
dievaluasi dan pada akar pohon ekspresi mesin
penugasan/instansi.

GROUP 6: tindakan

Suatu tindakan dapat berupa nama yang telah ditentukan sebelumnya dengan pernyataan tindakan atau dapat ditentukan secara langsung
dengan '{' dan '}' dalam ekspresi.

cepat > tindakan
Menyematkan tindakan ke dalam transisi awal.

cepat @ tindakan
Menyematkan tindakan ke dalam transisi yang masuk ke status akhir.

cepat $ tindakan
Menyematkan tindakan ke dalam semua transisi. Tidak termasuk transisi yang tertunda.

cepat % tindakan
Menyematkan tindakan ke dalam transisi yang tertunda dari status akhir.

GROUP 6: EOF tindakan

Ketika rutinitas akhir mesin disebut, tindakan EOF keadaan saat ini dijalankan.

cepat >/ tindakan
Sematkan tindakan EOF ke status awal.

cepat </ tindakan
Sematkan tindakan EOF ke semua status kecuali status awal.

cepat $/ tindakan
Sematkan tindakan EOF ke semua negara bagian.

cepat %/ tindakan
Sematkan tindakan EOF ke status akhir.

cepat @/ tindakan
Sematkan tindakan EOF ke semua status yang belum final.

cepat <>/ tindakan
Sematkan tindakan EOF ke semua status yang bukan status awal dan bukan status
akhir (negara tengah).

GROUP 6: Aksi error tindakan

Tindakan kesalahan global disimpan dalam status sampai mesin status akhir telah sepenuhnya
dibangun. Mereka kemudian ditransfer ke transisi kesalahan, memberikan efek a
tindakan bawaan.

cepat >! tindakan
Sematkan tindakan kesalahan global ke status awal.

cepat <! tindakan
Sematkan tindakan kesalahan global ke semua status kecuali status awal.

cepat $! tindakan
Sematkan tindakan kesalahan global ke semua negara bagian.

cepat %! tindakan
Sematkan tindakan kesalahan global ke status akhir.

cepat @! tindakan
Sematkan tindakan kesalahan global ke semua status yang belum final.

cepat <>! tindakan
Sematkan tindakan kesalahan global ke semua status yang bukan status awal dan merupakan
tidak final (negara tengah).

GROUP 6: Bahan Makanan Lokal error tindakan

Tindakan kesalahan lokal disimpan dalam status sampai mesin yang diberi nama dibangun sepenuhnya.
Mereka kemudian ditransfer ke transisi kesalahan, memberikan efek tindakan default untuk
bagian dari total mesin. Perhatikan bahwa nama dapat dihilangkan, dalam hal ini:
tindakan akan ditransfer ke tindakan kesalahan pada konstruksi mesin saat ini.

cepat >^ tindakan
Sematkan tindakan kesalahan lokal ke status awal.

cepat <^ tindakan
Sematkan tindakan kesalahan lokal ke semua status kecuali status awal.

cepat $^ tindakan
Sematkan tindakan kesalahan lokal ke semua negara bagian.

cepat %^ tindakan
Sematkan tindakan kesalahan lokal ke status akhir.

cepat @^ tindakan
Sematkan tindakan kesalahan lokal ke semua status yang belum final.

cepat <>^ tindakan
Sematkan tindakan kesalahan lokal ke semua status yang bukan status awal dan
tidak final (negara tengah).

GROUP 6: Untuk menyatakan tindakan

Untuk menyatakan tindakan disimpan dalam keadaan dan dieksekusi setiap saat mesin bergerak ke a
negara. Ini termasuk transisi reguler, dan transfer kontrol seperti fgoto. Catatan
yang mengatur status saat ini dari luar mesin (misalnya selama
inisialisasi) tidak dihitung sebagai transisi ke keadaan.

cepat >~ tindakan
Sematkan tindakan tindakan ke status ke status awal.

cepat <~ tindakan
Sematkan tindakan to-state ke semua state kecuali state awal.

cepat $~ tindakan
Sematkan tindakan to-state ke semua state.

cepat %~ tindakan
Sematkan tindakan to-state ke dalam state akhir.

cepat @~ tindakan
Menyematkan tindakan to-state ke semua state yang belum final.

cepat <>~ tindakan
Sematkan tindakan to-state ke semua state yang bukan state awal dan bukan
akhir (negara tengah).

GROUP 6: Dari-Negara tindakan

Dari keadaan tindakan dieksekusi setiap kali keadaan mengambil transisi pada karakter. Ini
termasuk transisi kesalahan dan transisi ke diri sendiri.

cepat >* tindakan
Sematkan tindakan dari-status ke status awal.

cepat <* tindakan
Sematkan tindakan dari keadaan ke setiap keadaan kecuali keadaan awal.

cepat $* tindakan
Sematkan tindakan dari negara bagian ke semua negara bagian.

cepat %* tindakan
Sematkan tindakan dari keadaan ke keadaan akhir.

cepat @* tindakan
Sematkan tindakan dari-negara ke semua negara bagian yang belum final.

cepat <>* tindakan
Sematkan tindakan dari keadaan ke semua keadaan yang bukan keadaan awal dan bukan
akhir (negara tengah).

GROUP 6: Prioritas Penugasan

Prioritas ditetapkan ke nama dalam transisi. Hanya prioritas dengan nama yang sama adalah
diperbolehkan untuk berinteraksi. Dalam bentuk prioritas pertama, nama default ke nama
definisi mesin prioritas ditetapkan. Transisi tidak memiliki default
prioritas.

cepat > int
Menetapkan prioritas int di semua transisi yang meninggalkan status awal.

cepat @ int
Menetapkan prioritas int di semua transisi yang masuk ke status akhir.

cepat $ int
Menetapkan prioritas int di semua transisi yang ada.

cepat % int
Menetapkan prioritas int di semua transisi yang tertunda.

Bentuk penetapan prioritas kedua memungkinkan pemrogram untuk menentukan nama yang
prioritas ditetapkan, memungkinkan interaksi melintasi batas definisi mesin.

cepat > (nama, int)
Menetapkan prioritas int ke nama di semua transisi yang meninggalkan status awal.

cepat @ (nama, ke dalam)
Menetapkan prioritas int ke nama di semua transisi yang masuk ke status akhir.

cepat $ (nama, ke dalam)
Menetapkan prioritas int ke nama di semua transisi yang ada.

cepat % (nama, ke dalam)
Menetapkan prioritas int ke nama di semua transisi yang tertunda.

GROUP 7:

cepat * Menghasilkan bintang kleene dari sebuah mesin. Cocok dengan nol atau lebih pengulangan dari
mesin.

cepat **
Kleene Star dengan Pertandingan Terpanjang. Versi bintang kleene ini menempatkan prioritas yang lebih tinggi
tinggal di mesin selama membungkus dan memulai dari awal. Operator ini adalah
setara dengan ( ( expr ) $0 %1 )*.

cepat ? Menghasilkan mesin yang menerima mesin yang diberikan atau string nol. Operator ini
setara dengan ( expr | '' ).

cepat + Menghasilkan mesin yang digabungkan dengan bintang kleen itu sendiri. Cocok dengan satu atau
lebih banyak pengulangan mesin. Operator ini setara dengan ( expr . expr* ).

cepat {bukan}
Menghasilkan mesin yang cocok dengan tepat n pengulangan expr.

cepat {,N}
Menghasilkan mesin yang cocok di mana saja dari nol hingga n pengulangan expr.

cepat {N,}
Menghasilkan mesin yang cocok dengan n atau lebih pengulangan expr.

cepat {n,m}
Menghasilkan mesin yang cocok dengan n hingga m pengulangan expr.

GROUP 8:

! cepat Menghasilkan mesin yang cocok dengan string apa pun yang tidak cocok dengan mesin yang diberikan. Ini
operator setara dengan ( *extend - expr ).

^ cepat Negasi Level Karakter. Cocok dengan karakter tunggal yang tidak cocok dengan single
mesin karakter expr.

GROUP 9:

( cepat )
Memaksakan prioritas pada operator.

NILAI TERSEDIA IN KODE BLOK

fc Karakter saat ini. Setara dengan * hal.

fpc Sebuah pointer ke karakter saat ini. Setara dengan hal.

terjadi Nilai integer yang mewakili status saat ini.

ftarg Nilai integer yang mewakili status target.

fentri ( )
Nilai integer yang mewakili titik masuk .

PERNYATAAN TERSEDIA IN KODE BLOK

memegang; Jangan maju melebihi karakter saat ini. Setara dengan --p;.

fexec ;
Mengatur karakter saat ini ke sesuatu yang lain. Setara dengan p = ( )-1;

fgoto ;
Lompat ke mesin yang ditentukan oleh .

fgoto * ;
Lompat ke titik masuk yang diberikan oleh . Ekspresi harus mengevaluasi ke bilangan bulat
nilai yang mewakili suatu keadaan.

selanjutnya ;
Tetapkan status berikutnya menjadi titik masuk yang ditentukan oleh . Pernyataan selanjutnya
tidak langsung melompat ke keadaan yang ditentukan. Kode tindakan apa pun yang mengikuti
pernyataan dijalankan.

selanjutnya * ;
Atur status berikutnya menjadi titik masuk yang diberikan oleh . Ekspresi harus
mengevaluasi ke nilai integer yang mewakili keadaan.

panggilan ;
Panggil mesin yang ditentukan oleh . Fret berikutnya akan melompat ke target
transisi di mana tindakan dipanggil.

panggilan * ;
Hubungi titik masuk yang diberikan oleh . Fret berikutnya akan melompat ke target
transisi di mana tindakan dipanggil.

resah; Kembali ke status target transisi di mana fcall terakhir dibuat.

istirahat;
Simpan status saat ini dan segera keluar dari mesin.

KREDIT

Ragel ditulis oleh Adrian Thurston[email dilindungi]>. Keluaran Objective-C
disumbangkan oleh Erich Ocean. D output disumbangkan oleh Alan West. Output Ruby disumbangkan oleh
Victor Hugo Borja. C Pembuatan kode Sharp disumbangkan oleh Daniel Tang. Kontribusi untuk
Pembuatan kode Java oleh Colin Fleming. Pembuatan kode Go disumbangkan oleh Justine Tunney.

Gunakan ragel online menggunakan layanan onworks.net