AppModuleGenerator.java |
| current inspection = 2009-09-04 18:33:31 (id #2) | base = 2009-09-04 18:33:31 (id #1) |
|
|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | element != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(module.draft) | 2009-09-04 18:33:31 |
| + | pre | init'ed(module.edited) | 2009-09-04 18:33:31 |
| + | pre | module != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | test_vector | module.edited: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | new Element( | 2009-09-04 18:33:31 |
| + | post | return_value == &new Element( | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | return_value == &"http: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(APP_NS) | 2009-09-04 18:33:31 |
| + | post | init'ed(NAMESPACES) | 2009-09-04 18:33:31 |