@Override public String toString() { if ( dfa.s0==null ) return null; StringBuilder buf = new StringBuilder(); List<DFAState> states = dfa.getStates(); for (DFAState s : states) { int n = 0; if ( s.edges!=null ) n = s.edges.length; for (int i=0; i<n; i++) { DFAState t = s.edges[i]; if ( t!=null && t.stateNumber != Integer.MAX_VALUE ) { buf.append(getStateString(s)); String label = getEdgeLabel(i); buf.append("-").append(label).append("->").append(getStateString(t)).append('\n'); } } } String output = buf.toString(); if ( output.length()==0 ) return null; //return Utils.sortLinesInString(output); return output; }
@Override public String toString() { if ( dfa.s0==null ) return null; StringBuilder buf = new StringBuilder(); List<DFAState> states = dfa.getStates(); for (DFAState s : states) { int n = 0; if ( s.edges!=null ) n = s.edges.length; for (int i=0; i<n; i++) { DFAState t = s.edges[i]; if ( t!=null && t.stateNumber != Integer.MAX_VALUE ) { buf.append(getStateString(s)); String label = getEdgeLabel(i); buf.append("-").append(label).append("->").append(getStateString(t)).append('\n'); } } } String output = buf.toString(); if ( output.length()==0 ) return null; //return Utils.sortLinesInString(output); return output; }
@Override public String toString() { if ( dfa.s0==null ) return null; StringBuilder buf = new StringBuilder(); List<DFAState> states = dfa.getStates(); for (DFAState s : states) { int n = 0; if ( s.edges!=null ) n = s.edges.length; for (int i=0; i<n; i++) { DFAState t = s.edges[i]; if ( t!=null && t.stateNumber != Integer.MAX_VALUE ) { buf.append(getStateString(s)); String label = getEdgeLabel(i); buf.append("-").append(label).append("->").append(getStateString(t)).append('\n'); } } } String output = buf.toString(); if ( output.length()==0 ) return null; //return Utils.sortLinesInString(output); return output; }
@Override public String toString() { if ( dfa.s0==null ) return null; StringBuilder buf = new StringBuilder(); List<DFAState> states = dfa.getStates(); for (DFAState s : states) { int n = 0; if ( s.edges!=null ) n = s.edges.length; for (int i=0; i<n; i++) { DFAState t = s.edges[i]; if ( t!=null && t.stateNumber != Integer.MAX_VALUE ) { buf.append(getStateString(s)); String label = getEdgeLabel(i); buf.append("-").append(label).append("->").append(getStateString(t)).append('\n'); } } } String output = buf.toString(); if ( output.length()==0 ) return null; //return Utils.sortLinesInString(output); return output; }
buf.append(getStateString(s)).append("-").append(getEdgeLabel(entry.getKey())).append("->"); if (s.isContextSymbol(entry.getKey())) { buf.append("!"); buf.append(getStateString(t)).append('\n'); buf.append(getStateString(s)) .append("-") .append(getContextLabel(entry.getKey())) .append("->") .append(getStateString(entry.getValue())) .append("\n");