steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

issue #358: fix images.gif

db4
Doug Coleman 2012-06-20 22:59:54 -07:00
parent c97b2c5190
commit de9997dea3
1 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
extra/images/gif/gif.factor
View File

@ -55,16 +55,16 @@ introducer label comment-data ;
TUPLE: trailer byte ; TUPLE: trailer byte ;
CONSTRUCTOR: trailer ( byte -- obj ) ; CONSTRUCTOR: trailer ( byte -- obj ) ;
CONSTANT: image-descriptor 0x2c CONSTANT: IMAGE-DESCRIPTOR 0x2c
! Extensions ! Extensions
CONSTANT: extension-identifier 0x21 CONSTANT: EXTENSION-IDENTIFIER 0x21
CONSTANT: plain-text-extension 0x01 CONSTANT: PLAIN-TEXT-EXTENSION 0x01
CONSTANT: graphic-control-extension 0xf9 CONSTANT: GRAPHICS-CONTROL-EXTENSION 0xf9
CONSTANT: comment-extension 0xfe CONSTANT: COMMENT-EXTENSION 0xfe
CONSTANT: application-extension 0xff CONSTANT: APPLICATION-EXTENSION 0xff
CONSTANT: trailer 0x3b CONSTANT: TRAILER 0x3b
CONSTANT: graphic-control-extension-block-size 0x04 CONSTANT: GRAPHIC-CONTROL-EXTENSION-BLOCK-SIZE 0x04
CONSTANT: block-terminator 0x00 CONSTANT: BLOCK-TERMINATOR 0x00
: <loading-gif> ( -- loading-gif ) : <loading-gif> ( -- loading-gif )
\ loading-gif new \ loading-gif new
@ -91,11 +91,11 @@ CONSTANT: block-terminator 0x00
: read-graphic-control-extension ( -- graphic-control-extension ) : read-graphic-control-extension ( -- graphic-control-extension )
\ graphics-control-extension new \ graphics-control-extension new
1 read le> graphic-control-extension-block-size assert= 1 read le> GRAPHIC-CONTROL-EXTENSION-BLOCK-SIZE assert=
1 read le> >>flags 1 read le> >>flags
2 read le> >>delay-time 2 read le> >>delay-time
1 read le> >>transparent-color-index 1 read le> >>transparent-color-index
1 read le> block-terminator assert= ; 1 read le> BLOCK-TERMINATOR assert= ;
: read-plain-text-extension ( -- plain-text-extension ) : read-plain-text-extension ( -- plain-text-extension )
\ plain-text-extension new \ plain-text-extension new
@ -168,18 +168,18 @@ ERROR: unimplemented message ;
: read-extension ( loading-gif -- loading-gif ) : read-extension ( loading-gif -- loading-gif )
read1 { read1 {
{ plain-text-extension [ { PLAIN-TEXT-EXTENSION [
read-plain-text-extension over plain-text-extensions>> push read-plain-text-extension over plain-text-extensions>> push
] } ] }
{ graphic-control-extension [ { GRAPHICS-CONTROL-EXTENSION [
read-graphic-control-extension read-graphic-control-extension
over graphic-control-extensions>> push over graphic-control-extensions>> push
] } ] }
{ comment-extension [ { COMMENT-EXTENSION [
read-comment-extension over comment-extensions>> push read-comment-extension over comment-extensions>> push
] } ] }
{ application-extension [ { APPLICATION-EXTENSION [
read-application-extension over application-extensions>> push read-application-extension over application-extensions>> push
] } ] }
{ f [ gif-unexpected-eof ] } { f [ gif-unexpected-eof ] }
@ -190,13 +190,13 @@ ERROR: unhandled-data byte ;
: read-data ( loading-gif -- loading-gif ) : read-data ( loading-gif -- loading-gif )
read1 { read1 {
{ extension-identifier [ read-extension ] } { EXTENSION-IDENTIFIER [ read-extension ] }
{ graphic-control-extension [ { GRAPHICS-CONTROL-EXTENSION [
read-graphic-control-extension read-graphic-control-extension
over graphic-control-extensions>> push over graphic-control-extensions>> push
] } ] }
{ image-descriptor [ read-table-based-image ] } { IMAGE-DESCRIPTOR [ read-table-based-image ] }
{ trailer [ f >>loading? ] } { TRAILER [ f >>loading? ] }
[ unhandled-data ] [ unhandled-data ]
} case ; } case ;