static Hammer() { tt_dotnet = hammer.h_allocate_token_type("com.upstandinghackers.hammer.dotnet.tagged"); hammer.h_set_dotnet_tagged_token_type(tt_dotnet); tag_to_action = new System.Collections.Hashtable(); charify_action = RegisterAction(x => { //System.Console.WriteLine(x.GetType()); return char.ConvertFromUtf32((int)(ulong)x)[0]; }); }
static Hammer() { tt_dotnet = hammer.h_allocate_token_type("com.upstandinghackers.hammer.dotnet.tagged"); hammer.h_set_dotnet_tagged_token_type(tt_dotnet); tag_to_action = new System.Collections.Hashtable(); charify_action = RegisterAction(x => { //System.Console.WriteLine(x.GetType()); return(char.ConvertFromUtf32((int)(ulong)x)[0]); }); }