Merge two trees
Enrich this tree with a new one.
Enrich this tree with a new one.
a map representing the tree used to enrich this
a list of routing.Route that must be in this node
a new RouteTree
Find the first that match routing.Route#satisfy
Find the first that match routing.Route#satisfy
the path parts to use to find what rote match, must not be empty
a Some[Route] if there is someone that match, None otherwise
Find the proper routing.Route for a play.api.mvc.Request
Find the proper routing.Route for a play.api.mvc.Request
a play.api.mvc.Request to find the route
a scala.Some of routing.Route if there is someone that match, None otherwise
Merge this.mapTree with another one
Merge this.mapTree with another one
a map to merge in this
the map resulting of merge
Precondition:
The path start with / and can end with or without /: Correct: /one/two/three Correct: /one/two/three/ Incorrect: one/two/three Incorrect: one/two/three/
Precondition:
The path start with / and can end with or without /: Correct: /one/two/three Correct: /one/two/three/ Incorrect: one/two/three Incorrect: one/two/three/
limit the split quantity, 0 for no limit
a list of splited path by /