codeset 0.1.0a1__py3-none-any.whl

codeset/resources/sessions/verify.py

@@ -0,0 +1,248 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+import httpx
+
+from ..._types import NOT_GIVEN, Body, Query, Headers, NotGiven
+from ..._compat import cached_property
+from ..._resource import SyncAPIResource, AsyncAPIResource
+from ..._response import (
+    to_raw_response_wrapper,
+    to_streamed_response_wrapper,
+    async_to_raw_response_wrapper,
+    async_to_streamed_response_wrapper,
+)
+from ..._base_client import make_request_options
+from ...types.sessions.verify_start_response import VerifyStartResponse
+from ...types.sessions.verify_status_response import VerifyStatusResponse
+
+__all__ = ["VerifyResource", "AsyncVerifyResource"]
+
+
+class VerifyResource(SyncAPIResource):
+    @cached_property
+    def with_raw_response(self) -> VerifyResourceWithRawResponse:
+        """
+        This property can be used as a prefix for any HTTP method call to return
+        the raw response object instead of the parsed content.
+
+        For more information, see https://www.github.com/codeset-ai/codeset-sdk#accessing-raw-response-data-eg-headers
+        """
+        return VerifyResourceWithRawResponse(self)
+
+    @cached_property
+    def with_streaming_response(self) -> VerifyResourceWithStreamingResponse:
+        """
+        An alternative to `.with_raw_response` that doesn't eagerly read the response body.
+
+        For more information, see https://www.github.com/codeset-ai/codeset-sdk#with_streaming_response
+        """
+        return VerifyResourceWithStreamingResponse(self)
+
+    def start(
+        self,
+        session_id: str,
+        *,
+        # Use the following arguments if you need to pass additional parameters to the API that aren't available via kwargs.
+        # The extra values given here take precedence over values defined on the client or passed to this method.
+        extra_headers: Headers | None = None,
+        extra_query: Query | None = None,
+        extra_body: Body | None = None,
+        timeout: float | httpx.Timeout | None | NotGiven = NOT_GIVEN,
+    ) -> VerifyStartResponse:
+        """
+        Start verification (oracle) in a session - async
+
+        Args:
+          extra_headers: Send extra headers
+
+          extra_query: Add additional query parameters to the request
+
+          extra_body: Add additional JSON properties to the request
+
+          timeout: Override the client-level default timeout for this request, in seconds
+        """
+        if not session_id:
+            raise ValueError(f"Expected a non-empty value for `session_id` but received {session_id!r}")
+        return self._post(
+            f"/sessions/{session_id}/verify",
+            options=make_request_options(
+                extra_headers=extra_headers, extra_query=extra_query, extra_body=extra_body, timeout=timeout
+            ),
+            cast_to=VerifyStartResponse,
+        )
+
+    def status(
+        self,
+        job_id: str,
+        *,
+        session_id: str,
+        # Use the following arguments if you need to pass additional parameters to the API that aren't available via kwargs.
+        # The extra values given here take precedence over values defined on the client or passed to this method.
+        extra_headers: Headers | None = None,
+        extra_query: Query | None = None,
+        extra_body: Body | None = None,
+        timeout: float | httpx.Timeout | None | NotGiven = NOT_GIVEN,
+    ) -> VerifyStatusResponse:
+        """
+        Get a verification job, including the result if it's completed
+
+        Args:
+          extra_headers: Send extra headers
+
+          extra_query: Add additional query parameters to the request
+
+          extra_body: Add additional JSON properties to the request
+
+          timeout: Override the client-level default timeout for this request, in seconds
+        """
+        if not session_id:
+            raise ValueError(f"Expected a non-empty value for `session_id` but received {session_id!r}")
+        if not job_id:
+            raise ValueError(f"Expected a non-empty value for `job_id` but received {job_id!r}")
+        return self._get(
+            f"/sessions/{session_id}/verify/{job_id}",
+            options=make_request_options(
+                extra_headers=extra_headers, extra_query=extra_query, extra_body=extra_body, timeout=timeout
+            ),
+            cast_to=VerifyStatusResponse,
+        )
+
+
+class AsyncVerifyResource(AsyncAPIResource):
+    @cached_property
+    def with_raw_response(self) -> AsyncVerifyResourceWithRawResponse:
+        """
+        This property can be used as a prefix for any HTTP method call to return
+        the raw response object instead of the parsed content.
+
+        For more information, see https://www.github.com/codeset-ai/codeset-sdk#accessing-raw-response-data-eg-headers
+        """
+        return AsyncVerifyResourceWithRawResponse(self)
+
+    @cached_property
+    def with_streaming_response(self) -> AsyncVerifyResourceWithStreamingResponse:
+        """
+        An alternative to `.with_raw_response` that doesn't eagerly read the response body.
+
+        For more information, see https://www.github.com/codeset-ai/codeset-sdk#with_streaming_response
+        """
+        return AsyncVerifyResourceWithStreamingResponse(self)
+
+    async def start(
+        self,
+        session_id: str,
+        *,
+        # Use the following arguments if you need to pass additional parameters to the API that aren't available via kwargs.
+        # The extra values given here take precedence over values defined on the client or passed to this method.
+        extra_headers: Headers | None = None,
+        extra_query: Query | None = None,
+        extra_body: Body | None = None,
+        timeout: float | httpx.Timeout | None | NotGiven = NOT_GIVEN,
+    ) -> VerifyStartResponse:
+        """
+        Start verification (oracle) in a session - async
+
+        Args:
+          extra_headers: Send extra headers
+
+          extra_query: Add additional query parameters to the request
+
+          extra_body: Add additional JSON properties to the request
+
+          timeout: Override the client-level default timeout for this request, in seconds
+        """
+        if not session_id:
+            raise ValueError(f"Expected a non-empty value for `session_id` but received {session_id!r}")
+        return await self._post(
+            f"/sessions/{session_id}/verify",
+            options=make_request_options(
+                extra_headers=extra_headers, extra_query=extra_query, extra_body=extra_body, timeout=timeout
+            ),
+            cast_to=VerifyStartResponse,
+        )
+
+    async def status(
+        self,
+        job_id: str,
+        *,
+        session_id: str,
+        # Use the following arguments if you need to pass additional parameters to the API that aren't available via kwargs.
+        # The extra values given here take precedence over values defined on the client or passed to this method.
+        extra_headers: Headers | None = None,
+        extra_query: Query | None = None,
+        extra_body: Body | None = None,
+        timeout: float | httpx.Timeout | None | NotGiven = NOT_GIVEN,
+    ) -> VerifyStatusResponse:
+        """
+        Get a verification job, including the result if it's completed
+
+        Args:
+          extra_headers: Send extra headers
+
+          extra_query: Add additional query parameters to the request
+
+          extra_body: Add additional JSON properties to the request
+
+          timeout: Override the client-level default timeout for this request, in seconds
+        """
+        if not session_id:
+            raise ValueError(f"Expected a non-empty value for `session_id` but received {session_id!r}")
+        if not job_id:
+            raise ValueError(f"Expected a non-empty value for `job_id` but received {job_id!r}")
+        return await self._get(
+            f"/sessions/{session_id}/verify/{job_id}",
+            options=make_request_options(
+                extra_headers=extra_headers, extra_query=extra_query, extra_body=extra_body, timeout=timeout
+            ),
+            cast_to=VerifyStatusResponse,
+        )
+
+
+class VerifyResourceWithRawResponse:
+    def __init__(self, verify: VerifyResource) -> None:
+        self._verify = verify
+
+        self.start = to_raw_response_wrapper(
+            verify.start,
+        )
+        self.status = to_raw_response_wrapper(
+            verify.status,
+        )
+
+
+class AsyncVerifyResourceWithRawResponse:
+    def __init__(self, verify: AsyncVerifyResource) -> None:
+        self._verify = verify
+
+        self.start = async_to_raw_response_wrapper(
+            verify.start,
+        )
+        self.status = async_to_raw_response_wrapper(
+            verify.status,
+        )
+
+
+class VerifyResourceWithStreamingResponse:
+    def __init__(self, verify: VerifyResource) -> None:
+        self._verify = verify
+
+        self.start = to_streamed_response_wrapper(
+            verify.start,
+        )
+        self.status = to_streamed_response_wrapper(
+            verify.status,
+        )
+
+
+class AsyncVerifyResourceWithStreamingResponse:
+    def __init__(self, verify: AsyncVerifyResource) -> None:
+        self._verify = verify
+
+        self.start = async_to_streamed_response_wrapper(
+            verify.start,
+        )
+        self.status = async_to_streamed_response_wrapper(
+            verify.status,
+        )

