+
Point of view
All features
class INLINE_MEMO
Summary
top
Used to store the result of an inlining attempt. Just because a Void Result would be ambiguous: if the caller get an INLINE_MEMO, he knows that the inlining was possible, even, if the result of the inlining is a Void value!
Direct parents
Insert list: ANY
Overview
top
expression: EXPRESSION
effective function
{ANY}
top
require ensure
  • Result /= Void
instruction: INSTRUCTION
effective function
{ANY}
top
cleared: BOOLEAN
effective function
{ANY}
top
is_instruction_holder: BOOLEAN
effective function
{ANY}
top
is_expression_holder: BOOLEAN
effective function
{ANY}
top
set_expression (e: EXPRESSION)
effective procedure
{ANONYMOUS_FEATURE, EFFECTIVE_ARG_LIST}
top
require
  • e /= Void
  • code = Void
ensure
set_instruction (i: INSTRUCTION)
effective procedure
{ANONYMOUS_FEATURE, EFFECTIVE_ARG_LIST}
top
require ensure
clear
effective procedure
{SMART_EIFFEL}
top
code: CODE
writable attribute
{}
top
make
effective procedure
{}
top