Uses of Record Class
io.fluxzero.devserver.DevProblem
-
Uses of DevProblem in io.fluxzero.devserver
Methods in io.fluxzero.devserver that return types with arguments of type DevProblemModifier and TypeMethodDescriptionAgentChange.activeProblems()Returns the value of theactiveProblemsrecord component.AgentProblemPage.problems()Returns the value of theproblemsrecord component.DevDiagnostics.problems()Returns the value of theproblemsrecord component.Constructor parameters in io.fluxzero.devserver with type arguments of type DevProblemModifierConstructorDescriptionAgentProblemPage(AgentCursor cursor, List<DevProblem> problems, boolean truncated) Creates an instance of aAgentProblemPagerecord class.DevDiagnostics(String sessionId, int activeCount, int errors, int warnings, List<DevProblem> problems, long lastEventSequence, long updatedAt) Creates an instance of aDevDiagnosticsrecord class.