Package it.unimi.di.law.bubing.parser

Interface Parser.LinkReceiver

All Superinterfaces:

java.lang.Iterable<java.net.URI>

All Known Implementing Classes:

HTMLParser.SetLinkReceiver

Enclosing interface:

Parser<T>

public static interface Parser.LinkReceiver
extends java.lang.Iterable<java.net.URI>

A class that can receive URLs discovered during parsing. It may be used to iterate over the URLs found in the current page, but what will be actually returned by the iterator is implementation-dependent. It can be assumed that init(URI) is called before every other method when parsing a page, exactly once per page.

Method Summary

Modifier and Type	Method	Description
void	init(java.net.URI responseUrl)	Initializes this receiver for a new page.
void	link(java.net.URI uri)	Handles a link.
void	location(java.net.URI location)	Handles the location defined by headers.
void	metaLocation(java.net.URI location)	Handles the location defined by a META element.
void	metaRefresh(java.net.URI refresh)	Handles the refresh defined by a META element.
int	size()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

location

void location(java.net.URI location)

Handles the location defined by headers.

Parameters:

location - the location defined by headers.

metaLocation

void metaLocation(java.net.URI location)

Handles the location defined by a META element.

Parameters:

location - the location defined by the META element.

metaRefresh

void metaRefresh(java.net.URI refresh)

Handles the refresh defined by a META element.

Parameters:

refresh - the URL defined by the META element.

link

void link(java.net.URI uri)

Handles a link.

Parameters:

uri - a link discovered during the parsing phase.

init

void init(java.net.URI responseUrl)

Initializes this receiver for a new page.

Parameters:

responseUrl - the URL of the page to be parsed.

size

int size()