+
Point of view
EFFECTIVE_ARG_LIST
class ASSIGNMENT_HANDLER
collect_normal (source:
TYPE, destination:
TYPE)
effective procedure
collect_force (source:
TYPE, destination:
TYPE)
effective procedure
require
- source /= Void
- destination /= Void
require
- expression_type.can_be_assigned_to(destination_type)
ensure