Changeset 3638 for devel-tools


Ignore:
Timestamp:
Mar 31, 2008, 2:29:29 PM (13 years ago)
Author:
yura
Message:
  • At initialization setup step through filters.
Location:
devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/core/RfpCore.java

    r3628 r3638  
    2626    public static final String MARKER_ID = "org.refal.rfpdt.core.rfpProblemMarker";
    2727    public static final String RFP_CONTAINER = "org.refal.rfpdt.launching.rfpContainer";
    28     public static final String RUNTIME_FILTER = "org.refal.rfpdt.launching.runtimeFilter";
    2928
    3029    /**
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/launching/RfpLaunchConfigurationDelegate.java

    r3628 r3638  
    1616
    1717public class RfpLaunchConfigurationDelegate extends JavaLaunchDelegate {
    18     private static String[] filter = { "org.refal.plus.*" };
    19 
    20     private static boolean isRuntimeFilter (ILaunchConfiguration configuration) throws CoreException {
    21         return configuration.getAttribute(RfpCore.RUNTIME_FILTER, true);
    22     }
    23 
    24     protected void prepareStopInMain (ILaunchConfiguration configuration) throws CoreException {
    25         if (isStopInMain(configuration) || isRuntimeFilter(configuration))
    26             DebugPlugin.getDefault().addDebugEventListener(this);
    27     }
    28 
    2918    /**
    3019     * Handles the "stop-in-Main" option.
     
    4029                    if (configuration != null) {
    4130                        try {
    42                             if (configuration.getAttribute(RfpCore.RUNTIME_FILTER, true)) {
    43                                 target.setStepFiltersEnabled(true);
    44                                 String[] oldFilter = target.getStepFilters();
    45                                 String[] newFilter = new String[oldFilter.length + filter.length];
    46                                 System.arraycopy(oldFilter, 0, newFilter, 0, oldFilter.length);
    47                                 System.arraycopy(filter, 0, newFilter, oldFilter.length, filter.length);
    48                                 target.setStepFilters(newFilter);
    49                             }
    5031                            if (isStopInMain(configuration)) {
    5132                                String mainType = getMainTypeName(configuration);
     
    5637                                    bp.setPersisted(false);
    5738                                    target.breakpointAdded(bp);
     39                                    DebugPlugin.getDefault().removeDebugEventListener(this);
    5840                                }
    5941                            }
    60                             DebugPlugin.getDefault().removeDebugEventListener(this);
    6142                        } catch (CoreException e) {
    6243                            RfpCore.log(e);
Note: See TracChangeset for help on using the changeset viewer.