PASS FileReader interface object
PASS no-argument FileReader constructor
PASS FileReader States -- abort
PASS FileReader States -- events