INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Blowfish general setup"
project: "Security library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: security
class BLOWFISH
creation -- Objects of this class cannot be created
feature

make (key: STRING)
-- Setup blowfish key using `key'
require
non_void_key: key /= void
invariant

non_void_bf_key: bf_key /= void
end -- class BLOWFISH

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES