private void ButtonAddFluent_Click(object sender, RoutedEventArgs e) { if (TextBoxFluents.Text == "") { LabelFluentsActionsValidation.Content = "Fluent name is required."; return; } if (!System.Text.RegularExpressions.Regex.IsMatch(TextBoxFluents.Text, @"[a-zA-Z]+[a-zA-Z0-9\-]*$")) { LabelFluentsActionsValidation.Content = "Fluent name should be alphanumeric."; return; } if (!Fluents.Contains(Fluents.FirstOrDefault(f => (f.Name == TextBoxFluents.Text)))) { var f = new Fluent { Name = this.TextBoxFluents.Text }; Fluents.Add(f); TextBoxFluents.Text = ""; LabelFluentsActionsValidation.Content = ""; } else { LabelFluentsActionsValidation.Content = "Fluent with this name already exists."; } }
public void AddFluent(string fluent) { var negFluent = "not_" + fluent; Fluents.Add(fluent); Fluents.Add(negFluent); Negations.Add($"negation({fluent}, {negFluent})."); Negations.Add($"negation({negFluent}, {fluent})."); }