DefaultSessionIdManager

Source file "org/eclipse/jetty/server/session/DefaultSessionIdManager.java" was not found during generation of report.

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total709 of 7090%90 of 900%71711551552626
newSessionId(long)1660%220%1212282811
doStart()860%120%77161611
isIdInUse(String)830%120%77191911
newSessionId(HttpServletRequest, long)460%100%66131311
getExtendedId(String, HttpServletRequest)400%60%447711
getSessionHandlers()400%80%557711
initRandom()390%20%229911
renewSessionId(String, String, HttpServletRequest)290%20%225511
setWorkerName(String)280%60%448811
expireAll(String)280%40%336611
invalidateAll(String)160%20%224411
toString()150%n/a111111
setSessionHouseKeeper(HouseKeeper)130%n/a114411
doStop()130%20%225511
getId(String)130%20%222211
DefaultSessionIdManager(Server)90%n/a114411
static {...}80%n/a112211
DefaultSessionIdManager(Server, Random)70%n/a113311
setRandom(Random)70%n/a113311
setServer(Server)40%n/a112211
setReseed(long)40%n/a112211
getServer()30%n/a111111
getSessionHouseKeeper()30%n/a111111
getWorkerName()30%n/a111111
getRandom()30%n/a111111
getReseed()30%n/a111111