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