+
Point of view
All features
class PROCEDURE [O_ -> TUPLE]
Summary
top
Where O_ represents open arguments (i.e. arguments which are delayed).
Direct parents
Inherit list: ROUTINE
Overview
top
Features
{ANY}
  • call alias "()"  (o: O_)
    Call feature with all its operands, using o for the open operands.
  • alias "()" call  (o: O_)
    Call feature with all its operands, using o for the open operands.
{ANY}
  • is_equal (other: PROCEDURE [O_ -> TUPLE]): BOOLEAN
    Is other attached to an object considered equal to current object?
call alias "()" (o: O_)
{ANY}
top
Call feature with all its operands, using o for the open operands.
alias "()" call (o: O_)
{ANY}
top
Call feature with all its operands, using o for the open operands.
is_equal (other: PROCEDURE [O_ -> TUPLE]): BOOLEAN
{ANY}
top
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)