org.eclipse.xtext.util.formallang

Class NfaToProduction

java.lang.Object

org.eclipse.xtext.util.formallang.NfaToProduction

public class NfaToProduction
extends java.lang.Object

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 class	NfaToProduction.ElementAliasComparator<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

Modifier and Type	Method and Description
protected <T> boolean	areAlternativeMultiples(NfaToProduction.StateAlias<T> first, NfaToProduction.StateAlias<T> second)
protected <T> boolean	collectMergeableOptions(boolean root, NfaToProduction.AbstractElementAlias<T> alt, java.util.List<NfaToProduction.AbstractElementAlias<T>> result)
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, java.util.Set<NfaToProduction.StateAlias<T>> visited)
protected <T> boolean	createMany(NfaToProduction.StateAlias<T> state, java.util.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)
NfaToProduction	excludeStartAndStop()
protected <T> Pair<java.lang.Integer,NfaToProduction.StateAlias<T>>	findSplitState(NfaToProduction.StateAlias<T> state, java.lang.Integer depth, java.util.Set<NfaToProduction.StateAlias<T>> visited)
protected <T> boolean	isOptionalIgnoring(NfaToProduction.StateAlias<T> cand, NfaToProduction.StateAlias<T> ignored)
protected <T> boolean	isPreferredSplitState(Pair<java.lang.Integer,NfaToProduction.StateAlias<T>> state1, Pair<java.lang.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, java.util.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, java.util.Set<NfaToProduction.StateAlias<T>> visited)
<ELEMENT,STATE,TOKEN> ELEMENT	nfaToGrammar(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token, java.util.Comparator<? super TOKEN> order, ProductionFactory<ELEMENT,TOKEN> grammarFactory)
<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	normalize(NfaToProduction.AbstractElementAlias<T> element)
protected <TOKEN,STATE> NfaToProduction.AbstractElementAlias<TOKEN>	removeStartAndStop(Nfa<STATE> nfa, com.google.common.base.Function<STATE,TOKEN> state2token, NfaToProduction.AbstractElementAlias<TOKEN> root)
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, java.util.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,
                                   java.util.Set<NfaToProduction.StateAlias<T>> visited)

createMany

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

mergeOptionalIntoMany

protected <T> boolean mergeOptionalIntoMany(NfaToProduction.StateAlias<T> state,
                                            java.util.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,
                                                java.util.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<java.lang.Integer,NfaToProduction.StateAlias<T>> findSplitState(NfaToProduction.StateAlias<T> state,
                                                                                   java.lang.Integer depth,
                                                                                   java.util.Set<NfaToProduction.StateAlias<T>> visited)

isPreferredSplitState

protected <T> boolean isPreferredSplitState(Pair<java.lang.Integer,NfaToProduction.StateAlias<T>> state1,
                                            Pair<java.lang.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,TOKEN> ELEMENT nfaToGrammar(Nfa<STATE> nfa,
                                                  com.google.common.base.Function<STATE,TOKEN> state2token,
                                                  java.util.Comparator<? super TOKEN> order,
                                                  ProductionFactory<ELEMENT,TOKEN> grammarFactory)

removeStartAndStop

protected <TOKEN,STATE> NfaToProduction.AbstractElementAlias<TOKEN> removeStartAndStop(Nfa<STATE> nfa,
                                                                                       com.google.common.base.Function<STATE,TOKEN> state2token,
                                                                                       NfaToProduction.AbstractElementAlias<TOKEN> root)

collectMergeableOptions

protected <T> boolean collectMergeableOptions(boolean root,
                                              NfaToProduction.AbstractElementAlias<T> alt,
                                              java.util.List<NfaToProduction.AbstractElementAlias<T>> result)

normalize

protected <T> void normalize(NfaToProduction.AbstractElementAlias<T> element)

nfaToGrammar

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

excludeStartAndStop

public NfaToProduction excludeStartAndStop()

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,
                                                                  java.util.Map<STATE,NfaToProduction.StateAlias<TOKEN>> cache)