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

Class HTMLParser.SetLinkReceiver

java.lang.Object

it.unimi.di.law.bubing.parser.HTMLParser.SetLinkReceiver

All Implemented Interfaces:

Parser.LinkReceiver, java.lang.Iterable<java.net.URI>

Enclosing class:

HTMLParser<T>

public static final class HTMLParser.SetLinkReceiver
extends java.lang.Object
implements Parser.LinkReceiver

An implementation of a Parser.LinkReceiver that accumulates the URLs in a public set.

Field Summary

Fields

Modifier and Type	Field	Description
java.util.Set<java.net.URI>	urls	The set of URLs gathered so far.

Constructor Summary

Constructors

Constructor	Description
SetLinkReceiver()

Method Summary

Modifier and Type	Method	Description
void	init(java.net.URI responseUrl)	Initializes this receiver for a new page.
java.util.Iterator<java.net.URI>	iterator()
void	link(java.net.URI link)	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, spliterator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

urls

public final java.util.Set<java.net.URI> urls

The set of URLs gathered so far.

Constructor Detail

SetLinkReceiver

public SetLinkReceiver()

Method Detail

location

public void location(java.net.URI location)

Description copied from interface: Parser.LinkReceiver

Handles the location defined by headers.

Specified by:

location in interface Parser.LinkReceiver

Parameters:

location - the location defined by headers.

metaLocation

public void metaLocation(java.net.URI location)

Description copied from interface: Parser.LinkReceiver

Handles the location defined by a META element.

Specified by:

metaLocation in interface Parser.LinkReceiver

Parameters:

location - the location defined by the META element.

metaRefresh

public void metaRefresh(java.net.URI refresh)

Description copied from interface: Parser.LinkReceiver

Handles the refresh defined by a META element.

Specified by:

metaRefresh in interface Parser.LinkReceiver

Parameters:

refresh - the URL defined by the META element.

link

public void link(java.net.URI link)

Description copied from interface: Parser.LinkReceiver

Handles a link.

Specified by:

link in interface Parser.LinkReceiver

Parameters:

link - a link discovered during the parsing phase.

init

public void init(java.net.URI responseUrl)

Description copied from interface: Parser.LinkReceiver

Initializes this receiver for a new page.

Specified by:

init in interface Parser.LinkReceiver

Parameters:

responseUrl - the URL of the page to be parsed.

iterator

public java.util.Iterator<java.net.URI> iterator()

Specified by:

iterator in interface java.lang.Iterable<java.net.URI>

size

public int size()

Specified by:

size in interface Parser.LinkReceiver