INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Chiper"
project: "Security library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: security
deferred class CIPHER
feature -- Translation

encrypt (data: STRING): STRING
-- Encrypt the `data'
require
non_void_data: data /= void
ensure
non_void_result: Result /= void
valid_result: decrypt (Result).is_equal (data)

decrypt (data: STRING): STRING
-- Decrypt the `data'
require
non_void_data: data /= void
valid_data:
ensure
non_void_result: Result /= void
end -- class CIPHER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES