private static uint extractParts(string cmd, out string pred, out string body)
{
int at = cmd.IndexOf('(');
pred = cmd.Substring(0, at);
body = cmd.Substring(at + 1, cmd.Length - at - 2);
at = VSHistory.countOccurences(",", body);
return((uint)at);
}
public static void resetAll()
{
hist = new VSHistory();
setProposed(null);
SpaceForm.self.lVSLastCmdStatus.Text = "wpisz wyrażenie poniżej";
SpaceForm.self.lvVSGenSpace.Items.Clear();
SpaceForm.self.lvVSSpecSpace.Items.Clear();
SpaceForm.self.lvVSHistory.Items.Clear();
SpaceForm.self.tbVSQuery.Text = "positive([small,red,ball])";
logApp("---Reset---");
}
