## messagetype.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

- String getId()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.id) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.id | 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

- void net.sourceforge.pebble.domain.MessageType(String, int, String, String)

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

- net.sourceforge.pebble.domain.MessageType__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | ENUM$VALUES == &new MessageType[](MessageType__ static_init#4) | 2010-07-16 16:14:15
U | post | ENUM$VALUES.length == 3 | 2010-07-16 16:14:15
U | post | ENUM$VALUES[0] == &new MessageType(MessageType_ _static_init#1) | 2010-07-16 16:14:15
U | post | ENUM$VALUES[1] == &new MessageType(MessageType_ _static_init#2) | 2010-07-16 16:14:15
U | post | ENUM$VALUES[2] == &new MessageType(MessageType_ _static_init#3) | 2010-07-16 16:14:15
U | post | ERROR == &new MessageType(MessageType__static_ init#3) | 2010-07-16 16:14:15
U | post | ERROR.id == &"error" | 2010-07-16 16:14:15
U | post | ERROR.name == &"Error" | 2010-07-16 16:14:15
U | post | INFO == &new MessageType(MessageType__static_ init#1) | 2010-07-16 16:14:15
U | post | INFO.id == &"info" | 2010-07-16 16:14:15
U | post | INFO.name == &"Info" | 2010-07-16 16:14:15
U | post | WARN == &new MessageType(MessageType__static_ init#2) | 2010-07-16 16:14:15
U | post | WARN.id == &"warning" | 2010-07-16 16:14:15
U | post | WARN.name == &"Warning" | 2010-07-16 16:14:15
U | post | new MessageType(MessageType__static_init#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new MessageType(MessageType__static_init#2) num objects == 1 | 2010-07-16 16:14:15
U | post | new MessageType(MessageType__static_init#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new MessageType[](MessageType__static_init#4) num objects == 1 | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.Enum | 2010-07-16 16:14:15

- MessageType valueOf(String)

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

- MessageType[] values()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | new MessageType[](values#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new MessageType[](values#1) | 2010-07-16 16:14:15
U | post | return_value.length == 3 | 2010-07-16 16:14:15
U | post | return_value[...] == ENUM$VALUES[...] | 2010-07-16 16:14:15