private void pinButton_Click(object sender, RoutedEventArgs e) { tokens = session.GetTokens(pinTextbox.Text); pinResultTextbox.Text = tokens.ToString(); }