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