codeset/types/__init__.py

@@ -0,0 +1,19 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+from .session import Session as Session
+from .error_info import ErrorInfo as ErrorInfo
+from .container_info import ContainerInfo as ContainerInfo
+from .session_status import SessionStatus as SessionStatus
+from .sample_list_response import SampleListResponse as SampleListResponse
+from .health_check_response import HealthCheckResponse as HealthCheckResponse
+from .session_create_params import SessionCreateParams as SessionCreateParams
+from .session_list_response import SessionListResponse as SessionListResponse
+from .sample_download_params import SampleDownloadParams as SampleDownloadParams
+from .session_close_response import SessionCloseResponse as SessionCloseResponse
+from .session_create_response import SessionCreateResponse as SessionCreateResponse
+from .session_apply_diff_params import SessionApplyDiffParams as SessionApplyDiffParams
+from .session_apply_diff_response import SessionApplyDiffResponse as SessionApplyDiffResponse
+from .session_execute_command_params import SessionExecuteCommandParams as SessionExecuteCommandParams
+from .session_execute_command_response import SessionExecuteCommandResponse as SessionExecuteCommandResponse

codeset/types/container_info.py

@@ -0,0 +1,30 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from datetime import datetime
+
+from .._models import BaseModel
+
+__all__ = ["ContainerInfo"]
+
+
+class ContainerInfo(BaseModel):
+    api_url: str
+    """URL of the container API."""
+
+    container_ip: str
+    """IP address of the container."""
+
+    container_name: str
+    """Name of the container."""
+
+    created_at: datetime
+    """Timestamp when the container was created (UTC)."""
+
+    expires_at: datetime
+    """Timestamp when the container will expire (UTC)."""
+
+    sample_id: str
+    """Sample ID of the container."""
+
+    status: str
+    """Status of the container."""

