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 |