Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.highscore

Class EM_CHECKSUM_GENERATOR



Features

Invariants

indexing

description

Generate a checksum over a string.
Current implementation only uses some bit shifting and some bitwise xor.

date

$Date: 2005/10/26 15:41:47 $

revision

$Revision: 1.10 $

class

EM_CHECKSUM_GENERATOR

feature -- Reset

reset

-- reset the checksum

feature -- Generate Checksum

append_string (a_string: STRING)

-- append a_string to string

require
string_created: string /= void
generate_checksum

-- generate checksum for string

feature -- Attributes

checksum: INTEGER

-- Calculated checksum

string: STRING

-- String for which the checksum will be generated

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end