org.eclipse.tptp.platform.profile.server.core.internal
Class PICollectorFiltration

java.lang.Object
  org.eclipse.tptp.platform.profile.server.core.internal.PICollectorFiltration

All Implemented Interfaces:

org.eclipse.tptp.trace.ui.provisional.launcher.ICollectorFiltration

public class PICollectorFiltration
extends java.lang.Object
implements org.eclipse.tptp.trace.ui.provisional.launcher.ICollectorFiltration

This filtration class is used to filter the JVMPI data collector if the targeted host uses JRE 6 and newer

Constructor Summary

PICollectorFiltration()

Method Summary

boolean

include(java.lang.String id, org.eclipse.debug.core.ILaunchConfiguration configuration, java.lang.Object context)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PICollectorFiltration

public PICollectorFiltration()

Method Detail

include

public boolean include(java.lang.String id,
                       org.eclipse.debug.core.ILaunchConfiguration configuration,
                       java.lang.Object context)

Specified by:

include in interface org.eclipse.tptp.trace.ui.provisional.launcher.ICollectorFiltration