class INLINE_MEMO
Summary
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
expression: EXPRESSION
effective function
{ANY}
require ensure
  • Result /= Void
instruction: INSTRUCTION
effective function
{ANY}
cleared: BOOLEAN
effective function
{ANY}
is_instruction_holder: BOOLEAN
effective function
{ANY}
is_expression_holder: BOOLEAN
effective function
{ANY}
set_expression (e: EXPRESSION)
effective procedure
require
  • e /= Void
  • code = Void
ensure
set_instruction (i: INSTRUCTION)
effective procedure
require ensure
clear
effective procedure
code: CODE
writable attribute
{}
make
effective procedure
{}