org.eclipse.xtext.util.formallang

Class NfaToProduction

java.lang.Object

org.eclipse.xtext.util.formallang.NfaToProduction

public class NfaToProduction
extends Object

Author:

Moritz Eysholdt - Initial contribution and API

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	NfaToProduction.AbstractElementAlias<T>
protected static class	NfaToProduction.AliasGrammarProvider<TOKEN>
protected static class	NfaToProduction.AlternativeAlias<T>
protected static class	NfaToProduction.ElementAlias<T>
protected static class	NfaToProduction.GroupAlias<T>
protected static class	NfaToProduction.StateAlias<TOKEN>
protected static class	NfaToProduction.StateAliasNfa<TOKEN>
protected static class	NfaToProduction.StatesToDot<T>

Constructor Summary

Constructors

Constructor and Description
NfaToProduction()

Method Summary

Methods

Modifier and Type	Method and Description
protected <T> boolean	areAlternativeMultiples(NfaToProduction.StateAlias<T> first, NfaToProduction.StateAlias<T> second)
protected <T> boolean	createAlternative(NfaToProduction.StateAliasNfa<T> states)
protected <T> void	createGroup(NfaToProduction.StateAlias<T> first, NfaToProduction.StateAlias<T> second)
protected <T> boolean	createGroups(NfaToProduction.StateAlias<T> state, Set<NfaToProduction.StateAlias<T>> visited)
protected <T> boolean	createMany(NfaToProduction.StateAlias<T> state, Set<NfaToProduction.StateAlias<T>> visited)
protected <STATE,TOKEN> NfaToProduction.StateAliasNfa<TOKEN>	createNfa(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token)
protected <T> boolean	createOptional(NfaToProduction.StateAliasNfa<T> states)
protected <T> Pair<Integer,NfaToProduction.StateAlias<T>>	findSplitState(NfaToProduction.StateAlias<T> state, Integer depth, Set<NfaToProduction.StateAlias<T>> visited)
protected <T> boolean	isOptionalIgnoring(NfaToProduction.StateAlias<T> cand, NfaToProduction.StateAlias<T> ignored)
protected <T> boolean	isPreferredSplitState(Pair<Integer,NfaToProduction.StateAlias<T>> state1, Pair<Integer,NfaToProduction.StateAlias<T>> state2)
protected <T> void	mergeAlternativeMultiples(NfaToProduction.StateAlias<T> first, NfaToProduction.StateAlias<T> second)
protected <T> boolean	mergeAlternativeMultiples(NfaToProduction.StateAlias<T> state, Set<NfaToProduction.StateAlias<T>> visited)
protected <T> void	mergeOptionalIntoMany(NfaToProduction.StateAlias<T> first, NfaToProduction.StateAlias<T> second)
protected <T> boolean	mergeOptionalIntoMany(NfaToProduction.StateAlias<T> state, Set<NfaToProduction.StateAlias<T>> visited)
<ELEMENT,STATE,TOKEN> ELEMENT	nfaToGrammar(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token, ProductionFactory<ELEMENT,TOKEN> grammarFactory)
<ELEMENT,STATE> ELEMENT	nfaToGrammar(Nfa<STATE> nfa, ProductionFactory<ELEMENT,STATE> grammarFactory)
protected <T> void	splitState(NfaToProduction.StateAlias<T> state)
protected <STATE,TOKEN> NfaToProduction.StateAlias<TOKEN>	toAlias(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token, STATE state, Map<STATE,NfaToProduction.StateAlias<TOKEN>> cache)

Methods inherited from class java.lang.Object

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

Constructor Detail

NfaToProduction

public NfaToProduction()

Method Detail

createAlternative

protected <T> boolean createAlternative(NfaToProduction.StateAliasNfa<T> states)

createGroup

protected <T> void createGroup(NfaToProduction.StateAlias<T> first,
                   NfaToProduction.StateAlias<T> second)

createGroups

protected <T> boolean createGroups(NfaToProduction.StateAlias<T> state,
                       Set<NfaToProduction.StateAlias<T>> visited)

createMany

protected <T> boolean createMany(NfaToProduction.StateAlias<T> state,
                     Set<NfaToProduction.StateAlias<T>> visited)

mergeOptionalIntoMany

protected <T> boolean mergeOptionalIntoMany(NfaToProduction.StateAlias<T> state,
                                Set<NfaToProduction.StateAlias<T>> visited)

isOptionalIgnoring

protected <T> boolean isOptionalIgnoring(NfaToProduction.StateAlias<T> cand,
                             NfaToProduction.StateAlias<T> ignored)

mergeOptionalIntoMany

protected <T> void mergeOptionalIntoMany(NfaToProduction.StateAlias<T> first,
                             NfaToProduction.StateAlias<T> second)

mergeAlternativeMultiples

protected <T> boolean mergeAlternativeMultiples(NfaToProduction.StateAlias<T> state,
                                    Set<NfaToProduction.StateAlias<T>> visited)

areAlternativeMultiples

protected <T> boolean areAlternativeMultiples(NfaToProduction.StateAlias<T> first,
                                  NfaToProduction.StateAlias<T> second)

mergeAlternativeMultiples

protected <T> void mergeAlternativeMultiples(NfaToProduction.StateAlias<T> first,
                                 NfaToProduction.StateAlias<T> second)

createNfa

protected <STATE,TOKEN> NfaToProduction.StateAliasNfa<TOKEN> createNfa(Nfa<STATE> nfa,
                                                           com.google.common.base.Function<STATE,TOKEN> state2token)

createOptional

protected <T> boolean createOptional(NfaToProduction.StateAliasNfa<T> states)

findSplitState

protected <T> Pair<Integer,NfaToProduction.StateAlias<T>> findSplitState(NfaToProduction.StateAlias<T> state,
                                                             Integer depth,
                                                             Set<NfaToProduction.StateAlias<T>> visited)

isPreferredSplitState

protected <T> boolean isPreferredSplitState(Pair<Integer,NfaToProduction.StateAlias<T>> state1,
                                Pair<Integer,NfaToProduction.StateAlias<T>> state2)

nfaToGrammar

public <ELEMENT,STATE,TOKEN> ELEMENT nfaToGrammar(Nfa<STATE> nfa,
                                         com.google.common.base.Function<STATE,TOKEN> state2token,
                                         ProductionFactory<ELEMENT,TOKEN> grammarFactory)

nfaToGrammar

public <ELEMENT,STATE> ELEMENT nfaToGrammar(Nfa<STATE> nfa,
                                   ProductionFactory<ELEMENT,STATE> grammarFactory)

splitState

protected <T> void splitState(NfaToProduction.StateAlias<T> state)

toAlias

protected <STATE,TOKEN> NfaToProduction.StateAlias<TOKEN> toAlias(Nfa<STATE> nfa,
                                                      com.google.common.base.Function<STATE,TOKEN> state2token,
                                                      STATE state,
                                                      Map<STATE,NfaToProduction.StateAlias<TOKEN>> cache)