001/*
002 * Copyright 2022-2026 Revetware LLC.
003 *
004 * Licensed under the Apache License, Version 2.0 (the "License");
005 * you may not use this file except in compliance with the License.
006 * You may obtain a copy of the License at
007 *
008 * http://www.apache.org/licenses/LICENSE-2.0
009 *
010 * Unless required by applicable law or agreed to in writing, software
011 * distributed under the License is distributed on an "AS IS" BASIS,
012 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013 * See the License for the specific language governing permissions and
014 * limitations under the License.
015 */
016
017package com.soklet;
018
019import org.jspecify.annotations.NonNull;
020import org.jspecify.annotations.Nullable;
021
022import javax.annotation.concurrent.Immutable;
023import java.time.Instant;
024
025import static java.util.Objects.requireNonNull;
026
027/**
028 * Immutable stored representation of an MCP session.
029 *
030 * @author <a href="https://www.revetkn.com">Mark Allen</a>
031 */
032@Immutable
033public record McpStoredSession(
034                @NonNull String sessionId,
035                @NonNull Class<? extends McpEndpoint> endpointClass,
036                @NonNull Instant createdAt,
037                @NonNull Instant lastActivityAt,
038                @NonNull Boolean initialized,
039                @NonNull Boolean initializedNotificationReceived,
040                @Nullable String protocolVersion,
041                @Nullable McpClientCapabilities clientCapabilities,
042                @Nullable McpNegotiatedCapabilities negotiatedCapabilities,
043                @NonNull McpSessionContext sessionContext,
044                @Nullable Instant terminatedAt,
045                @NonNull Long version
046) {
047        public McpStoredSession {
048                requireNonNull(sessionId);
049                requireNonNull(endpointClass);
050                requireNonNull(createdAt);
051                requireNonNull(lastActivityAt);
052                requireNonNull(initialized);
053                requireNonNull(initializedNotificationReceived);
054                requireNonNull(sessionContext);
055                requireNonNull(version);
056
057                if (version.longValue() < 0L)
058                        throw new IllegalArgumentException("Session version must be non-negative.");
059        }
060}