PYTHON_USER_CLASS

The base class for all user-defined Python shadow classes. This is used extensively by the automatic code generation scripts for exporting Python modules and classes into an Eiffel-compatible format. This class cannot be instantiated directly.

deferred class interface PYTHON_USER_CLASS
feature(s) from PYTHON_USER_CLASS
   module_name: STRING
   class_name: STRING
   class_object: PYTHON_OBJECT
   method (method_name: STRING): PYTHON_OBJECT
      -- get the callable method of the requested name
      require
         method_name /= Void;
         class_object.has_attr_string(method_name)
      ensure
         Result.is_callable
   self_tuple: PYTHON_TUPLE
      ensure
         last_python_integer_result_ok
   call_method (method_name: STRING; args: PYTHON_TUPLE): PYTHON_OBJECT
      require
         method_name /= Void
   from_init (args: PYTHON_TUPLE)
      -- initializes the object using the class object defined by 
      -- feature "class_object"--desired creation clause
invariant
   reference_count >= 0;
end of deferred PYTHON_USER_CLASS