Searched refs:dfaEdgeName (Results 1 – 1 of 1) sorted by relevance
69 String dfaEdgeName = "dfaEdge"; in walkFixedDFAGeneratingStateMachine() local74 dfaEdgeName = "dfaEdgeSwitch"; in walkFixedDFAGeneratingStateMachine()113 ST edgeST = templates.getInstanceOf(dfaEdgeName); in walkFixedDFAGeneratingStateMachine()174 ST edgeST = templates.getInstanceOf(dfaEdgeName); in walkFixedDFAGeneratingStateMachine()