Exemple #1
0
	protected override void InitDFAs()
	{
		base.InitDFAs();
		dfa3 = new DFA3( this );
		dfa13 = new DFA13( this );
		dfa12 = new DFA12( this );
		dfa18 = new DFA18( this );
		dfa27 = new DFA27( this, SpecialStateTransition27 );
		dfa33 = new DFA33( this, SpecialStateTransition33 );
		dfa44 = new DFA44( this );
		dfa43 = new DFA43( this );
		dfa51 = new DFA51( this );
		dfa57 = new DFA57( this );
		dfa63 = new DFA63( this );
		dfa66 = new DFA66( this );
		dfa69 = new DFA69( this );
		dfa72 = new DFA72( this );
		dfa75 = new DFA75( this );
		dfa78 = new DFA78( this );
		dfa81 = new DFA81( this );
		dfa84 = new DFA84( this );
		dfa87 = new DFA87( this );
		dfa90 = new DFA90( this );
		dfa93 = new DFA93( this );
		dfa96 = new DFA96( this );
		dfa99 = new DFA99( this );
		dfa104 = new DFA104( this );
		dfa109 = new DFA109( this );
		dfa118 = new DFA118( this );
		dfa121 = new DFA121( this );
		dfa128 = new DFA128( this );
		dfa134 = new DFA134( this );
		dfa137 = new DFA137( this );
		dfa169 = new DFA169( this );
		dfa172 = new DFA172( this );
		dfa175 = new DFA175( this );
		dfa206 = new DFA206( this );
		dfa210 = new DFA210( this );
		dfa209 = new DFA209( this );
		dfa256 = new DFA256( this );
		dfa255 = new DFA255( this );
		dfa264 = new DFA264( this );
		dfa267 = new DFA267( this );
		dfa276 = new DFA276( this );
		dfa277 = new DFA277( this );
		dfa310 = new DFA310( this );
		dfa313 = new DFA313( this );
		dfa331 = new DFA331( this );
	}
	protected override void InitDFAs()
	{
		base.InitDFAs();
		dfa5 = new DFA5( this );
		dfa10 = new DFA10( this );
		dfa13 = new DFA13( this );
		dfa15 = new DFA15( this );
		dfa17 = new DFA17( this );
		dfa19 = new DFA19( this );
		dfa21 = new DFA21( this );
		dfa26 = new DFA26( this );
		dfa46 = new DFA46( this );
		dfa40 = new DFA40( this );
		dfa45 = new DFA45( this );
		dfa49 = new DFA49( this );
		dfa56 = new DFA56( this );
		dfa63 = new DFA63( this );
		dfa71 = new DFA71( this );
		dfa70 = new DFA70( this );
		dfa77 = new DFA77( this );
		dfa81 = new DFA81( this );
		dfa92 = new DFA92( this );
		dfa91 = new DFA91( this );
		dfa96 = new DFA96( this );
		dfa101 = new DFA101( this );
		dfa107 = new DFA107( this );
		dfa106 = new DFA106( this );
		dfa111 = new DFA111( this );
		dfa115 = new DFA115( this );
		dfa120 = new DFA120( this );
		dfa119 = new DFA119( this );
		dfa122 = new DFA122( this );
		dfa127 = new DFA127( this );
		dfa140 = new DFA140( this );
		dfa139 = new DFA139( this );
		dfa134 = new DFA134( this );
		dfa137 = new DFA137( this );
		dfa142 = new DFA142( this );
		dfa145 = new DFA145( this );
		dfa144 = new DFA144( this );
		dfa150 = new DFA150( this );
		dfa149 = new DFA149( this );
		dfa165 = new DFA165( this );
		dfa171 = new DFA171( this );
		dfa175 = new DFA175( this );
		dfa182 = new DFA182( this );
		dfa192 = new DFA192( this );
		dfa196 = new DFA196( this );
		dfa199 = new DFA199( this );
		dfa212 = new DFA212( this );
		dfa211 = new DFA211( this );
		dfa237 = new DFA237( this );
		dfa236 = new DFA236( this );
		dfa238 = new DFA238( this );
		dfa247 = new DFA247( this );
		dfa249 = new DFA249( this );
		dfa252 = new DFA252( this );
		dfa261 = new DFA261( this );
		dfa258 = new DFA258( this );
		dfa269 = new DFA269( this );
		dfa267 = new DFA267( this );
		dfa276 = new DFA276( this );
		dfa281 = new DFA281( this );
		dfa283 = new DFA283( this );
		dfa304 = new DFA304( this );
		dfa293 = new DFA293( this );
		dfa298 = new DFA298( this );
		dfa303 = new DFA303( this );
		dfa307 = new DFA307( this );
		dfa312 = new DFA312( this );
		dfa324 = new DFA324( this );
		dfa329 = new DFA329( this );
		dfa331 = new DFA331( this );
		dfa343 = new DFA343( this );
		dfa356 = new DFA356( this );
		dfa350 = new DFA350( this );
		dfa355 = new DFA355( this );
		dfa365 = new DFA365( this );
		dfa393 = new DFA393( this );
		dfa385 = new DFA385( this );
		dfa377 = new DFA377( this );
		dfa415 = new DFA415( this );
		dfa404 = new DFA404( this );
		dfa420 = new DFA420( this );
		dfa423 = new DFA423( this );
		dfa435 = new DFA435( this );
		dfa442 = new DFA442( this );
		dfa451 = new DFA451( this );
		dfa450 = new DFA450( this );
		dfa465 = new DFA465( this );
		dfa459 = new DFA459( this );
		dfa462 = new DFA462( this );
		dfa471 = new DFA471( this );
		dfa470 = new DFA470( this );
		dfa478 = new DFA478( this );
		dfa477 = new DFA477( this );
		dfa476 = new DFA476( this );
		dfa481 = new DFA481( this );
		dfa484 = new DFA484( this );
		dfa487 = new DFA487( this );
		dfa490 = new DFA490( this );
		dfa493 = new DFA493( this );
		dfa510 = new DFA510( this );
		dfa511 = new DFA511( this );
		dfa513 = new DFA513( this );
		dfa512 = new DFA512( this );
		dfa516 = new DFA516( this );
		dfa521 = new DFA521( this );
		dfa528 = new DFA528( this );
		dfa531 = new DFA531( this );
		dfa536 = new DFA536( this );
		dfa545 = new DFA545( this );
		dfa550 = new DFA550( this );
		dfa556 = new DFA556( this );
		dfa555 = new DFA555( this );
		dfa583 = new DFA583( this );
		dfa565 = new DFA565( this );
		dfa563 = new DFA563( this );
		dfa567 = new DFA567( this );
		dfa580 = new DFA580( this );
		dfa579 = new DFA579( this );
		dfa577 = new DFA577( this );
		dfa596 = new DFA596( this );
		dfa604 = new DFA604( this );
		dfa601 = new DFA601( this );
		dfa616 = new DFA616( this );
		dfa622 = new DFA622( this );
		dfa627 = new DFA627( this );
	}
	protected override void InitDFAs()
	{
		base.InitDFAs();
		dfa6 = new DFA6( this );
		dfa13 = new DFA13( this );
		dfa21 = new DFA21( this );
		dfa24 = new DFA24( this );
		dfa27 = new DFA27( this );
		dfa33 = new DFA33( this, SpecialStateTransition33 );
		dfa39 = new DFA39( this, SpecialStateTransition39 );
		dfa56 = new DFA56( this );
		dfa59 = new DFA59( this );
		dfa62 = new DFA62( this );
		dfa74 = new DFA74( this );
		dfa73 = new DFA73( this );
		dfa84 = new DFA84( this );
		dfa88 = new DFA88( this );
		dfa91 = new DFA91( this );
		dfa93 = new DFA93( this );
		dfa95 = new DFA95( this );
		dfa115 = new DFA115( this );
		dfa118 = new DFA118( this );
		dfa121 = new DFA121( this );
		dfa148 = new DFA148( this );
		dfa152 = new DFA152( this );
		dfa151 = new DFA151( this );
		dfa164 = new DFA164( this );
		dfa173 = new DFA173( this );
		dfa176 = new DFA176( this );
		dfa200 = new DFA200( this );
		dfa199 = new DFA199( this );
		dfa209 = new DFA209( this );
		dfa214 = new DFA214( this );
		dfa217 = new DFA217( this );
		dfa220 = new DFA220( this );
		dfa223 = new DFA223( this );
		dfa226 = new DFA226( this );
		dfa229 = new DFA229( this );
		dfa232 = new DFA232( this );
		dfa235 = new DFA235( this );
		dfa238 = new DFA238( this );
		dfa241 = new DFA241( this );
		dfa244 = new DFA244( this );
		dfa247 = new DFA247( this );
		dfa250 = new DFA250( this );
		dfa253 = new DFA253( this );
		dfa256 = new DFA256( this );
		dfa259 = new DFA259( this );
		dfa265 = new DFA265( this );
		dfa276 = new DFA276( this );
		dfa275 = new DFA275( this );
		dfa283 = new DFA283( this );
		dfa282 = new DFA282( this );
		dfa289 = new DFA289( this );
		dfa295 = new DFA295( this );
		dfa326 = new DFA326( this );
		dfa333 = new DFA333( this );
		dfa336 = new DFA336( this );
	}