com.google.re2j

Class Options.OptionsBuilder

java.lang.Object

com.google.re2j.Options.OptionsBuilder

Enclosing class:

Options

public static final class Options.OptionsBuilder
extends Object

Constructor Summary

Constructors

Constructor and Description
OptionsBuilder()

Method Summary

Modifier and Type	Method and Description
Options	build()
Options.OptionsBuilder	setAlgorithm(Options.Algorithm algorithm)
Options.OptionsBuilder	setEventsListener(Options.EventsListener eventsListener)
Options.OptionsBuilder	setMaximumNumberOfDFAStates(int maximumNumberOfDFAStates)
Options.OptionsBuilder	setNumberOfDFARetries(int numberOfDFARetries)

Methods inherited from class java.lang.Object

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

Constructor Detail

OptionsBuilder

public OptionsBuilder()

Method Detail

setAlgorithm

public Options.OptionsBuilder setAlgorithm(Options.Algorithm algorithm)

setMaximumNumberOfDFAStates

public Options.OptionsBuilder setMaximumNumberOfDFAStates(int maximumNumberOfDFAStates)

setNumberOfDFARetries

public Options.OptionsBuilder setNumberOfDFARetries(int numberOfDFARetries)

setEventsListener

public Options.OptionsBuilder setEventsListener(Options.EventsListener eventsListener)

build

public Options build()