    class
    	SED_SESSION_DESERIALIZER

    General
    	cluster: base
    	description: "Decoding of arbitrary objects graphs within a session of a same program."
    	create: make

    Ancestors
    	REFACTORING_HELPER
    	SED_UTILITIES

    Queries
    	deserializer: SED_READER_WRITER
    	has_error: BOOLEAN
    	last_decoded_object: ANY
    	to_implement_assertion (comment: STRING_8): BOOLEAN

    Commands
    	decode (a_is_gc_enabled: BOOLEAN)
    	fixme (comment: STRING_8)
    	set_deserializer (a_deserializer: [like deserializer] SED_READER_WRITER)
    	to_implement (comment: STRING_8)

    Constraints
    	internal not void
    	deserializer not void
    	object references not void