Next: Discriminated_Records, Previous: Default_Parameters, Up: Predefined Rules
Direct_Calls_To_PrimitivesFlags any non-dispatching call to a dispatching primitive operation, except for the common idiom where a primitive subprogram for a tagged type directly calls the same primitive subprogram of the type's immediate ancestor.
This rule has no parameters.