# Look for the key in the array
var cur = base
- while true do
+ loop
var c = arr[cur]
if c == null or c.key == k then # REAL equals
_last_accessed_index = cur
_array[i] = null
_length -= 1
# Now replaces things before if needed
- while true do
+ loop
i -= 1
if i < 0 then
i = _capacity - 1
# Read a string until the end of the line and append it to `s'.
fun append_line_to(s: Buffer)
do
- while true do
+ loop
var x = read_char
if x == -1 then
if eof then return
redef fun append_line_to(s)
do
- while true do
+ loop
# First phase: look for a '\n'
var i = _buffer_pos
while i < _buffer.length and _buffer[i] != '\n' do i += 1
var text = _text
text.clear
- while true do
+ loop
var c = get_char
if c != -1 then
text.add(c.ascii)
- var first_loop = true # aka until
- while dfa_state < -1 or first_loop do
+ loop
var old_state = dfa_state
if dfa_state < -1 then
old_state = -2 - dfa_state
low = middle + 1
else
dfa_state = tmp2[2]
- low = high + 1 # aka break
+ break
end
end
end
- first_loop = false # aka until
+ if dfa_state > -2 then break
end
_cr = cr
push(0, null)
var lexer = _lexer
- while true do
+ loop
var token = lexer.peek
if token isa AError then
return new Start(null, token)
var text = _text
text.clear
- while true do
+ loop
var c = get_char
if c != -1 then
text.add(c.ascii)
- var first_loop = true # aka until
- while dfa_state < -1 or first_loop do
+ loop
var old_state = dfa_state
if dfa_state < -1 then
old_state = -2 - dfa_state
low = middle + 1
else
dfa_state = tmp2[2]
- low = high + 1 # aka break
+ break
end
end
end
- first_loop = false # aka until
+ if dfa_state > -2 then break
end
_cr = cr
push(0, null)
var lexer = _lexer
- while true do
+ loop
var token = lexer.peek
if token isa PError then
return new Start(null, token)