| method | net.sourceforge. |
| method | void net. |
| method | Blog getBlog() |
| pre | init'ed(this.blog) |
| post | return_value == this.blog |
| post | init'ed(return_value) |
| method | void setBlog(Blog) |
| post | this.blog == blog |
| post | init'ed(this.blog) |
| method | String getPermalink(Month) |
| pre | month != null |
| pre | this.blog != null |
| post | init'ed(return_value) |
|   | info | method not available | -- call on TimeZone net. |
|   | info | method not available | -- call on Date net. |
| method | bool isMonthPermalink(String) |
| post | init'ed(return_value) |
| test_vector | uri: Addr_ |
| method | Month getMonth(String) |
| post | init'ed(return_value) |
| pre | this.blog != null |
| pre | uri != null |
|   | info | method not available | -- call on Month net. |
| method | String getPermalink(Day) |
| pre | day != null |
| pre | this.blog != null |
| post | init'ed(return_value) |
|   | info | method not available | -- call on TimeZone net. |
|   | info | method not available | -- call on Date net. |
| method | bool isDayPermalink(String) |
| post | init'ed(return_value) |
| test_vector | uri: Addr_ |
| method | Day getDay(String) |
| post | init'ed(return_value) |
| pre | this.blog != null |
| pre | uri != null |
|   | info | method not available | -- call on Day net. |