SnappedPrimitive IPrimitiveSnapper.Create(NewPrimitive newPrimitive)
{
Contract.Requires(newPrimitive != null);
Contract.Requires(NewPrimitiveType.IsAssignableFrom(newPrimitive.GetType()));
Contract.Ensures(Contract.Result <SnappedPrimitive>() != null);
Contract.Ensures(SnappedPrimitiveType.IsAssignableFrom(Contract.Result <SnappedPrimitive>().GetType()));
return(null);
}
SnappedPrimitive IPrimitiveSnapper.Create(PointsSequence[] selectedCurves, NewPrimitive newPrimitive)
{
Contract.Requires(selectedCurves != null);
Contract.Requires(Contract.ForAll(selectedCurves, c => c != null));
Contract.Requires(newPrimitive != null);
Contract.Requires(NewPrimitiveType.IsAssignableFrom(newPrimitive.GetType()));
Contract.Ensures(Contract.Result <SnappedPrimitive>() != null);
Contract.Ensures(SnappedPrimitiveType.IsAssignableFrom(Contract.Result <SnappedPrimitive>().GetType()));
return(null);
}
