read-extension ( loading-gif -- loading-gif )

Vocabulary

images.gif

Inputs

loading-gif

an object

Outputs

loading-gif

an object

Definition

USING: accessors combinators io kernel sequences ;

IN: images.gif

: read-extension ( loading-gif -- loading-gif )
    read1 {
        {
            PLAIN-TEXT-EXTENSION
            [
                read-plain-text-extension over
                plain-text-extensions>> push
            ]
        }
        {
            GRAPHICS-CONTROL-EXTENSION
            [
                read-graphic-control-extension over
                graphic-control-extensions>> push
            ]
        }
        {
            COMMENT-EXTENSION
            [
                read-comment-extension over comment-extensions>>
                push
            ]
        }
        {
            APPLICATION-EXTENSION
            [
                read-application-extension over
                application-extensions>> push
            ]
        }
        { f [ gif-unexpected-eof ] }
        [ unknown-extension ]
    } case ;