public void GetDfa()
{
if (tokens.Count>0)
return;
Serialiser f = new Serialiser(arr);
f.VersionCheck();
m_encoding = (Encoding)f.Deserialise();
toupper = (bool)f.Deserialise();
cats = (Hashtable)f.Deserialise();
m_gencat = (UnicodeCategory)f.Deserialise();
usingEOF = (bool)f.Deserialise();
starts = (Hashtable)f.Deserialise();
Dfa.SetTokens(this,starts);
tokens = (Hashtable)f.Deserialise();
reswds = (Hashtable)f.Deserialise();
}