Case 040
Case corpus: a self-authored FIFO queue
simple_queue.eml is a class-based case in a self-authored batch of six OOP utilities (alongside examples/bank-account-simulator/, examples/simple-stack/, examples/inventory-tracker/, examples/library-catalog/, and examples/parking-lot-tracker/) — part of growing the EML case corpus toward AI-native training scale, not a port of an existing project.
ok: true — round-trip fixpoint reached (python1 == python2)updated 2026-07-19
EML
eml# Self-authored for the EML case corpus (no external origin). A class-based
# FIFO queue exercising `self.items` list state grown via `existing +
# [item] => existing` (no `.append()` builtin) and shrunk from the front
# manually: `dequeue` reads index 0, then reassigns
# `self.items[1 : len(self.items)] => self.items` to drop it (no `.pop(0)`
# builtin).
class Queue:
def __init__(self):
[] => self.items
def enqueue(self, item):
self.items + [item] => self.items
def dequeue(self):
self.items[0] => front
self.items[1 : len(self.items)] => self.items
return front
def is_empty(self):
return len(self.items) == 0
Queue() => line_queue
line_queue.enqueue("Maria")
line_queue.enqueue("Tomas")
line_queue.enqueue("Wei")
"Queue after enqueuing 3 people: " + str(line_queue.items) => line1
line1^0
line_queue.dequeue() => served1
"Now serving: " + served1 => line2
line2^0
line_queue.dequeue() => served2
"Now serving: " + served2 => line3
line3^0
"Remaining in queue: " + str(line_queue.items) => line4
line4^0
line_queue.dequeue() => served3
"Now serving: " + served3 => line5
line5^0
"Is empty now? " + str(line_queue.is_empty()) => line6
line6^0Python (deterministic transpilation)
pythonclass Queue:
def __init__(self):
self.items = []
def enqueue(self, item):
self.items = self.items + [item]
def dequeue(self):
front = self.items[0]
self.items = self.items[1:len(self.items)]
return front
def is_empty(self):
return len(self.items) == 0
line_queue = Queue()
line_queue.enqueue("Maria")
line_queue.enqueue("Tomas")
line_queue.enqueue("Wei")
line1 = "Queue after enqueuing 3 people: " + str(line_queue.items)
print(line1)
served1 = line_queue.dequeue()
line2 = "Now serving: " + served1
print(line2)
served2 = line_queue.dequeue()
line3 = "Now serving: " + served2
print(line3)
line4 = "Remaining in queue: " + str(line_queue.items)
print(line4)
served3 = line_queue.dequeue()
line5 = "Now serving: " + served3
print(line5)
line6 = "Is empty now? " + str(line_queue.is_empty())
print(line6)stdout (executed)
textQueue after enqueuing 3 people: ['Maria', 'Tomas', 'Wei']
Now serving: Maria
Now serving: Tomas
Remaining in queue: ['Wei']
Now serving: Wei
Is empty now? TrueTrace event types
eml:run:starteml:classdefeml:calleml:assigneml:returneml:outputeml:run:done