@@ -824,58 +824,58 @@ module Routing {
824824 }
825825
826826 /**
827- * Holds if the (resource, method , path, action) combination would be generated by a call to `resources :<resource>`.
827+ * Holds if the (resource, httpMethod , path, action) combination would be generated by a call to `resources :<resource>`.
828828 */
829829 bindingset [ resource]
830830 private predicate isDefaultResourceRoute (
831- string resource , string method , string path , string action
831+ string resource , string httpMethod , string path , string action
832832 ) {
833833 action = "create" and
834- ( method = "post" and path = "/" + resource )
834+ ( httpMethod = "post" and path = "/" + resource )
835835 or
836836 action = "index" and
837- ( method = "get" and path = "/" + resource )
837+ ( httpMethod = "get" and path = "/" + resource )
838838 or
839839 action = "new" and
840- ( method = "get" and path = "/" + resource + "/new" )
840+ ( httpMethod = "get" and path = "/" + resource + "/new" )
841841 or
842842 action = "edit" and
843- ( method = "get" and path = "/" + resource + ":id/edit" )
843+ ( httpMethod = "get" and path = "/" + resource + ":id/edit" )
844844 or
845845 action = "show" and
846- ( method = "get" and path = "/" + resource + "/:id" )
846+ ( httpMethod = "get" and path = "/" + resource + "/:id" )
847847 or
848848 action = "update" and
849- ( method in [ "put" , "patch" ] and path = "/" + resource + "/:id" )
849+ ( httpMethod in [ "put" , "patch" ] and path = "/" + resource + "/:id" )
850850 or
851851 action = "destroy" and
852- ( method = "delete" and path = "/" + resource + "/:id" )
852+ ( httpMethod = "delete" and path = "/" + resource + "/:id" )
853853 }
854854
855855 /**
856- * Holds if the (resource, method , path, action) combination would be generated by a call to `resource :<resource>`.
856+ * Holds if the (resource, httpMethod , path, action) combination would be generated by a call to `resource :<resource>`.
857857 */
858858 bindingset [ resource]
859859 private predicate isDefaultSingularResourceRoute (
860- string resource , string method , string path , string action
860+ string resource , string httpMethod , string path , string action
861861 ) {
862862 action = "create" and
863- ( method = "post" and path = "/" + resource )
863+ ( httpMethod = "post" and path = "/" + resource )
864864 or
865865 action = "new" and
866- ( method = "get" and path = "/" + resource + "/new" )
866+ ( httpMethod = "get" and path = "/" + resource + "/new" )
867867 or
868868 action = "edit" and
869- ( method = "get" and path = "/" + resource + "/edit" )
869+ ( httpMethod = "get" and path = "/" + resource + "/edit" )
870870 or
871871 action = "show" and
872- ( method = "get" and path = "/" + resource )
872+ ( httpMethod = "get" and path = "/" + resource )
873873 or
874874 action = "update" and
875- ( method in [ "put" , "patch" ] and path = "/" + resource )
875+ ( httpMethod in [ "put" , "patch" ] and path = "/" + resource )
876876 or
877877 action = "destroy" and
878- ( method = "delete" and path = "/" + resource )
878+ ( httpMethod = "delete" and path = "/" + resource )
879879 }
880880
881881 /**
0 commit comments