method	org.apache.roller.weblogger.webservices. adminprotocol.AppUrl__static_init
post	init'ed(ENDPOINT_PATTERN)
post	init'ed(ID_PATTERN)

method	void org.apache.roller.weblogger.webservices. adminprotocol.AppUrl(String, String)
post	this.entryUrl == &new URL(AppUrl#1)
post	this.resourceUrl == &new URL(AppUrl#3)
post	new URL(AppUrl#1) num objects == 1
post	new URL(AppUrl#3) num objects == 1

method	void org.apache.roller.weblogger.webservices. adminprotocol.AppUrl(URL)
pre	ENDPOINT_PATTERN != null
pre	ID_PATTERN != null
pre	url != null
post	this.entryUrl == &new URL(AppUrl#1)
post	init'ed(this.handle)
post	this.resourceUrl == &new URL(AppUrl#3)
post	new URL(AppUrl#1) num objects == 1
post	new URL(AppUrl#3) num objects == 1
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group

method	String parseHandle(URL)
pre	ID_PATTERN != null
pre	url != null
presumption	java.util.regex.Pattern:matcher(...)@54 != null
post	init'ed(return_value)
test_vector	java.util.regex.Matcher:matches(...)@56: {0}, {1}

method	URL parseEndpoint(URL)
pre	ENDPOINT_PATTERN != null
pre	url != null
presumption	java.util.regex.Pattern:matcher(...)@67 != null
post	return_value == One-of{null, &new URL(parseEndpoint#1)}
post	return_value in Addr_Set{null,&new URL(parseEndpoint#1)}
post	new URL(parseEndpoint#1) num objects <= 1
test_vector	java.util.regex.Matcher:matches(...)@69: {0}, {1}

method	URL getEntryUrl()
pre	init'ed(this.entryUrl)
post	return_value == this.entryUrl
post	init'ed(return_value)

method	URL getResourceUrl()
pre	init'ed(this.resourceUrl)
post	return_value == this.resourceUrl
post	init'ed(return_value)

method	String getHandle()
pre	init'ed(this.handle)
post	return_value == this.handle
post	init'ed(return_value)