Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class PROCESS_REDIRECTION_CONSTANTS General cluster: process description: "Definition of some constants used in process launcher." Ancestors BASE_REDIRECTION Queries is_valid_redirection (v: [like no_redirection] INTEGER_32): BOOLEAN No_redirection: INTEGER_32 To_file: INTEGER_32 To_same_as_output: INTEGER_32 To_stream: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org