Example Specification (Circle Messages)

Message Forms

1. <Circle>.radius() --> <double>
2. <Circle>.diameter() --> <double>
3. <Circle>.area() --> <double>
4. <Circle>.perimeter() --> <double>
5. <Circle>.expand(<double>)
6. <Circle>.shrink(<double>)
7. <Circle>.circumscribingSquare() --> <Square>
8. <Circle>.inscribingSquare() --> <Square>
9. <Circle>.circumscribingPolygon(<int>) --> <Polygon>
10. <Circle>.inscribingPolygon(<int>) --> <Polygon>

Object Behaviors

1. <Circle> returns its radius.
2. <Circle> returns its diameter.
3. <Circle> returns its area.
4. <Circle> returns its perimeter.
5. <Circle> expands itself by adding the given <double> to its radius.
6. <Circle> shrinks itself by subtracting the given <double> from its radius.
7. <Circle> returns its circumscribing <Square>.
8. <Circle> returns its inscribing <Square>.
9. <Circle> returns its circumscribing <Polygon> of degree <int>.
10. <Circle> returns its inscribing <Polygon> of degree <int>.