Control Points

The standard behavior of a breakpoint is to interrupt leap operations when a situation matching its pattern is encountered. Kahina offers a range of non-standard breakpoint types for process automation. For each of the basic tracing commands, a corresponding breakpoint type exists. In analogy to the term breakpoint, these are called skip points, creep points, and fail points, and trigger the respective tracing command when their patterns are matched. This automation mechanism can greatly increase the efficiency of debugging, e.g. by telling the tracer to automatically skip over all applications of a phrase structure rule that can safely be assumed to contain no bugs.