ragel - Dalam talian di Awan

JADUAL:

NAMA

ragel - menyusun bahasa biasa ke dalam mesin keadaan boleh laku

SINOPSIS

ragel [pilihan] fail

DESCRIPTION

Ragel menyusun mesin keadaan terhingga boleh laku daripada bahasa biasa. Ragel boleh
jana C, C++, Objektif-C, D, Go atau kod Java. Mesin negeri Ragel bukan sahaja boleh
mengenali jujukan bait seperti yang dilakukan oleh mesin ekspresi biasa, tetapi juga boleh melaksanakan kod di
mata sewenang-wenangnya dalam pengiktirafan bahasa biasa. Kod pengguna dibenamkan menggunakan
pengendali sebaris yang tidak mengganggu sintaks bahasa biasa.

Bahasa teras terdiri daripada operator ungkapan biasa standard, seperti kesatuan,
penggabungan dan bintang kleene, disertai oleh pengendali pembenaman tindakan. Ragel juga
menyediakan pengendali yang membenarkan anda mengawal sebarang bukan determinisme yang anda cipta, bina
pengimbas menggunakan paradigma padanan terpanjang, dan membina mesin keadaan menggunakan carta negeri
model. Ia juga mungkin untuk mempengaruhi pelaksanaan mesin keadaan dari dalam
tindakan tertanam dengan melompat atau memanggil ke bahagian lain mesin dan memproses semula
input.

Ragel menyediakan antara muka yang sangat fleksibel kepada bahasa hos yang cuba diletakkan
sekatan minimum tentang cara kod yang dihasilkan digunakan dan disepadukan ke dalam
permohonan. Kod yang dihasilkan tidak mempunyai kebergantungan.

PILIHAN

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

-v Cetak maklumat versi dan keluar.

-o fail
Tulis output ke fail. Jika -o tidak diberikan, nama fail lalai dipilih oleh
menggantikan sambungan fail fail input. Untuk fail sumber yang berakhir dengan .rh the
akhiran .h digunakan. Untuk semua fail sumber lain akhiran berdasarkan bahasa output
digunakan (.c, .cpp, .m, dsb.). Jika -o tidak diberikan untuk output Graphviz yang dijana
fail dot ditulis kepada output standard.

-s Cetak beberapa statistik tentang ralat standard.

--error-format=gnu
Cetak mesej ralat menggunakan format "file:line:column:" (lalai)

--error-format=msvc
Cetak mesej ralat menggunakan format "fail(baris,lajur):"

-d Jangan alih keluar tindakan pendua daripada senarai tindakan.

-I dir
Tambahkan dir pada senarai direktori untuk mencari fail yang disertakan dan diimport

-n Jangan lakukan pengecilan keadaan.

-m Lakukan pengecilan sekali, pada penghujung kompilasi mesin keadaan.

-l Kurangkan selepas hampir setiap operasi. Senarai operasi yang serupa seperti kesatuan adalah
diminimumkan sekali pada akhirnya. Ini ialah pilihan pengecilan lalai.

-e Kurangkan selepas setiap operasi.

-x Susun mesin keadaan dan keluarkan perwakilan XML bagi data hos dan
mesin.

-V Hasilkan fail titik untuk Graphviz.

-p Paparkan aksara yang boleh dicetak pada label.

-S
Spesifikasi FSM kepada output.

-M
Takrif mesin/instansi kepada output.

-C Bahasa hos ialah C, C++, Obj-C atau Obj-C++. Ini ialah bahasa hos lalai
pilihan.

-D Bahasa tuan rumah ialah D.

-J Bahasa hos ialah Java.

-Z Bahasa hos ialah Go.

-R Bahasa hos ialah Ruby.

-L Menghalang penulisan arahan #baris.

