Ticket #223 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

Cannot set breakpoint an role-level guard predicate

Reported by: stephan Owned by:
Priority: major Milestone: OTDT_1.2.8
Component: debug Version: 1.2.7
Keywords: Cc:

Description

Using the OTSample-Flightbonus I tried to set a breakpoint to the guard predicate of role Subscriber, i.e., line 3 of this snippet:

public class Subscriber playedBy flightbooking.model.Passenger 
        // adapt only registered passengers (guard predicate):
        base when (FlightBonus.this.hasRole(base)) 
{
        // Callin method binding:
        buy     <- replace book;

        // Callout method binding
        String getName() -> String getName();
};

However, the debugger won't let me and instead sets the breakpoint to the callin binding below.

Change History

Changed 3 years ago by stephan

  • status changed from new to closed
  • resolution set to fixed
  • milestone set to OTDT_1.2.8

Fixed in r19761:

  • org.objectteams.otdt.debug.ui.internal.actions.OTValidBreakpointLocationLocator needs to traverse guards, too.
Note: See TracTickets for help on using tickets.