## state.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- bool equals(Object)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.name) | 2010-07-16 16:14:15
U | pre | (soft) o.name != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- String getName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.name | 2010-07-16 16:14:15

- State getState(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | return_value in Addr_Set{null,&new State(State__static_init#1),&new State(State__static_init#2),&new State(State__static_init#3),&new State(State__static_init#4),&new State(State__static_init#5)} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@53: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@55: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@57: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@59: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@61: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | name: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15

- int hashCode()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.name != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- void net.sourceforge.pebble.domain.State(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.name) | 2010-07-16 16:14:15
U | post | this.name == name | 2010-07-16 16:14:15

- net.sourceforge.pebble.domain.State__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | APPROVED == &new State(State__static_init#1) | 2010-07-16 16:14:15
U | post | APPROVED.name == &"approved" | 2010-07-16 16:14:15
U | post | PENDING == &new State(State__static_init#3) | 2010-07-16 16:14:15
U | post | PENDING.name == &"pending" | 2010-07-16 16:14:15
U | post | PUBLISHED == &new State(State__static_init#5) | 2010-07-16 16:14:15
U | post | PUBLISHED.name == &"published" | 2010-07-16 16:14:15
U | post | REJECTED == &new State(State__static_init#2) | 2010-07-16 16:14:15
U | post | REJECTED.name == &"rejected" | 2010-07-16 16:14:15
U | post | UNPUBLISHED == &new State(State__static_ init#4) | 2010-07-16 16:14:15
U | post | UNPUBLISHED.name == &"unpublished" | 2010-07-16 16:14:15
U | post | new State(State__static_init#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new State(State__static_init#2) num objects == 1 | 2010-07-16 16:14:15
U | post | new State(State__static_init#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new State(State__static_init#4) num objects == 1 | 2010-07-16 16:14:15
U | post | new State(State__static_init#5) num objects == 1 | 2010-07-16 16:14:15

- String toString()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.name) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.name | 2010-07-16 16:14:15