class EL_MP3_TO_WAV_CLIP_SAVER_COMMAND_I
Abstract interface for command to convert MP3 clips to WAV format
note
description: "Abstract interface for command to convert MP3 clips to WAV format"
author: "Finnian Reilly"
copyright: "Copyright (c) 2001-2022 Finnian Reilly"
contact: "finnian at eiffel hyphen loop dot com"
license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
date: "2024-01-21 12:27:11 GMT (Sunday 21st January 2024)"
revision: "11"
deferred class
EL_MP3_TO_WAV_CLIP_SAVER_COMMAND_I
inherit
EL_FILE_CONVERSION_COMMAND_I
redefine
make_default, getter_function_table, valid_input_extension, valid_output_extension
end
EL_AVCONV_OS_COMMAND_I
EL_MULTIMEDIA_CONSTANTS
feature {NONE} -- Initialization
make_default
--
do
log_level := "quiet"
Precursor
end
feature -- Element change
set_offset (a_offset: like offset)
do
offset := a_offset
end
set_duration (a_duration: like duration)
do
duration := a_duration
end
feature -- Access
offset: INTEGER
duration: INTEGER
log_level: STRING
feature -- Contract Support
valid_input_extension (extension: ZSTRING): BOOLEAN
do
Result := extension ~ Media_extension.mp3
end
valid_output_extension (extension: ZSTRING): BOOLEAN
do
Result := extension ~ Media_extension.wav
end
feature {NONE} -- Evolicity reflection
getter_function_table: like getter_functions
--
do
Result := Precursor + command_name_assignment +
["log_level", agent: STRING do Result := log_level end] +
["offset", agent: INTEGER_REF do Result := offset.to_reference end] +
["duration", agent: INTEGER_REF do Result := duration.to_reference end]
end
end