⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.133
Server IP:
185.119.109.197
Server:
Linux managedhosting.chostar.me 5.15.0-160-generic #170-Ubuntu SMP Wed Oct 1 10:06:56 UTC 2025 x86_64
Server Software:
Apache
PHP Version:
8.1.33
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
re2c
/
examples
/
rust
/
submatch
/
View File Name :
01_stags_fill.re
// re2rust $INPUT -o $OUTPUT use std::fs::File; use std::io::{Read, Write}; const BUFSIZE: usize = 4096; const NONE: usize = std::usize::MAX; struct State { file: File, buf: [u8; BUFSIZE], lim: usize, cur: usize, mar: usize, tok: usize, // Tag variables must be part of the lexer state passed to YYFILL. // They don't correspond to tags and should be autogenerated by re2c. /*!stags:re2c format = "@@: usize,\n"; */ eof: bool, } #[derive(PartialEq)] enum Fill { Ok, Eof, LongLexeme } #[derive(Debug, PartialEq)] struct SemVer(u32, u32, u32); // version: (major, minor, patch) fn s2n(str: &[u8]) -> u32 { // convert a pre-parsed string to a number let mut n = 0; for i in str { n = n * 10 + *i as u32 - 48; } return n; } macro_rules! shift { // ignore overflow, marker and tags may not be set yet ($x:expr, $y:expr) => { $x = $x.overflowing_sub($y).0 } } fn fill(st: &mut State) -> Fill { if st.eof { return Fill::Eof; } // Error: lexeme too long. In real life could reallocate a larger buffer. if st.tok < 1 { return Fill::LongLexeme; } // Shift buffer contents (discard everything up to the current token). st.buf.copy_within(st.tok..st.lim, 0); st.lim -= st.tok; st.cur -= st.tok; shift!(st.mar, st.tok); // Tag variables need to be shifted like other input positions. The check // for NONE is only needed if some tags are nested inside of alternative or // repetition, so that they can have NONE value. /*!stags:re2c format = "if st.@@ != NONE { shift!(st.@@, st.tok); }\n"; */ st.tok = 0; // Fill free space at the end of buffer with new data from file. match st.file.read(&mut st.buf[st.lim..BUFSIZE - 1]) { Ok(n) => { st.lim += n; st.eof = n == 0; st.buf[st.lim] = 0; } Err(why) => panic!("cannot read from file: {}", why) } return Fill::Ok; } fn parse(st: &mut State) -> Option
> { let mut vers = Vec::new(); // User-defined local variables that store final tag values. // They are different from tag variables autogenerated with `stags:re2c`, // as they are set at the end of match and used only in semantic actions. let (mut t1, mut t2, mut t3, mut t4); 'parse: loop { st.tok = st.cur; /*!re2c re2c:eof = 0; re2c:define:YYCTYPE = u8; re2c:define:YYPEEK = "*st.buf.get_unchecked(st.cur)"; re2c:define:YYSKIP = "st.cur += 1;"; re2c:define:YYBACKUP = "st.mar = st.cur;"; re2c:define:YYRESTORE = "st.cur = st.mar;"; re2c:define:YYSTAGP = "@@{tag} = st.cur;"; re2c:define:YYSTAGN = "@@{tag} = NONE;"; re2c:define:YYSHIFTSTAG = "@@{tag} -= -@@{shift}isize as usize;"; re2c:define:YYLESSTHAN = "st.cur >= st.lim"; re2c:define:YYFILL = "fill(st) == Fill::Ok"; re2c:tags = 1; re2c:tags:expression = "st.@@"; num = [0-9]+; num @t1 "." @t2 num @t3 ("." @t4 num)? [\n] { let major = s2n(&st.buf[st.tok..t1]); let minor = s2n(&st.buf[t2..t3]); let patch = if t4 != NONE {s2n(&st.buf[t4..st.cur - 1])} else {0}; vers.push(SemVer(major, minor, patch)); continue 'parse; } $ { return Some(vers); } * { return None; } */ } } fn main() { let fname = "input"; let verstr = b"1.22.333\n"; let expect = (0..BUFSIZE).map(|_| SemVer(1, 22, 333)).collect(); // Prepare input file (make sure it exceeds buffer size). match File::create(fname) { Err(why) => panic!("cannot open {}: {}", fname, why), Ok(mut file) => match file.write_all(&verstr.repeat(BUFSIZE)) { Err(why) => panic!("cannot write to {}: {}", fname, why), Ok(_) => {} } }; // Reopen input file for reading. let file = match File::open(fname) { Err(why) => panic!("cannot read file {}: {}", fname, why), Ok(file) => file, }; // Initialize lexer state. let lim = BUFSIZE - 1; let mut st = State { file: file, buf: [0; BUFSIZE], // sentinel is set to zero, which triggers YYFILL lim: lim, cur: lim, mar: lim, tok: lim, /*!stags:re2c format = "@@: NONE,\n"; */ eof: false, }; // Run the lexer and check results. assert_eq!(parse(&mut st), Some(expect)); // Cleanup: remove input file. match std::fs::remove_file(fname) { Err(why) => panic!("cannot remove {}: {}", fname, why), Ok(_) => {} } }