org.antlr.works.visualization.fa

Class FAFactory

java.lang.Object

org.antlr.works.visualization.fa.FAFactory

public class FAFactory
extends Object

This class builds an "GUI" NFA from an "ANTLR" NFA by removing redundant epsilon transition(s).

Field Summary

Fields

Modifier and Type	Field and Description
protected FAAnalysis	analysis
protected org.antlr.tool.Grammar	g
protected int	newStateNumber
protected boolean	optimize
protected Map<org.antlr.analysis.NFAState,FAState>	processedStates
protected Map<Integer,FAState>	skippedStatesMap

Constructor Summary

Constructors

Constructor and Description
FAFactory(org.antlr.tool.Grammar g)

Method Summary

Methods

Modifier and Type	Method and Description
FAState	build(org.antlr.analysis.NFAState state)
FAState	buildNFA(org.antlr.analysis.NFAState state, boolean optimize)
void	buildRecursiveSkipState(FAState parentState, org.antlr.analysis.NFAState state, Set<org.antlr.analysis.NFAState> currentPath, List<Integer> skippedStates) This method is used to skip redundant state following epsilon transition.
FAState	buildRecursiveState(org.antlr.analysis.NFAState state, Set<org.antlr.analysis.NFAState> currentPath)
boolean	canBeSkipped(org.antlr.analysis.NFAState state) This method returns true if the state can be skipped, using several criteria.
FAState	createRuleReferenceState(FAState parentState, org.antlr.analysis.Transition transition, List<Integer> skippedStates)
org.antlr.analysis.NFAState	endStateOfAlternative(org.antlr.analysis.NFAState alt)
Map<Integer,FAState>	getSkippedStatesMap()
boolean	hasMoreThanOneEpsilonTransitionOnly(org.antlr.analysis.NFAState state)
boolean	hasOneEpsilonTransitionOnly(org.antlr.analysis.NFAState state)
boolean	hasOneOrMoreEpsilonTransitionOnly(org.antlr.analysis.NFAState state)
boolean	isAlternativeTransitionEndingAtSameState(org.antlr.analysis.NFAState state)
String	nameOfExternalReferencedRule(org.antlr.analysis.Transition transition)
boolean	targetStateIsInAnotherRule(org.antlr.analysis.Transition transition)
org.antlr.analysis.NFAState	targetStateOfTransition(org.antlr.analysis.Transition transition)

Methods inherited from class java.lang.Object

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

Field Detail

g

protected org.antlr.tool.Grammar g

optimize

protected boolean optimize

analysis

protected FAAnalysis analysis

processedStates

protected Map<org.antlr.analysis.NFAState,FAState> processedStates

skippedStatesMap

protected Map<Integer,FAState> skippedStatesMap

newStateNumber

protected int newStateNumber

Constructor Detail

FAFactory

public FAFactory(org.antlr.tool.Grammar g)

Method Detail

buildNFA

public FAState buildNFA(org.antlr.analysis.NFAState state,
               boolean optimize)

getSkippedStatesMap

public Map<Integer,FAState> getSkippedStatesMap()

build

public FAState build(org.antlr.analysis.NFAState state)

buildRecursiveState

public FAState buildRecursiveState(org.antlr.analysis.NFAState state,
                          Set<org.antlr.analysis.NFAState> currentPath)

buildRecursiveSkipState

public void buildRecursiveSkipState(FAState parentState,
                           org.antlr.analysis.NFAState state,
                           Set<org.antlr.analysis.NFAState> currentPath,
                           List<Integer> skippedStates)

This method is used to skip redundant state following epsilon transition.

targetStateIsInAnotherRule

public boolean targetStateIsInAnotherRule(org.antlr.analysis.Transition transition)

nameOfExternalReferencedRule

public String nameOfExternalReferencedRule(org.antlr.analysis.Transition transition)

createRuleReferenceState

public FAState createRuleReferenceState(FAState parentState,
                               org.antlr.analysis.Transition transition,
                               List<Integer> skippedStates)

targetStateOfTransition

public org.antlr.analysis.NFAState targetStateOfTransition(org.antlr.analysis.Transition transition)

canBeSkipped

public boolean canBeSkipped(org.antlr.analysis.NFAState state)

This method returns true if the state can be skipped, using several criteria.

hasOneEpsilonTransitionOnly

public boolean hasOneEpsilonTransitionOnly(org.antlr.analysis.NFAState state)

hasOneOrMoreEpsilonTransitionOnly

public boolean hasOneOrMoreEpsilonTransitionOnly(org.antlr.analysis.NFAState state)

hasMoreThanOneEpsilonTransitionOnly

public boolean hasMoreThanOneEpsilonTransitionOnly(org.antlr.analysis.NFAState state)

isAlternativeTransitionEndingAtSameState

public boolean isAlternativeTransitionEndingAtSameState(org.antlr.analysis.NFAState state)

endStateOfAlternative

public org.antlr.analysis.NFAState endStateOfAlternative(org.antlr.analysis.NFAState alt)