pipe.io
Classes 
RGFileHeader
StateRecord
TransitionRecord
Exceptions 
AbortDotFileGenerationException
ImmediateAbortException
IncorrectFileFormatException