Uses of Record Class
io.fluxzero.devserver.DevSession

Uses of DevSession in io.fluxzero.devserver

Methods in io.fluxzero.devserver that return DevSession

Modifier and Type	Method	Description
DevSession	AgentStatus.session()	Returns the value of the session record component.
DevSession	DevServer.session()

Constructors in io.fluxzero.devserver with parameters of type DevSession

Modifier	Constructor	Description
	AgentStatus(AgentCursor cursor, DevSession session, int activeProblems, int errors, int warnings)	Creates an instance of a AgentStatus record class.