codeset/types/error_info.py

@@ -0,0 +1,13 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from .._models import BaseModel
+
+__all__ = ["ErrorInfo"]
+
+
+class ErrorInfo(BaseModel):
+    code: str
+    """A unique error code for programmatic handling."""
+
+    message: str
+    """A human-readable error message."""

codeset/types/health_check_response.py

@@ -0,0 +1,19 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from .._models import BaseModel
+
+__all__ = ["HealthCheckResponse"]
+
+
+class HealthCheckResponse(BaseModel):
+    service: str
+    """Name of the service"""
+
+    status: str
+    """Health status of the service"""
+
+    timestamp: str
+    """Timestamp when the health check was performed (ISO format)"""
+
+    version: str
+    """Version of the service"""

codeset/types/sample_download_params.py

@@ -0,0 +1,14 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+from typing import Optional
+from typing_extensions import Required, TypedDict
+
+__all__ = ["SampleDownloadParams"]
+
+
+class SampleDownloadParams(TypedDict, total=False):
+    dataset: Required[str]
+
+    version: Optional[int]

codeset/types/sample_list_response.py

@@ -0,0 +1,41 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from typing import List, Optional
+from datetime import datetime
+from typing_extensions import Literal, TypeAlias
+
+from .._models import BaseModel
+
+__all__ = ["SampleListResponse", "SampleListResponseItem"]
+
+
+class SampleListResponseItem(BaseModel):
+    language: str
+    """Primary programming language of the sample."""
+
+    sample_id: str
+    """Unique identifier for the sample (e.g., 'traccar-1')."""
+
+    verifier: Literal["test_suite", "static_analysis", "linter", "custom"]
+    """The type of verifier used for this sample."""
+
+    created_at: Optional[datetime] = None
+    """Timestamp when the sample was created (UTC)."""
+
+    dataset: Optional[str] = None
+    """Dataset name for the sample."""
+
+    description: Optional[str] = None
+    """A brief description of the sample."""
+
+    latest: Optional[bool] = None
+    """Whether this is the latest version."""
+
+    version: Optional[int] = None
+    """Version number of the sample."""
+
+    version_description: Optional[str] = None
+    """Description of this version."""
+
+
+SampleListResponse: TypeAlias = List[SampleListResponseItem]

