Makes a copy of this resource at the given path.
This is a convenience method, fully equivalent to:
copy(destination, (force ? FORCE : IResource.NONE), monitor);
This operation changes resources; these changes will be reported in a subsequent resource change event that will include an indication that the resource copy has been added to its new parent.
This operation is long-running; progress and cancellation are provided by the given progress monitor.
@param destination the destination path
@param force a flag controlling whether resources that are notin sync with the local file system will be tolerated
@param monitor a progress monitor, or
null if progressreporting is not desired
@exception CoreException if this resource could not be copied. Reasons include:
- This resource does not exist.
- This resource or one of its descendents is not local.
- The source or destination is the workspace root.
- The source is a project but the destination is not.
- The destination is a project but the source is not.
- The resource corresponding to the parent destination path does not exist.
- The resource corresponding to the parent destination path is a closed project.
- A resource at destination path does exist.
- This resource or one of its descendents is out of sync with the local file system and
force is false. - The workspace and the local file system are out of sync at the destination resource or one of its descendents.
- The source resource is a file and the destination path specifies a project.
- Resource changes are disallowed during certain types of resource change event notification. See
IResourceChangeEvent for more details.
@exception OperationCanceledException if the operation is canceled. Cancelation can occur even if no progress monitor is provided.