/*
* JBoss, Home of Professional Open Source.
*
* See the LEGAL.txt file distributed with this work for information regarding copyright ownership and licensing.
*
* See the AUTHORS.txt file distributed with this work for a full listing of individual contributors.
*/
package org.teiid.designer.core.index;
import java.io.File;
import org.eclipse.core.resources.IResource;
import org.teiid.core.designer.util.CoreArgCheck;
import org.teiid.designer.core.index.FileDocument;
/**
* ResourceDocumentImpl
*
* @since 8.0
*/
public class ResourceDocumentImpl extends FileDocument implements ResourceDocument {
private IResource resource;
public ResourceDocumentImpl(String filePath, final IResource resource) {
this(new File(filePath), resource);
}
public ResourceDocumentImpl(final File file, final IResource resource) {
super(file);
CoreArgCheck.isNotNull(resource);
this.resource = resource;
}
public ResourceDocumentImpl(final IResource resource) {
this(resource.getLocation().toFile(), resource);
}
/* (non-Javadoc)
* @See org.teiid.designer.core.index.ResourceDocument#getResource()
*/
@Override
public IResource getIResource() {
return this.resource;
}
}