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); }