codeset/types/session.py

@@ -0,0 +1,37 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from typing import Optional
+from datetime import datetime
+
+from .._models import BaseModel
+from .error_info import ErrorInfo
+from .container_info import ContainerInfo
+from .session_status import SessionStatus
+
+__all__ = ["Session"]
+
+
+class Session(BaseModel):
+    created_at: datetime
+    """Timestamp when the session was created (UTC)."""
+
+    expires_at: datetime
+    """Timestamp when the session will expire (UTC)."""
+
+    last_activity_at: datetime
+    """Timestamp of last activity in the session (UTC)."""
+
+    sample_id: str
+    """Identifier of the sample being used for the session."""
+
+    session_id: str
+    """Unique identifier for the session."""
+
+    status: SessionStatus
+    """Current status of the session."""
+
+    container_info: Optional[ContainerInfo] = None
+    """Information about a container."""
+
+    error: Optional[ErrorInfo] = None
+    """Details about an error that occurred during job processing."""

codeset/types/session_apply_diff_params.py

@@ -0,0 +1,12 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+from typing_extensions import Required, TypedDict
+
+__all__ = ["SessionApplyDiffParams"]
+
+
+class SessionApplyDiffParams(TypedDict, total=False):
+    diff: Required[str]
+    """The diff to be applied, in unified format."""

codeset/types/session_apply_diff_response.py

@@ -0,0 +1,13 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from .._models import BaseModel
+
+__all__ = ["SessionApplyDiffResponse"]
+
+
+class SessionApplyDiffResponse(BaseModel):
+    message: str
+    """Details about the diff application."""
+
+    success: bool
+    """Whether the diff was applied successfully."""

codeset/types/session_close_response.py

@@ -0,0 +1,10 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from .._models import BaseModel
+
+__all__ = ["SessionCloseResponse"]
+
+
+class SessionCloseResponse(BaseModel):
+    message: str
+    """Success message confirming session deletion"""

codeset/types/session_create_params.py

@@ -0,0 +1,15 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+from typing_extensions import Required, TypedDict
+
+__all__ = ["SessionCreateParams"]
+
+
+class SessionCreateParams(TypedDict, total=False):
+    sample_id: Required[str]
+    """Identifier of the sample to use for this session."""
+
+    ttl_minutes: int
+    """Time to live for the session in minutes (default: 30)."""

codeset/types/session_create_response.py

@@ -0,0 +1,19 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from datetime import datetime
+
+from .._models import BaseModel
+from .session_status import SessionStatus
+
+__all__ = ["SessionCreateResponse"]
+
+
+class SessionCreateResponse(BaseModel):
+    expires_at: datetime
+    """Timestamp when the session will expire (UTC)."""
+
+    session_id: str
+    """Unique identifier for the created session."""
+
+    status: SessionStatus
+    """Initial status of the session."""

codeset/types/session_execute_command_params.py

@@ -0,0 +1,15 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+from typing_extensions import Required, TypedDict
+
+__all__ = ["SessionExecuteCommandParams"]
+
+
+class SessionExecuteCommandParams(TypedDict, total=False):
+    command: Required[str]
+    """The bash command to execute."""
+
+    command_timeout: int
+    """Timeout for command execution in seconds (default: 300)."""

codeset/types/session_execute_command_response.py

