Skip to content

Commit

Permalink
only set derived if needed
Browse files Browse the repository at this point in the history
  • Loading branch information
JPMoresmau committed Sep 26, 2013
1 parent 7675659 commit b792e3c
Show file tree
Hide file tree
Showing 5 changed files with 13 additions and 6 deletions.
Expand Up @@ -4,6 +4,7 @@
import net.sf.eclipsefp.haskell.core.partitioned.runner.AlexRunner;
import net.sf.eclipsefp.haskell.core.partitioned.runner.ProcessorError;
import net.sf.eclipsefp.haskell.util.FileUtil;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IResourceDelta;
import org.eclipse.core.resources.IResourceDeltaVisitor;
Expand Down Expand Up @@ -35,7 +36,10 @@ public boolean visit( final IResourceDelta delta ) throws CoreException {
// Set derived file as derived
resource.getProject().refreshLocal( IResource.DEPTH_INFINITE, null );
IPath derivedPath = resource.getProjectRelativePath().removeFileExtension().addFileExtension( FileUtil.EXTENSION_HS );
resource.getProject().getFile( derivedPath ).setDerived( true,new NullProgressMonitor() );
IFile f=resource.getProject().getFile( derivedPath );
if (f.isAccessible() && !f.isDerived()){
f.setDerived( true,new NullProgressMonitor() );
}
}
}
return true;
Expand Down
Expand Up @@ -28,7 +28,7 @@ public boolean visit( final IResource resource ) throws CoreException {
resource.getProject().refreshLocal( IResource.DEPTH_INFINITE, null );
IPath derivedPath = resource.getProjectRelativePath().removeFileExtension().addFileExtension( FileUtil.EXTENSION_HS );
IFile f=resource.getProject().getFile( derivedPath );
if (f.isAccessible()){
if (f.isAccessible() && !f.isDerived()){
f.setDerived( true,new NullProgressMonitor() );
}
}
Expand Down
Expand Up @@ -4,6 +4,7 @@
import net.sf.eclipsefp.haskell.core.partitioned.runner.HappyRunner;
import net.sf.eclipsefp.haskell.core.partitioned.runner.ProcessorError;
import net.sf.eclipsefp.haskell.util.FileUtil;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IResourceDelta;
import org.eclipse.core.resources.IResourceDeltaVisitor;
Expand Down Expand Up @@ -35,7 +36,10 @@ public boolean visit( final IResourceDelta delta ) throws CoreException {
// Set derived file as derived
resource.getProject().refreshLocal( IResource.DEPTH_INFINITE, null );
IPath derivedPath = resource.getProjectRelativePath().removeFileExtension().addFileExtension( FileUtil.EXTENSION_HS );
resource.getProject().getFile( derivedPath ).setDerived( true,new NullProgressMonitor() );
IFile f=resource.getProject().getFile( derivedPath );
if (f.isAccessible() && !f.isDerived()){
f.setDerived( true,new NullProgressMonitor() );
}
}
}
return true;
Expand Down
Expand Up @@ -28,7 +28,7 @@ public boolean visit( final IResource resource ) throws CoreException {
resource.getProject().refreshLocal( IResource.DEPTH_INFINITE, null );
IPath derivedPath = resource.getProjectRelativePath().removeFileExtension().addFileExtension( FileUtil.EXTENSION_HS );
IFile f=resource.getProject().getFile( derivedPath );
if (f.isAccessible()){
if (f.isAccessible() && !f.isDerived()){
f.setDerived( true,new NullProgressMonitor() );
}
}
Expand Down
Expand Up @@ -116,8 +116,7 @@ static void build(final IResource resource) throws CoreException{
IPath derivedPath = resource.getProjectRelativePath()
.removeFileExtension().addFileExtension( FileUtil.EXTENSION_HS );
IFile f=resource.getProject().getFile( derivedPath );
// file may not be created if they were errors
if (f.isAccessible()){
if (f.isAccessible() && !f.isDerived()){
f.setDerived( true,new NullProgressMonitor() );
}
}
Expand Down

0 comments on commit b792e3c

Please sign in to comment.