pipe.io
Classes
RGFileHeader
StateRecord
TransitionRecord
Exceptions
AbortDotFileGenerationException
ImmediateAbortException
IncorrectFileFormatException