deferred class CALL_INFIX_VISITOR
Summary
Overview
visit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
deferred procedure
require
  • visited /= Void
visit_call_infix_and (visited: CALL_INFIX_AND)
deferred procedure
require
  • visited /= Void
visit_call_infix_div (visited: CALL_INFIX_DIV)
deferred procedure
require
  • visited /= Void
visit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
deferred procedure
require
  • visited /= Void
visit_call_infix_ge (visited: CALL_INFIX_GE)
deferred procedure
require
  • visited /= Void
visit_call_infix_gt (visited: CALL_INFIX_GT)
deferred procedure
require
  • visited /= Void
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
deferred procedure
require
  • visited /= Void
visit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
deferred procedure
require
  • visited /= Void
visit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
deferred procedure
require
  • visited /= Void
visit_call_infix_le (visited: CALL_INFIX_LE)
deferred procedure
require
  • visited /= Void
visit_call_infix_lt (visited: CALL_INFIX_LT)
deferred procedure
require
  • visited /= Void
visit_call_infix_minus (visited: CALL_INFIX_MINUS)
deferred procedure
require
  • visited /= Void
visit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
deferred procedure
require
  • visited /= Void
visit_call_infix_or (visited: CALL_INFIX_OR)
deferred procedure
require
  • visited /= Void
visit_call_infix_plus (visited: CALL_INFIX_PLUS)
deferred procedure
require
  • visited /= Void
visit_call_infix_power (visited: CALL_INFIX_POWER)
deferred procedure
require
  • visited /= Void
visit_call_infix_times (visited: CALL_INFIX_TIMES)
deferred procedure
require
  • visited /= Void
visit_call_infix_xor (visited: CALL_INFIX_XOR)
deferred procedure
require
  • visited /= Void