class  TEST_FEATURE_DECLARATION_01

feature -- Access

b_integer:INTEGER is 10

b_string :STRING is "Hello"

a_integer:INTEGER


a_STRING:STRING



a_command is
  do

  end

a_function:STRING is
  --
  do

  end

b_function(a_arg:INTEGER):INTEGER is
   ---
   do

   end

c_function(a_arg,b_arg:INTEGER):INTEGER is
   ---
   do

   end

d_function(a_arg:INTEGER; b_arg:INTEGER):STRING is
   ---
   do

   end


feature {NONE} -- Implementation

invariant
	invariant_clause: True -- Your invariant here

end