mirror of
https://github.com/servo/servo
synced 2026-05-14 10:56:44 +02:00
cae0752676
Follow up of #43526. This addresses Nico's comment: https://github.com/servo/servo/pull/43526#issuecomment-4104953308 - `bluetooth_traits` -> `servo_bluetooth_traits` - `base` -> `servo_base` - `bluetooth` -> `servo_bluetooth` - `background_hang_monitor` -> `servo_background_hang_monitor` Testing: This should not change any behaviour. --------- Signed-off-by: Euclid Ye <yezhizhenjiakang@gmail.com>
55 lines
1.7 KiB
Rust
55 lines
1.7 KiB
Rust
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
|
|
|
|
//! IPC messages that are sent to the ScriptThread.
|
|
|
|
use serde::{Deserialize, Serialize};
|
|
use servo_base::id::PipelineId;
|
|
use wgpu_core::id::{
|
|
AdapterId, BindGroupId, BindGroupLayoutId, BufferId, CommandBufferId, ComputePassEncoderId,
|
|
ComputePipelineId, DeviceId, PipelineLayoutId, QuerySetId, RenderBundleId, RenderPassEncoderId,
|
|
RenderPipelineId, SamplerId, ShaderModuleId, StagingBufferId, SurfaceId, TextureId,
|
|
TextureViewId,
|
|
};
|
|
|
|
use crate::{DeviceLostReason, Error, WebGPUDevice};
|
|
|
|
#[derive(Clone, Debug, Deserialize, Serialize)]
|
|
pub enum WebGPUMsg {
|
|
FreeAdapter(AdapterId),
|
|
FreeDevice {
|
|
device_id: DeviceId,
|
|
pipeline_id: PipelineId,
|
|
},
|
|
FreeBuffer(BufferId),
|
|
FreePipelineLayout(PipelineLayoutId),
|
|
FreeComputePipeline(ComputePipelineId),
|
|
FreeRenderPipeline(RenderPipelineId),
|
|
FreeBindGroup(BindGroupId),
|
|
FreeBindGroupLayout(BindGroupLayoutId),
|
|
FreeCommandBuffer(CommandBufferId),
|
|
FreeTexture(TextureId),
|
|
FreeTextureView(TextureViewId),
|
|
FreeSampler(SamplerId),
|
|
FreeSurface(SurfaceId),
|
|
FreeShaderModule(ShaderModuleId),
|
|
FreeRenderBundle(RenderBundleId),
|
|
FreeStagingBuffer(StagingBufferId),
|
|
FreeQuerySet(QuerySetId),
|
|
FreeComputePass(ComputePassEncoderId),
|
|
FreeRenderPass(RenderPassEncoderId),
|
|
UncapturedError {
|
|
device: WebGPUDevice,
|
|
pipeline_id: PipelineId,
|
|
error: Error,
|
|
},
|
|
DeviceLost {
|
|
device: WebGPUDevice,
|
|
pipeline_id: PipelineId,
|
|
reason: DeviceLostReason,
|
|
msg: String,
|
|
},
|
|
Exit,
|
|
}
|