@@ -0,0 +1,19 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from .._models import BaseModel
+
+__all__ = ["SessionExecuteCommandResponse"]
+
+
+class SessionExecuteCommandResponse(BaseModel):
+    execution_time_seconds: float
+    """Execution time in seconds."""
+
+    exit_code: int
+    """Exit code of the executed command."""
+
+    stderr: str
+    """Standard error from the command."""
+
+    stdout: str
+    """Standard output from the command."""

codeset/types/session_list_response.py

@@ -0,0 +1,18 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from typing import List
+
+from .session import Session
+from .._models import BaseModel
+
+__all__ = ["SessionListResponse"]
+
+
+class SessionListResponse(BaseModel):
+    has_more: bool
+    """Indicates if more pages of results are available."""
+
+    sessions: List[Session]
+
+    total_count: int
+    """Total number of sessions returned."""

codeset/types/session_status.py

@@ -0,0 +1,7 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from typing_extensions import Literal, TypeAlias
+
+__all__ = ["SessionStatus"]
+
+SessionStatus: TypeAlias = Literal["creating", "ready", "busy", "error", "closed"]

codeset/types/sessions/__init__.py

@@ -0,0 +1,7 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from __future__ import annotations
+
+from .job_status import JobStatus as JobStatus
+from .verify_start_response import VerifyStartResponse as VerifyStartResponse
+from .verify_status_response import VerifyStatusResponse as VerifyStatusResponse

codeset/types/sessions/job_status.py

@@ -0,0 +1,7 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from typing_extensions import Literal, TypeAlias
+
+__all__ = ["JobStatus"]
+
+JobStatus: TypeAlias = Literal["pending", "starting", "applying_diff", "running", "completed", "error", "cancelled"]

codeset/types/sessions/verify_start_response.py

@@ -0,0 +1,19 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from datetime import datetime
+
+from ..._models import BaseModel
+from .job_status import JobStatus
+
+__all__ = ["VerifyStartResponse"]
+
+
+class VerifyStartResponse(BaseModel):
+    job_id: str
+    """Unique identifier for the verification job."""
+
+    started_at: datetime
+    """Timestamp when verification started (UTC)."""
+
+    status: JobStatus
+    """Initial status of the verification job."""

codeset/types/sessions/verify_status_response.py

@@ -0,0 +1,66 @@
+# File generated from our OpenAPI spec by Stainless. See CONTRIBUTING.md for details.
+
+from typing import Optional
+from datetime import datetime
+from typing_extensions import Literal
+
+from ..._models import BaseModel
+from .job_status import JobStatus
+from ..error_info import ErrorInfo
+from ..container_info import ContainerInfo
+
+__all__ = ["VerifyStatusResponse", "Result"]
+
+
+class Result(BaseModel):
+    execution_duration_seconds: float
+    """Total execution time for the verification step."""
+
+    failed: int
+    """Number of tests that failed."""
+
+    is_success: bool
+    """Overall success status of the verification."""
+
+    passed: int
+    """Number of tests that passed."""
+
+    skipped: int
+    """Number of tests that were skipped."""
+
+    total: int
+    """Total number of tests executed."""
+
+    tool: Optional[Literal["test_suite"]] = None
+
+
+class VerifyStatusResponse(BaseModel):
+    created_at: datetime
+    """Timestamp when the job was created (UTC)."""
+
+    job_id: str
+    """Unique identifier for the job."""
+
+    sample_id: str
+    """Identifier of the sample being used for verification."""
+
+    session_id: str
+    """Session identifier for this job."""
+
+    status: JobStatus
+    """Current status of the job."""
+
+    completed_at: Optional[datetime] = None
+    """Timestamp when the job completed (UTC)."""
+
+    container_info: Optional[ContainerInfo] = None
+    """Information about a container."""
+
+    error: Optional[ErrorInfo] = None
+    """Details about an error that occurred during job processing."""
+
+    result: Optional[Result] = None
+    """Result from a test suite verifier."""
+
+    started_at: Optional[datetime] = None
+    """Timestamp when the job processing started (UTC)."""