Right but the comment doesn't seem to be in the right place for that ...?
On Mar 28, 2014 12:31 PM, "Radu Mereuta" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/parser/concrete2/Grammar.java:
>
> > +                        }
> > +                        reachableNonTerminals.get(nts.child).add(nts);
> > +                        collectNTCallers(((NonTerminalState) st).child.entryState,
> > +                            visited, reachableNonTerminals);
> > +                    }
> > +                    collectNTCallers(st, visited, reachableNonTerminals);
> > +                }
> > +            }
> > +        }
> > +    }
> > +
> > +    ///////////////////
> > +    // Inner Classes //
> > +    ///////////////////
> > +
> > +    // Positions are 'int' because CharSequence uses 'int' // Position in the text
>
> Position is the offset of the current character in the input string.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/318/files#r11076426>
> .
>