Definitions

  • object names x, y
  • iv( x ) = { i | i \mbox{\it is \c{an instance} variable of } x }
  • methods( x ) = { m | m \mbox is a method of x }
  • properties( x ) = iv(x) \bigcup methods(x)

Read/write properties

  • iv( m_x ) = { i | m_x \mbox reads or writes i }
  • methods( i_x ) = { m_x | i_x \e iv(m_x) }

Cardinality

  • | S | = \mbox{ the cardinality of the set } S

slide: Definitions