- 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