-T0 (C/D/Java/Ruby/C#/Go) Hasilkan FSM dipacu jadual. Ini ialah gaya kod lalai.
FSM dipacu jadual mewakili mesin keadaan sebagai data statik. Terdapat meja
keadaan, peralihan, indeks dan tindakan. Keadaan semasa disimpan dalam a
pembolehubah. Pelaksanaan ialah gelung yang kelihatan seperti keadaan semasa dan
watak semasa untuk diproses mencari peralihan untuk diambil menggunakan carian binari,
melaksanakan sebarang tindakan dan bergerak ke keadaan sasaran. Secara umum, jadual didorong
FSM menghasilkan binari yang lebih kecil dan memerlukan penyusunan bahasa hos yang lebih murah
tetapi menghasilkan kod berjalan yang lebih perlahan. FSM dipacu meja sesuai untuk mana-mana FSM.

-T1 (C/D/Ruby/C#/Go) Hasilkan FSM dipacu jadual yang lebih pantas dengan mengembangkan senarai tindakan dalam
tindakan melaksanakan kod.

-F0 (C/D/Ruby/C#/Go) Hasilkan FSM dipacu meja rata. Peralihan diwakili sebagai
tatasusunan yang diindeks oleh aksara abjad semasa. Ini menghapuskan keperluan untuk a
carian binari untuk mencari peralihan dan menghasilkan kod yang lebih pantas, walau bagaimanapun ia hanya
sesuai untuk abjad kecil.

-F1 (C/D/Ruby/C#/Go) Hasilkan FSM dipacu jadual rata yang lebih pantas dengan mengembangkan senarai tindakan
dalam tindakan melaksanakan kod.

-G0 (C/D/C#/Go) Hasilkan FSM yang dipacu goto. FSM yang dipandu goto mewakili negeri
mesin sebagai satu siri pernyataan goto. Semasa dalam mesin, keadaan semasa adalah
disimpan oleh penunjuk arahan pemproses. Perlaksanaan adalah fungsi rata
di mana kawalan dihantar dari negeri ke negeri menggunakan gotos. Secara umum, goto FSM
menghasilkan kod yang lebih pantas tetapi menghasilkan binari yang lebih besar dan hos yang lebih mahal
penyusunan bahasa.

-G1 (C/D/C#/Go) Hasilkan FSM yang didorong goto yang lebih pantas dengan mengembangkan senarai tindakan dalam
tindakan melaksanakan kod.

-G2 (C/D/Go) Hasilkan FSM yang didorong goto yang sangat pantas dengan membenamkan senarai tindakan dalam
kod kawalan mesin negeri.

-P (C/D) Pemisahan N-Way FSM yang dipacu goto sangat pantas.

RAGEL INPUT

NOTA: Ini adalah penerangan ringkas tentang input Ragel. Ragel diterangkan dengan lebih terperinci
dalam panduan pengguna yang tersedia dari halaman utama (lihat di bawah).

Ragel biasanya menghantar fail input terus ke output. Apabila ia melihat FSM
spesifikasi yang mengandungi instantiasi mesin yang dihentikan untuk menjana mesin keadaan.
Jika terdapat kenyataan tulis (seperti "tulis exec") maka ragel mengeluarkan kenyataan yang sepadan
kod. Terdapat sebarang bilangan spesifikasi FSM dalam fail input. FSM berbilang talian
spesifikasi bermula dengan '%%{' dan berakhir dengan '}%%'. Satu baris spesifikasi FSM
bermula dengan %% dan berakhir pada baris baharu pertama.

FSM Pernyataan

mesin Nama:
Tetapkan nama mesin. Jika diberi, ia mestilah pernyataan pertama.

Abjad Jenis:
Tetapkan jenis data abjad.

GetKey:
Tentukan cara untuk mendapatkan semula aksara abjad daripada jenis elemen.

Termasuk:
Sertakan mesin dengan nama yang sama seperti semasa atau nama yang berbeza dalam sama ada
fail semasa atau beberapa fail lain.

Tindakan Definisi:
Tentukan tindakan yang boleh digunakan oleh FSM.

Fsm Definisi, Instantiation and Paling lama Sepadan dengan Instasiasi:
Digunakan untuk membina FSM. Penerangan sintaks dalam beberapa bahagian seterusnya.

Akses:
Tentukan cara untuk mengakses pembolehubah mesin keadaan berterusan.

Tulis: Tulis beberapa komponen mesin.

Pembolehubah:
Gantikan nama pembolehubah lalai (p, pe, cs, act, dll).

ASAS MESIN

Mesin asas ialah operan asas bagi ungkapan bahasa biasa.

'hello'
Concat literal. Menghasilkan gabungan aksara dalam rentetan. Menyokong
urutan melarikan diri dengan '\'. Hasilnya akan mempunyai keadaan mula dan peralihan kepada
keadaan baharu untuk setiap aksara dalam rentetan. Keadaan terakhir dalam urutan akan
dibuat muktamad. Untuk menjadikan rentetan tidak peka huruf besar-besaran, tambahkan 'i' pada rentetan, sebagai
dalam 'cmd'i.

"hello"
Sama dengan versi petikan tunggal.

[hello]
Atau literal. Menghasilkan gabungan watak. Menyokong julat aksara dengan '-',
menafikan rasa kesatuan dengan awalan '^' dan escape urutan dengan '\'.
Hasilnya akan mempunyai dua keadaan dengan peralihan antara mereka untuk setiap watak
atau julat.

NOTA: '', "", dan [] menghasilkan FSM nol. Mesin null mempunyai satu keadaan yang kedua-duanya adalah permulaan
keadaan dan keadaan akhir dan sepadan dengan rentetan panjang sifar. Mesin null boleh dibuat
dengan mesin binaan null.

integer
Membuat mesin dua keadaan dengan satu peralihan pada nombor integer yang diberikan.

heks Membuat mesin dua keadaan dengan satu peralihan pada nombor heksidesimal yang diberikan.

/simple_regex/
Ungkapan biasa yang mudah. Menyokong tatatanda '.', '*' dan '[]', aksara
julat dengan '-', menafikan pengertian ungkapan ATAU dengan dan awalan '^' dan
urutan melarikan diri dengan '\'. Juga menyokong satu bendera mengekori: i. Gunakannya untuk menghasilkan a
ungkapan biasa tidak sensitif huruf besar-besaran, seperti dalam /GET/i.

katil .. katil
Menentukan julat. Sempadan atas dan bawah yang dibenarkan ialah huruf concat bagi
panjang satu dan mesin nombor. Contohnya, 0x10..0x20, 0..63 dan 'a'..'z' ialah
julat yang sah.

nama_pembolehubah
Merujuk definisi mesin yang diberikan kepada nama pembolehubah yang diberikan.

mesin_bina
Terdapat beberapa mesin terbina yang tersedia. Mereka semua adalah dua mesin negeri untuk
tujuan memadankan kelas watak biasa. Mereka ialah:

mana-mana Mana-mana aksara dalam abjad.

ASCII Aksara Ascii 0..127.

melanjutkan Ascii memanjangkan aksara. Ini ialah julat -128..127 untuk abjad yang ditandatangani
dan julat 0..255 untuk abjad tidak bertanda.

alfa Aksara abjad /[A-Za-z]/.

digit Digit /[0-9]/.

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

yang lebih rendah Aksara huruf kecil /[az]/.

atas Aksara huruf besar /[AZ]/.

xdigit Digit perenambelasan /[0-9A-Fa-f]/.

cntrl Kawalan aksara 0..31.

graf Aksara grafik /[!-~]/.

cetak Aksara boleh cetak /[ -~]/.

titik Tanda baca. Aksara grafik yang bukan alfa-numerik
/[!-/:-@\[-`{-~]/.

ruang Ruang putih /[\t\v\f\n\r ]/.

sifar Rentetan panjang sifar. Bersamaan dengan '', "" dan [].

kosong Set kosong. Tidak sepadan.

CEPAT PENGENDALI RUJUKAN

Operator dikumpulkan mengikut keutamaan, kumpulan 1 paling rendah dan kumpulan 6 paling tinggi.

KUMPULAN 1:

expr , expr
Gabungkan mesin bersama-sama tanpa melukis sebarang peralihan, menyediakan keadaan mula atau
mana-mana negeri akhir. Keadaan mula mesti dinyatakan secara eksplisit dengan label "mula".
Keadaan akhir boleh ditentukan dengan peralihan epsilon kepada secara tersirat
mencipta keadaan "akhir".

KUMPULAN 2:

expr | expr
Menghasilkan mesin yang sepadan dengan mana-mana rentetan dalam mesin satu atau mesin dua.

expr & expr
Menghasilkan mesin yang sepadan dengan mana-mana rentetan yang ada dalam kedua-dua mesin satu dan mesin
dua.

expr - expr
Menghasilkan mesin yang sepadan dengan mana-mana rentetan yang ada dalam mesin satu tetapi tidak dalam
mesin dua.

expr -- expr
Tolak Kuat. Memadankan mana-mana rentetan dalam mesin yang tidak mempunyai sebarang rentetan
dalam mesin dua sebagai subrentetan.

KUMPULAN 3:

expr . expr
Menghasilkan mesin yang sepadan dengan semua rentetan dalam mesin satu diikuti oleh semua
rentetan dalam mesin dua.

expr :> expr
Penggabungan Entry-Guarded: menamatkan mesin satu apabila masuk ke mesin dua.

expr :>> expr
Penggabungan Dilindungi Penamat: menamatkan mesin satu apabila mesin dua selesai.

expr <: expr
Gabungan Berkawal Kiri: memberikan keutamaan yang lebih tinggi kepada mesin satu.

NOTA: Penggabungan ialah pengendali lalai. Dua mesin bersebelahan dengan no
operator di antara mereka menghasilkan operasi penggabungan.

KUMPULAN 4:

label: expr
Melampirkan label pada ungkapan. Label boleh digunakan oleh peralihan epsilon dan
fgoto dan pernyataan fcall dalam tindakan. Juga ambil perhatian bahawa rujukan mesin
definisi menyebabkan penciptaan tersirat label dengan nama yang sama.

KUMPULAN 5:

expr -> label
Melukis peralihan epsilon kepada keadaan yang ditakrifkan oleh label. Label mestilah nama dalam
skop semasa. Peralihan Epsilon diselesaikan apabila pengendali koma
dinilai dan pada akar pokok ekspresi mesin
tugasan/instantiasi.

KUMPULAN 6: Tindakan

Tindakan mungkin nama yang dipratentukan dengan pernyataan tindakan atau boleh ditentukan secara langsung
dengan '{' dan '}' dalam ungkapan.

expr > tindakan
Benamkan tindakan ke dalam memulakan peralihan.

expr @ tindakan
Benamkan tindakan ke dalam peralihan yang menuju ke keadaan akhir.

expr $ tindakan
Benamkan tindakan ke dalam semua peralihan. Tidak termasuk peralihan yang belum selesai.

expr % tindakan
Benamkan tindakan ke dalam peralihan yang belum selesai daripada keadaan akhir.

KUMPULAN 6: EOF Tindakan

Apabila rutin penamat mesin dipanggil tindakan EOF keadaan semasa dilaksanakan.

expr >/ tindakan
Benamkan tindakan EOF ke dalam keadaan mula.

expr </ tindakan
Benamkan tindakan EOF ke dalam semua keadaan kecuali keadaan mula.

expr $/ tindakan
Benamkan tindakan EOF ke semua negeri.

expr %/ tindakan
Benamkan tindakan EOF ke dalam keadaan akhir.

expr @/ tindakan
Benamkan tindakan EOF ke dalam semua negeri yang tidak muktamad.

expr <>/ tindakan
Benamkan tindakan EOF ke dalam semua negeri yang bukan keadaan mula dan yang bukan
akhir (negeri tengah).

KUMPULAN 6: Global ralat Tindakan

Tindakan ralat global disimpan dalam keadaan sehingga mesin keadaan akhir telah sepenuhnya
dibina. Mereka kemudiannya dipindahkan ke peralihan ralat, memberikan kesan a
tindakan lalai.

expr >! tindakan
Benamkan tindakan ralat global ke dalam keadaan mula.

expr <! tindakan
Benamkan tindakan ralat global ke dalam semua keadaan kecuali keadaan mula.

expr $! tindakan
Benamkan tindakan ralat global ke semua negeri.

expr %! tindakan
Benamkan tindakan ralat global ke dalam keadaan akhir.

expr @! tindakan
Benamkan tindakan ralat global ke semua negeri yang tidak muktamad.

expr <>! tindakan
Benamkan tindakan ralat global ke dalam semua keadaan yang bukan keadaan mula dan sekarang
bukan muktamad (negeri tengah).

KUMPULAN 6: Tempatan ralat Tindakan

Tindakan ralat setempat disimpan dalam keadaan sehingga mesin yang dinamakan dibina sepenuhnya.
Mereka kemudiannya dipindahkan ke peralihan ralat, memberikan kesan tindakan lalai untuk
satu bahagian daripada jumlah mesin. Ambil perhatian bahawa nama itu mungkin ditinggalkan, dalam hal ini
tindakan akan dipindahkan kepada tindakan ralat semasa pembinaan mesin semasa.

expr >^ tindakan
Benamkan tindakan ralat setempat ke dalam keadaan mula.

expr <^ tindakan
Benamkan tindakan ralat setempat ke dalam semua keadaan kecuali keadaan mula.

expr $^ tindakan
Benamkan tindakan ralat setempat ke dalam semua negeri.

expr %^ tindakan
Benamkan tindakan ralat setempat ke dalam keadaan akhir.

expr @^ tindakan
Benamkan tindakan ralat setempat ke dalam semua negeri yang tidak muktamad.

expr <>^ tindakan
Benamkan tindakan ralat setempat ke dalam semua keadaan yang bukan keadaan mula dan sekarang
bukan muktamad (negeri tengah).

KUMPULAN 6: Ke-Negeri Tindakan

Untuk menyatakan tindakan disimpan dalam keadaan dan dilaksanakan pada bila-bila masa mesin bergerak ke a
negeri. Ini termasuk peralihan biasa, dan pemindahan kawalan seperti fgoto. Catatan
yang menetapkan keadaan semasa dari luar mesin (contohnya semasa
permulaan) tidak dikira sebagai peralihan kepada keadaan.

expr >~ tindakan
Benamkan tindakan tindakan untuk menyatakan ke dalam keadaan mula.

expr <~ tindakan
Benamkan tindakan kepada keadaan ke dalam semua negeri kecuali keadaan mula.

expr $~ tindakan
Benamkan tindakan ke negeri ke semua negeri.

expr %~ tindakan
Benamkan tindakan ke negeri ke dalam keadaan akhir.

expr @~ tindakan
Benamkan tindakan ke negeri ke dalam semua negeri yang tidak muktamad.

expr <>~ tindakan
Benamkan tindakan kepada keadaan ke dalam semua negeri yang bukan keadaan mula dan bukan
akhir (negeri tengah).

KUMPULAN 6: Dari Negeri Tindakan

Tindakan daripada keadaan dilaksanakan apabila keadaan mengambil peralihan pada watak. ini
termasuk peralihan ralat dan peralihan kepada diri sendiri.

expr >* tindakan
Benamkan tindakan dari negeri ke dalam keadaan mula.

expr <* tindakan
Benamkan tindakan dari negeri ke dalam setiap negeri kecuali keadaan mula.

expr $* tindakan
Benamkan tindakan dari negeri ke semua negeri.

expr %* tindakan
Benamkan tindakan dari negeri ke dalam keadaan akhir.

expr @* tindakan
Benamkan tindakan dari negeri ke dalam semua negeri yang tidak muktamad.

expr <>* tindakan
Benamkan tindakan dari negeri ke dalam semua negeri yang bukan keadaan mula dan bukan
akhir (negeri tengah).

KUMPULAN 6: Keutamaan Tugasan

Keutamaan diberikan kepada nama dalam peralihan. Hanya keutamaan pada nama yang sama
dibenarkan berinteraksi. Dalam bentuk keutamaan pertama, nama lalai kepada nama
definisi mesin keutamaan diberikan. Peralihan tidak mempunyai lalai
keutamaan.

expr > int
Tetapkan int keutamaan dalam semua peralihan meninggalkan keadaan mula.

expr @ int
Tetapkan int keutamaan dalam semua peralihan yang masuk ke keadaan akhir.

expr $ int
Berikan int keutamaan dalam semua peralihan sedia ada.

expr % int
Tetapkan int keutamaan dalam semua peralihan keluar yang belum selesai.

Bentuk kedua penugasan keutamaan membenarkan pengaturcara untuk menentukan nama yang
keutamaan diberikan, membenarkan interaksi merentasi sempadan definisi mesin.

expr > (nama, int)
Tetapkan int keutamaan untuk menamakan dalam semua peralihan yang meninggalkan keadaan mula.

expr @ (nama, int)
Tetapkan int keutamaan untuk menamakan dalam semua peralihan yang masuk ke keadaan akhir.

expr $ (nama, int)
Berikan int keutamaan untuk menamakan dalam semua peralihan sedia ada.

expr % (nama, int)
Berikan int keutamaan untuk menamakan dalam semua peralihan keluar yang belum selesai.

KUMPULAN 7:

expr * Menghasilkan bintang kleene sebuah mesin. Padanan sifar atau lebih ulangan
mesin.

expr **
Bintang Kleene Perlawanan Paling Lama. Versi kleene star ini meletakkan keutamaan yang lebih tinggi
tinggal di dalam mesin lebih membungkus dan memulakan semula. Operator ini adalah
bersamaan dengan ( ( expr ) $0 %1 )*.

expr ? Menghasilkan mesin yang menerima mesin yang diberikan atau rentetan null. pengendali ini
adalah bersamaan dengan ( expr | '' ).

expr + Menghasilkan mesin yang digabungkan dengan bintang kleen itu sendiri. Padan dengan satu atau
lebih banyak ulangan mesin. Operator ini bersamaan dengan ( expr . expr* ).

expr {n}
Menghasilkan mesin yang sepadan dengan tepat n ulangan expr.

expr {,n}
Menghasilkan mesin yang sepadan dengan mana-mana dari sifar hingga n ulangan expr.

expr {n,}
Menghasilkan mesin yang sepadan dengan n atau lebih pengulangan expr.

expr {n,m}
Menghasilkan mesin yang memadankan n kepada m ulangan expr.

KUMPULAN 8:

! expr Menghasilkan mesin yang sepadan dengan mana-mana rentetan yang tidak sepadan dengan mesin yang diberikan. ini
operator adalah bersamaan dengan ( *extend - expr ).

^ expr Negasi Tahap Perwatakan. Memadankan mana-mana watak tunggal yang tidak dipadankan oleh tunggal
mesin watak expr.

KUMPULAN 9:

( expr )
Memaksakan keutamaan kepada pengendali.

NILAI-NILAI TERSEDIA IN KOD BLOKKS

fc Watak semasa. Bersamaan dengan *hlm.

fpc Penunjuk kepada watak semasa. Bersamaan dengan p.

fcurs Nilai integer yang mewakili keadaan semasa.

ftargs Nilai integer yang mewakili keadaan sasaran.

pagar( )
Nilai integer yang mewakili titik masuk .

Pernyataan TERSEDIA IN KOD BLOKKS

fhold; Jangan mendahului watak semasa. Bersamaan dengan --p;.

fexec ;
Menetapkan watak semasa kepada sesuatu yang lain. Bersamaan dengan p = ( )-1;

fgoto ;
Lompat ke mesin yang ditakrifkan oleh .

fgoto * ;
Lompat ke titik masuk yang diberikan oleh . Ungkapan mesti menilai kepada integer
nilai yang mewakili sesebuah negeri.

seterusnya ;
Tetapkan keadaan seterusnya menjadi titik masuk yang ditakrifkan oleh . Kenyataan seterusnya
tidak segera melompat ke keadaan yang ditentukan. Sebarang kod tindakan yang mengikuti
kenyataan dilaksanakan.

seterusnya * ;
Tetapkan keadaan seterusnya menjadi titik masuk yang diberikan oleh . Ungkapan mesti
nilaikan kepada nilai integer yang mewakili keadaan.

fcall ;
Panggil mesin yang ditakrifkan oleh . Fret seterusnya akan melompat ke sasaran
peralihan di mana tindakan itu digunakan.

fcall * ;
Panggil titik masuk yang diberikan oleh . Fret seterusnya akan melompat ke sasaran
peralihan di mana tindakan itu digunakan.

resah; Kembali ke keadaan sasaran peralihan yang mana fcall terakhir dibuat.

fbreak;
Simpan keadaan semasa dan segera keluar dari mesin.

KREDIT

Ragel ditulis oleh Adrian Thurston[e-mel dilindungi]>. Output Objektif-C
disumbangkan oleh Erich Ocean. D keluaran disumbangkan oleh Alan West. Keluaran ruby ​​disumbangkan oleh
Victor Hugo Borja. C Penjanaan kod tajam disumbangkan oleh Daniel Tang. Sumbangan kepada
Penjanaan kod Java oleh Colin Fleming. Penjanaan kod Go disumbangkan oleh Justine Tunney.

Gunakan ragel dalam talian menggunakan perkhidmatan onworks.net