public bool Copy(bool run = true)
{
if (_selectedShapes.Count == 0)
{
return(false);
}
if (run)
{
var buf = SerializeSelected();
var data = new DataObject();
data.SetData("DiagramDocument", buf.ToArray());
var sortedShapes = _selectedShapes.OrderBy(s =>
{
var c = s.BBox.Center();
return(c.Y + c.X / 10);
});
var text = StringExt.Join("\n\n", sortedShapes
.Select(s => s.PlainText()).Where(t => !string.IsNullOrEmpty(t)));
if (!string.IsNullOrEmpty(text))
{
data.SetText(text);
}
// Crazy Clipboard deletes data by default on app exit!
// need 'true' parameter to prevent loss of data on exit
Clipboard.SetDataObject(data, true);
}
return(true);
}
public Pred PrevPosition; // null if there were multiple starting positions
public override string ToString() // for debugging
{
if (AndPreds.Count > 0)
{
return(string.Format("{2} {0} => {1}", Set, Position, StringExt.Join("", AndPreds)));
}
else
{
return(string.Format("{0} => {1}", Set, Position));
}
}
protected virtual string ToString(bool inverted, IEnumerable<Int32> expected)
{
int plural = expected.Take(2).Count();
if (plural == 0)
return Localize.From(inverted ? "anything" : "nothing");
else if (inverted)
return Localize.From("anything except {0}", ToString(false, expected));
else if (plural == 1)
return ToString(expected.First());
else
return StringExt.Join("|", expected.Select(e => ToString(e)));
}
public override string ToString() // for debugging
{
string andPreds = "";
if (AndPreds != null)
{
andPreds = StringExt.Join(" || ", AndPreds.Select(set_ => StringExt.Join("", set_)));
}
string set = Set == null ? "" : Set.ToString();
if (andPreds == "" && (set == "" || set == "[^]"))
{
return(string.Format("otherwise, {0}", Sub.ToString()));
}
else
{
return(string.Format("when {0} {1}, {2}", andPreds, set, Sub.ToString()));
}
}
protected virtual string ToString(bool inverted, IEnumerable <MatchType> expected)
{
int plural = expected.Take(2).Count();
if (plural == 0)
{
return(Localize.Localized(inverted ? "anything" : "nothing"));
}
else if (inverted)
{
return(Localize.Localized("anything except {0}", ToString(false, expected)));
}
else if (plural == 1)
{
return(ToString(expected.First()));
}
else
{
return(StringExt.Join("|", expected.Select(e => ToString(e))));
}
}
public override string ToString()
{
return(StringExt.Join(" ", List.Where(child => !(child is ActionPred))));
}
public override string ToString()
{
return(StringExt.Join(" ", List));
}
public static string Join(this System.Collections.IEnumerable list, string separator)
{
return(StringExt.Join(separator, list.GetEnumerator()));
}
