dk.brics.string
Class BindingAutomatonProvider

java.lang.Object
  dk.brics.string.BindingAutomatonProvider

All Implemented Interfaces:

AutomatonProvider

public class BindingAutomatonProvider
extends Object
implements AutomatonProvider

Constructor Summary

BindingAutomatonProvider()

Method Summary

Automaton	getAutomaton(String name)
URL	getConstantURL(Value value)
Automaton	getFromURL(URL url)

Methods inherited from class java.lang.Object

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

Constructor Detail

BindingAutomatonProvider

public BindingAutomatonProvider()

Method Detail

getAutomaton

public Automaton getAutomaton(String name)

Specified by:

getAutomaton in interface AutomatonProvider

getConstantURL

public URL getConstantURL(Value value)

getFromURL

public Automaton getFromURL(URL url)