TPTP 4.2.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.probekit.builder
Class ProbeBuilder.CleanVisitor

java.lang.Object
  extended byorg.eclipse.tptp.platform.probekit.builder.ProbeBuilder.CleanVisitor
All Implemented Interfaces:
org.eclipse.core.resources.IResourceVisitor
Enclosing class:
ProbeBuilder

protected static class ProbeBuilder.CleanVisitor
extends java.lang.Object
implements org.eclipse.core.resources.IResourceVisitor

Resource visitor class for the clean() operation. During a clean, we remove the generated .java and .probescript files only. We need not remove the class files because the Java builder will reap them for us.

For the same reason, we do not bother to reap the .probe and .probescript files in the output directory. They're copied there by the Java builder and it happily manages cleaning them up, too.

Cleaning a .probe source file means removing it from the ProbeRegistry and removing any (error) markers.

Note that this is not also a resource delta visitor. Deltas are not interesting in this context. We just want to watch for our .probe and .probescript files to go by.


Field Summary
protected  org.eclipse.core.runtime.IProgressMonitor monitor
           
protected  IProbeCompiler probeCompiler
           
 
Constructor Summary
ProbeBuilder.CleanVisitor(org.eclipse.core.runtime.IProgressMonitor m)
           
 
Method Summary
 boolean visit(org.eclipse.core.resources.IResource r)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

probeCompiler

protected IProbeCompiler probeCompiler

monitor

protected org.eclipse.core.runtime.IProgressMonitor monitor
Constructor Detail

ProbeBuilder.CleanVisitor

public ProbeBuilder.CleanVisitor(org.eclipse.core.runtime.IProgressMonitor m)
Method Detail

visit

public boolean visit(org.eclipse.core.resources.IResource r)
              throws org.eclipse.core.runtime.CoreException
Specified by:
visit in interface org.eclipse.core.resources.IResourceVisitor
Throws:
org.eclipse.core.runtime.CoreException

TPTP 4.2.0 Platform Project
Public API Specification