AppUrl.java


current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

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


  • + URL getEntryUrl()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.entryUrl)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.entryUrl2009-09-04 18:33:31

  • + String getHandle()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.handle)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.handle2009-09-04 18:33:31

  • + URL getResourceUrl()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.resourceUrl)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.resourceUrl2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.AppUrl(String, String)

  • -/+ Kind Annotation Text Date
    +postnew URL(AppUrl#1) num objects == 12009-09-04 18:33:31
    +postnew URL(AppUrl#3) num objects == 12009-09-04 18:33:31
    +postthis.entryUrl == &new URL(AppUrl#1)2009-09-04 18:33:31
    +postthis.resourceUrl == &new URL(AppUrl#3)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.AppUrl(URL)

  • -/+ Kind Annotation Text Date
    +preENDPOINT_PATTERN != null2009-09-04 18:33:31
    +preID_PATTERN != null2009-09-04 18:33:31
    +preurl != null2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postnew URL(AppUrl#1) num objects == 12009-09-04 18:33:31
    +postnew URL(AppUrl#3) num objects == 12009-09-04 18:33:31
    +postthis.entryUrl == &new URL(AppUrl#1)2009-09-04 18:33:31
    +postthis.resourceUrl == &new URL(AppUrl#3)2009-09-04 18:33:31
    +unanalyzedcall on java.net.URL2009-09-04 18:33:31
    +unanalyzedcall on java.net.URL:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:group2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:matches2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:matcher2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.AppUrl__static_init

  • -/+ Kind Annotation Text Date
    +postinit'ed(ENDPOINT_PATTERN)2009-09-04 18:33:31
    +postinit'ed(ID_PATTERN)2009-09-04 18:33:31

  • + URL parseEndpoint(URL)

  • -/+ Kind Annotation Text Date
    +preENDPOINT_PATTERN != null2009-09-04 18:33:31
    +preurl != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@67 != null2009-09-04 18:33:31
    +postnew URL(parseEndpoint#1) num objects <= 12009-09-04 18:33:31
    +postreturn_value == One-of{null, &new URL(parseEndpoint#1)}2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&new URL(parseEndpoint#1)}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:matches(...)@69: {0}, {1}2009-09-04 18:33:31

  • + String parseHandle(URL)

  • -/+ Kind Annotation Text Date
    +preID_PATTERN != null2009-09-04 18:33:31
    +preurl != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@54 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:matches(...)@56: {0}, {1}2009-09-04 18:33:31