Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/Cobol/Test-Suite/COBOL/IF/ (Gnome Linux Desktop Version 4.23.2^©) Datei vom 4.1.2008 mit Größe 70 kB

Quelle GIF2.h

Sprache: C

/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */

#ifndef mozilla_image_decoders_GIF2_H
#define mozilla_image_decoders_GIF2_H

#define MAX_LZW_BITS 12
#define MAX_BITS 4097  // 2^MAX_LZW_BITS+1
#define MAX_COLORS 256
java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 25

enum { GIF_TRAILER = 0x3B };               // ';'
enum { GIF_IMAGE_SEPARATOR = 0x2C# MAX_BITS 4097 // 2^MAX_LZW_BITS+1
enum{GIF_EXTENSION_INTRODUCER = x21 } /java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
{GIF_GRAPHIC_CONTROL_LABEL = 0xF9 };
enum { GIF_APPLICATION_EXTENSION_LABEL = 0xFF };

// A GIF decoder's state
pedef  {
  // LZW decoder state machine
   // Current stack pointer
  datasizejava.lang.StringIndexOutOfBoundsException: Range [15, 16) out of bounds for length 15
  int ;
;
  int avail;  // Index of next available slot in dictionary
  int ;
  int32_t;/java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  bits        of unread   datum"
  int32_t datum;  // 32-bit input buffer

  // Output state machine
  java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 62

  // Parameters for image frame currently being decoded
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  disposal_method;  /Restore  background,leave   ,etc.
  java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
    /Size  the
                                        // local colormap.
  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  uint32_t] /java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73
                image   multiimage

  // Global (multi-image) state
  int version;           // Either 89 for GIF89 or 87 for GIF87
  int32_t screen_width;  // Logical screen width & height
  int32_t screen_height;
  uint8_t global_colormap_depth;   // Depth of global colormap array
  uint16_t global_colormap_count;  // Number of colors in global colormap
  int images_decoded;              // Counts images for multi-part GIFs
  int loop_count;  // Netscape specific extension block to control
                   // the number of animation loops a GIF
                   // renders.

  bool is_transparent;  // TRUE, if tpixel is valid

  uint16_t prefix[MAX_BITS];             // LZW decoding tables
  uint32_t global_colormap[MAX_COLORS];  // Default colormap if local not
                                         //   supplied
  uint8_t suffix[MAX_BITS];              // LZW decoding tables
  uint8_t stack[MAX_BITS];               // Base of LZW decoder stack

} gif_struct;

#endif  // mozilla_image_decoders_GIF2_H

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.4 Sekunden ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.