src/main/java/org/snt/autorex/Converter.java
Method getGnfaFromAutomaton
has 50 lines of code (exceeds 25 allowed). Consider refactoring. Open
Open
public Gnfa getGnfaFromAutomaton(Automaton auto, LabelTranslator ltrans) {
Gnfa ag = new Gnfa();
AutomatonTrans at = new AutomatonTrans(auto, ltrans);
Map<State,org.snt.autorex.autograph.State> smap = new HashMap<>();
Method getStateFrom
has 5 arguments (exceeds 4 allowed). Consider refactoring. Open
Open
(Set<org.snt.autorex.autograph.State> start,
Set<org.snt.autorex.autograph.State> accepting,
Map<State,org.snt.autorex.autograph.State> smap,
AutomatonTrans a, State s) {