public virtual DFA GetLookaheadDFAFromPositionInFile( int line, int col ) { DFA result; lineColumnToLookaheadDFAMap.TryGetValue( line.ToString() + ":" + col.ToString(), out result ); return result; }