Predicate Http::routeHandlerStep
Holds if there exists a step from pred to succ for a RouteHandler - beyond the usual steps defined by TypeTracking.
Import path
import javascriptpredicate routeHandlerStep(SourceNode pred, SourceNode succ)Holds if there exists a step from pred to succ for a RouteHandler - beyond the usual steps defined by TypeTracking.
import javascriptpredicate routeHandlerStep(SourceNode pred, SourceNode succ)