comparison Implab/Parsing/DFABuilder.cs @ 156:97fbbf816844 v2

Promises: SignalXXX methods merged into SignalHandler method. Components: RunnableComponent In progress
author cin
date Mon, 15 Feb 2016 04:22:15 +0300
parents c0bf853aa04f
children 130781364799
comparison
equal deleted inserted replaced
155:037df317f126 156:97fbbf816844
164 } 164 }
165 } 165 }
166 166
167 int[] GetStateTags(HashSet<int> state) { 167 int[] GetStateTags(HashSet<int> state) {
168 Debug.Assert(state != null); 168 Debug.Assert(state != null);
169 return state.Where(pos => m_ends.ContainsKey(pos)).Select(pos => m_ends[pos]).ToArray(); 169 return state.Where(m_ends.ContainsKey).Select(pos => m_ends[pos]).ToArray();
170 } 170 }
171 171
172 int DefineState(IDFADefinition automa, HashSet<int> state) { 172 int DefineState(IDFADefinition automa, HashSet<int> state) {
173 Debug.Assert(automa != null); 173 Debug.Assert(automa != null);
174 Debug.Assert(state != null); 174 Debug.Assert(state != null);