Compare commits
2 Commits
debug-grap
...
apple
| Author | SHA1 | Date | |
|---|---|---|---|
|
a9a9b410b7
|
|||
|
3f7ae1fa8b
|
1706
Cargo.lock
generated
1706
Cargo.lock
generated
File diff suppressed because it is too large
Load Diff
11
Cargo.toml
11
Cargo.toml
@@ -24,14 +24,3 @@ resolver = "2"
|
|||||||
#lto = true
|
#lto = true
|
||||||
strip = true
|
strip = true
|
||||||
codegen-units = 1
|
codegen-units = 1
|
||||||
|
|
||||||
[workspace.lints.rust]
|
|
||||||
# unsafe_code = "forbid"
|
|
||||||
# missing_docs = "warn"
|
|
||||||
# missing_debug_implementations = "warn"
|
|
||||||
single_use_lifetimes = "warn"
|
|
||||||
trivial_casts = "warn"
|
|
||||||
unused_lifetimes = "warn"
|
|
||||||
unused_qualifications = "warn"
|
|
||||||
# variant_size_differences = "warn"
|
|
||||||
unexpected_cfgs = "warn"
|
|
||||||
|
|||||||
10
docker/aarch64-apple-darwin.Dockerfile
Normal file
10
docker/aarch64-apple-darwin.Dockerfile
Normal file
@@ -0,0 +1,10 @@
|
|||||||
|
FROM docker.io/joseluisq/rust-linux-darwin-builder:2.0.0-beta.1-amd64 as build
|
||||||
|
COPY .cargo/config.toml .cargo/config.toml
|
||||||
|
COPY . .
|
||||||
|
RUN cargo build --bin strafe-client --release --target aarch64-apple-darwin
|
||||||
|
# RUN cargo build --release --target x86_64-apple-darwin
|
||||||
|
|
||||||
|
# isolate the binary
|
||||||
|
FROM scratch
|
||||||
|
COPY --from=build /root/src/target/aarch64-apple-darwin/release/strafe-client /
|
||||||
|
ENTRYPOINT ["/strafe-client"]
|
||||||
1
docker/build-apple.sh
Executable file
1
docker/build-apple.sh
Executable file
@@ -0,0 +1 @@
|
|||||||
|
docker build -f docker/aarch64-apple-darwin.Dockerfile . -o target/aarch64-apple-darwin/release/
|
||||||
@@ -11,7 +11,4 @@ id = { version = "0.1.0", registry = "strafesnet" }
|
|||||||
strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
||||||
strafesnet_session = { path = "../session", registry = "strafesnet" }
|
strafesnet_session = { path = "../session", registry = "strafesnet" }
|
||||||
strafesnet_settings = { path = "../settings", registry = "strafesnet" }
|
strafesnet_settings = { path = "../settings", registry = "strafesnet" }
|
||||||
wgpu = "28.0.0"
|
wgpu = "26.0.1"
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -5,7 +5,7 @@ use strafesnet_settings::settings;
|
|||||||
use strafesnet_session::session;
|
use strafesnet_session::session;
|
||||||
use strafesnet_common::model::{self, ColorId, NormalId, PolygonIter, PositionId, RenderConfigId, TextureCoordinateId, VertexId};
|
use strafesnet_common::model::{self, ColorId, NormalId, PolygonIter, PositionId, RenderConfigId, TextureCoordinateId, VertexId};
|
||||||
use wgpu::{util::DeviceExt,AstcBlock,AstcChannel};
|
use wgpu::{util::DeviceExt,AstcBlock,AstcChannel};
|
||||||
use crate::model::{self as model_graphics,IndexedGraphicsMeshOwnedRenderConfig,IndexedGraphicsMeshOwnedRenderConfigId,GraphicsMeshOwnedRenderConfig,GraphicsModelColor4,GraphicsModelOwned,GraphicsVertex,DebugGraphicsVertex};
|
use crate::model::{self as model_graphics,IndexedGraphicsMeshOwnedRenderConfig,IndexedGraphicsMeshOwnedRenderConfigId,GraphicsMeshOwnedRenderConfig,GraphicsModelColor4,GraphicsModelOwned,GraphicsVertex};
|
||||||
|
|
||||||
pub fn required_limits()->wgpu::Limits{
|
pub fn required_limits()->wgpu::Limits{
|
||||||
wgpu::Limits::default()
|
wgpu::Limits::default()
|
||||||
@@ -36,22 +36,12 @@ struct GraphicsModel{
|
|||||||
instance_count:u32,
|
instance_count:u32,
|
||||||
}
|
}
|
||||||
|
|
||||||
struct DebugGraphicsMesh{
|
|
||||||
indices:Indices,
|
|
||||||
vertex_buf:wgpu::Buffer,
|
|
||||||
}
|
|
||||||
struct DebugGraphicsModel{
|
|
||||||
debug_mesh_id:u32,
|
|
||||||
bind_group:wgpu::BindGroup,
|
|
||||||
}
|
|
||||||
|
|
||||||
struct GraphicsSamplers{
|
struct GraphicsSamplers{
|
||||||
repeat:wgpu::Sampler,
|
repeat:wgpu::Sampler,
|
||||||
}
|
}
|
||||||
|
|
||||||
struct GraphicsBindGroupLayouts{
|
struct GraphicsBindGroupLayouts{
|
||||||
model:wgpu::BindGroupLayout,
|
model:wgpu::BindGroupLayout,
|
||||||
debug_model:wgpu::BindGroupLayout,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
struct GraphicsBindGroups{
|
struct GraphicsBindGroups{
|
||||||
@@ -62,7 +52,6 @@ struct GraphicsBindGroups{
|
|||||||
struct GraphicsPipelines{
|
struct GraphicsPipelines{
|
||||||
skybox:wgpu::RenderPipeline,
|
skybox:wgpu::RenderPipeline,
|
||||||
model:wgpu::RenderPipeline,
|
model:wgpu::RenderPipeline,
|
||||||
debug:wgpu::RenderPipeline,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
struct GraphicsCamera{
|
struct GraphicsCamera{
|
||||||
@@ -105,7 +94,7 @@ impl GraphicsCamera{
|
|||||||
raw
|
raw
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl Default for GraphicsCamera{
|
impl std::default::Default for GraphicsCamera{
|
||||||
fn default()->Self{
|
fn default()->Self{
|
||||||
Self{
|
Self{
|
||||||
screen_size:glam::UVec2::ONE,
|
screen_size:glam::UVec2::ONE,
|
||||||
@@ -143,8 +132,6 @@ pub struct GraphicsState{
|
|||||||
camera_buf:wgpu::Buffer,
|
camera_buf:wgpu::Buffer,
|
||||||
temp_squid_texture_view:wgpu::TextureView,
|
temp_squid_texture_view:wgpu::TextureView,
|
||||||
models:Vec<GraphicsModel>,
|
models:Vec<GraphicsModel>,
|
||||||
debug_meshes:Vec<DebugGraphicsMesh>,
|
|
||||||
debug_models:Vec<DebugGraphicsModel>,
|
|
||||||
depth_view:wgpu::TextureView,
|
depth_view:wgpu::TextureView,
|
||||||
staging_belt:wgpu::util::StagingBelt,
|
staging_belt:wgpu::util::StagingBelt,
|
||||||
}
|
}
|
||||||
@@ -179,78 +166,8 @@ impl GraphicsState{
|
|||||||
self.camera.fov=user_settings.calculate_fov(1.0,&self.camera.screen_size).as_vec2();
|
self.camera.fov=user_settings.calculate_fov(1.0,&self.camera.screen_size).as_vec2();
|
||||||
}
|
}
|
||||||
pub fn generate_models(&mut self,device:&wgpu::Device,queue:&wgpu::Queue,map:&map::CompleteMap){
|
pub fn generate_models(&mut self,device:&wgpu::Device,queue:&wgpu::Queue,map:&map::CompleteMap){
|
||||||
//generate debug meshes, each debug model refers to one
|
|
||||||
self.debug_meshes=map.meshes.iter().map(|mesh|{
|
|
||||||
let vertices:Vec<DebugGraphicsVertex>=mesh.unique_vertices.iter().map(|vertex|{
|
|
||||||
DebugGraphicsVertex{
|
|
||||||
pos:mesh.unique_pos[vertex.pos.get() as usize].to_array().map(Into::into),
|
|
||||||
normal:mesh.unique_normal[vertex.normal.get() as usize].to_array().map(Into::into),
|
|
||||||
}
|
|
||||||
}).collect();
|
|
||||||
let vertex_buf=device.create_buffer_init(&wgpu::util::BufferInitDescriptor{
|
|
||||||
label:Some("Vertex"),
|
|
||||||
contents:bytemuck::cast_slice(&vertices),
|
|
||||||
usage:wgpu::BufferUsages::VERTEX,
|
|
||||||
});
|
|
||||||
|
|
||||||
let mut indices=Vec::new();
|
|
||||||
for physics_group in &mesh.physics_groups{
|
|
||||||
for polygon_group_id in &physics_group.groups{
|
|
||||||
for poly in mesh.polygon_groups[polygon_group_id.get() as usize].polys(){
|
|
||||||
// triangulate
|
|
||||||
let mut poly_vertices=poly.into_iter().copied();
|
|
||||||
if let (Some(a),Some(mut b))=(poly_vertices.next(),poly_vertices.next()){
|
|
||||||
for c in poly_vertices{
|
|
||||||
indices.extend([a,b,c]);
|
|
||||||
b=c;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
DebugGraphicsMesh{
|
|
||||||
indices:if (u32::MAX as usize)<vertices.len(){
|
|
||||||
panic!("Model has too many vertices!")
|
|
||||||
}else if (u16::MAX as usize)<vertices.len(){
|
|
||||||
Indices::new(device,&indices.into_iter().map(|vertex_idx|vertex_idx.get() as u32).collect(),wgpu::IndexFormat::Uint32)
|
|
||||||
}else{
|
|
||||||
Indices::new(device,&indices.into_iter().map(|vertex_idx|vertex_idx.get() as u16).collect(),wgpu::IndexFormat::Uint16)
|
|
||||||
},
|
|
||||||
vertex_buf,
|
|
||||||
}
|
|
||||||
}).collect();
|
|
||||||
|
|
||||||
//generate debug models, only one will be rendered at a time
|
|
||||||
self.debug_models=map.models.iter().enumerate().map(|(model_id,model)|{
|
|
||||||
let model_uniforms=get_instances_buffer_data(&[GraphicsModelOwned{
|
|
||||||
transform:model.transform.into(),
|
|
||||||
normal_transform:glam::Mat3::from_cols_array_2d(&model.transform.matrix3.to_array().map(|row|row.map(Into::into))).inverse().transpose(),
|
|
||||||
color:GraphicsModelColor4::new(glam::vec4(1.0,0.0,0.0,0.2)),
|
|
||||||
}]);
|
|
||||||
let model_buf=device.create_buffer_init(&wgpu::util::BufferInitDescriptor{
|
|
||||||
label:Some(format!("Debug Model{} Buf",model_id).as_str()),
|
|
||||||
contents:bytemuck::cast_slice(&model_uniforms),
|
|
||||||
usage:wgpu::BufferUsages::UNIFORM|wgpu::BufferUsages::COPY_DST,
|
|
||||||
});
|
|
||||||
let bind_group=device.create_bind_group(&wgpu::BindGroupDescriptor{
|
|
||||||
layout:&self.bind_group_layouts.debug_model,
|
|
||||||
entries:&[
|
|
||||||
wgpu::BindGroupEntry{
|
|
||||||
binding:0,
|
|
||||||
resource:model_buf.as_entire_binding(),
|
|
||||||
},
|
|
||||||
],
|
|
||||||
label:Some(format!("Debug Model{} Bind Group",model_id).as_str()),
|
|
||||||
});
|
|
||||||
DebugGraphicsModel{
|
|
||||||
debug_mesh_id:model.mesh.get(),
|
|
||||||
bind_group,
|
|
||||||
}
|
|
||||||
}).collect();
|
|
||||||
|
|
||||||
//generate texture view per texture
|
//generate texture view per texture
|
||||||
let texture_views:HashMap<model::TextureId,wgpu::TextureView>=map.textures.iter().enumerate().filter_map(|(texture_id,texture_data)|{
|
let texture_views:HashMap<strafesnet_common::model::TextureId,wgpu::TextureView>=map.textures.iter().enumerate().filter_map(|(texture_id,texture_data)|{
|
||||||
let texture_id=model::TextureId::new(texture_id as u32);
|
let texture_id=model::TextureId::new(texture_id as u32);
|
||||||
let image=match ddsfile::Dds::read(std::io::Cursor::new(texture_data)){
|
let image=match ddsfile::Dds::read(std::io::Cursor::new(texture_data)){
|
||||||
Ok(image)=>image,
|
Ok(image)=>image,
|
||||||
@@ -691,21 +608,6 @@ impl GraphicsState{
|
|||||||
},
|
},
|
||||||
],
|
],
|
||||||
});
|
});
|
||||||
let debug_model_bind_group_layout=device.create_bind_group_layout(&wgpu::BindGroupLayoutDescriptor{
|
|
||||||
label:Some("Debug Model Bind Group Layout"),
|
|
||||||
entries:&[
|
|
||||||
wgpu::BindGroupLayoutEntry{
|
|
||||||
binding:0,
|
|
||||||
visibility:wgpu::ShaderStages::VERTEX_FRAGMENT,
|
|
||||||
ty:wgpu::BindingType::Buffer{
|
|
||||||
ty:wgpu::BufferBindingType::Uniform,
|
|
||||||
has_dynamic_offset:false,
|
|
||||||
min_binding_size:None,
|
|
||||||
},
|
|
||||||
count:None,
|
|
||||||
},
|
|
||||||
],
|
|
||||||
});
|
|
||||||
|
|
||||||
let clamp_sampler=device.create_sampler(&wgpu::SamplerDescriptor{
|
let clamp_sampler=device.create_sampler(&wgpu::SamplerDescriptor{
|
||||||
label:Some("Clamp Sampler"),
|
label:Some("Clamp Sampler"),
|
||||||
@@ -714,7 +616,7 @@ impl GraphicsState{
|
|||||||
address_mode_w:wgpu::AddressMode::ClampToEdge,
|
address_mode_w:wgpu::AddressMode::ClampToEdge,
|
||||||
mag_filter:wgpu::FilterMode::Linear,
|
mag_filter:wgpu::FilterMode::Linear,
|
||||||
min_filter:wgpu::FilterMode::Linear,
|
min_filter:wgpu::FilterMode::Linear,
|
||||||
mipmap_filter:wgpu::MipmapFilterMode::Linear,
|
mipmap_filter:wgpu::FilterMode::Linear,
|
||||||
..Default::default()
|
..Default::default()
|
||||||
});
|
});
|
||||||
let repeat_sampler=device.create_sampler(&wgpu::SamplerDescriptor{
|
let repeat_sampler=device.create_sampler(&wgpu::SamplerDescriptor{
|
||||||
@@ -724,7 +626,7 @@ impl GraphicsState{
|
|||||||
address_mode_w:wgpu::AddressMode::Repeat,
|
address_mode_w:wgpu::AddressMode::Repeat,
|
||||||
mag_filter:wgpu::FilterMode::Linear,
|
mag_filter:wgpu::FilterMode::Linear,
|
||||||
min_filter:wgpu::FilterMode::Linear,
|
min_filter:wgpu::FilterMode::Linear,
|
||||||
mipmap_filter:wgpu::MipmapFilterMode::Linear,
|
mipmap_filter:wgpu::FilterMode::Linear,
|
||||||
anisotropy_clamp:16,
|
anisotropy_clamp:16,
|
||||||
..Default::default()
|
..Default::default()
|
||||||
});
|
});
|
||||||
@@ -852,23 +754,15 @@ impl GraphicsState{
|
|||||||
&skybox_texture_bind_group_layout,
|
&skybox_texture_bind_group_layout,
|
||||||
&model_bind_group_layout,
|
&model_bind_group_layout,
|
||||||
],
|
],
|
||||||
immediate_size:0,
|
push_constant_ranges:&[],
|
||||||
});
|
});
|
||||||
let debug_model_pipeline_layout=device.create_pipeline_layout(&wgpu::PipelineLayoutDescriptor{
|
|
||||||
label:None,
|
|
||||||
bind_group_layouts:&[
|
|
||||||
&camera_bind_group_layout,
|
|
||||||
&debug_model_bind_group_layout,
|
|
||||||
],
|
|
||||||
push_constant_ranges:&[],
|
|
||||||
});
|
|
||||||
let sky_pipeline_layout=device.create_pipeline_layout(&wgpu::PipelineLayoutDescriptor{
|
let sky_pipeline_layout=device.create_pipeline_layout(&wgpu::PipelineLayoutDescriptor{
|
||||||
label:None,
|
label:None,
|
||||||
bind_group_layouts:&[
|
bind_group_layouts:&[
|
||||||
&camera_bind_group_layout,
|
&camera_bind_group_layout,
|
||||||
&skybox_texture_bind_group_layout,
|
&skybox_texture_bind_group_layout,
|
||||||
],
|
],
|
||||||
immediate_size:0,
|
push_constant_ranges:&[],
|
||||||
});
|
});
|
||||||
|
|
||||||
// Create the render pipelines
|
// Create the render pipelines
|
||||||
@@ -899,7 +793,7 @@ impl GraphicsState{
|
|||||||
bias:wgpu::DepthBiasState::default(),
|
bias:wgpu::DepthBiasState::default(),
|
||||||
}),
|
}),
|
||||||
multisample:wgpu::MultisampleState::default(),
|
multisample:wgpu::MultisampleState::default(),
|
||||||
multiview_mask:None,
|
multiview:None,
|
||||||
cache:None,
|
cache:None,
|
||||||
});
|
});
|
||||||
let model_pipeline=device.create_render_pipeline(&wgpu::RenderPipelineDescriptor{
|
let model_pipeline=device.create_render_pipeline(&wgpu::RenderPipelineDescriptor{
|
||||||
@@ -909,7 +803,7 @@ impl GraphicsState{
|
|||||||
module:&shader,
|
module:&shader,
|
||||||
entry_point:Some("vs_entity_texture"),
|
entry_point:Some("vs_entity_texture"),
|
||||||
buffers:&[wgpu::VertexBufferLayout{
|
buffers:&[wgpu::VertexBufferLayout{
|
||||||
array_stride:size_of::<GraphicsVertex>() as wgpu::BufferAddress,
|
array_stride:std::mem::size_of::<GraphicsVertex>() as wgpu::BufferAddress,
|
||||||
step_mode:wgpu::VertexStepMode::Vertex,
|
step_mode:wgpu::VertexStepMode::Vertex,
|
||||||
attributes:&wgpu::vertex_attr_array![0=>Float32x3,1=>Float32x2,2=>Float32x3,3=>Float32x4],
|
attributes:&wgpu::vertex_attr_array![0=>Float32x3,1=>Float32x2,2=>Float32x3,3=>Float32x4],
|
||||||
}],
|
}],
|
||||||
@@ -934,45 +828,6 @@ impl GraphicsState{
|
|||||||
bias:wgpu::DepthBiasState::default(),
|
bias:wgpu::DepthBiasState::default(),
|
||||||
}),
|
}),
|
||||||
multisample:wgpu::MultisampleState::default(),
|
multisample:wgpu::MultisampleState::default(),
|
||||||
multiview_mask:None,
|
|
||||||
cache:None,
|
|
||||||
});
|
|
||||||
let debug_model_pipeline=device.create_render_pipeline(&wgpu::RenderPipelineDescriptor{
|
|
||||||
label:Some("Debug Model Pipeline"),
|
|
||||||
layout:Some(&debug_model_pipeline_layout),
|
|
||||||
vertex:wgpu::VertexState{
|
|
||||||
module:&shader,
|
|
||||||
entry_point:Some("vs_debug"),
|
|
||||||
buffers:&[wgpu::VertexBufferLayout{
|
|
||||||
array_stride:size_of::<DebugGraphicsVertex>() as wgpu::BufferAddress,
|
|
||||||
step_mode:wgpu::VertexStepMode::Vertex,
|
|
||||||
attributes:&wgpu::vertex_attr_array![0=>Float32x3,1=>Float32x3],
|
|
||||||
}],
|
|
||||||
compilation_options:wgpu::PipelineCompilationOptions::default(),
|
|
||||||
},
|
|
||||||
fragment:Some(wgpu::FragmentState{
|
|
||||||
module:&shader,
|
|
||||||
entry_point:Some("fs_debug"),
|
|
||||||
targets:&[Some(wgpu::ColorTargetState{
|
|
||||||
format:config.view_formats[0],
|
|
||||||
blend:Some(wgpu::BlendState::ALPHA_BLENDING),
|
|
||||||
write_mask:wgpu::ColorWrites::default(),
|
|
||||||
})],
|
|
||||||
compilation_options:wgpu::PipelineCompilationOptions::default(),
|
|
||||||
}),
|
|
||||||
primitive:wgpu::PrimitiveState{
|
|
||||||
front_face:wgpu::FrontFace::Cw,
|
|
||||||
cull_mode:Some(wgpu::Face::Front),
|
|
||||||
..Default::default()
|
|
||||||
},
|
|
||||||
depth_stencil:Some(wgpu::DepthStencilState{
|
|
||||||
format:Self::DEPTH_FORMAT,
|
|
||||||
depth_write_enabled:true,
|
|
||||||
depth_compare:wgpu::CompareFunction::Always,
|
|
||||||
stencil:wgpu::StencilState::default(),
|
|
||||||
bias:wgpu::DepthBiasState::default(),
|
|
||||||
}),
|
|
||||||
multisample:wgpu::MultisampleState::default(),
|
|
||||||
multiview:None,
|
multiview:None,
|
||||||
cache:None,
|
cache:None,
|
||||||
});
|
});
|
||||||
@@ -1015,8 +870,7 @@ impl GraphicsState{
|
|||||||
Self{
|
Self{
|
||||||
pipelines:GraphicsPipelines{
|
pipelines:GraphicsPipelines{
|
||||||
skybox:sky_pipeline,
|
skybox:sky_pipeline,
|
||||||
model:model_pipeline,
|
model:model_pipeline
|
||||||
debug:debug_model_pipeline,
|
|
||||||
},
|
},
|
||||||
bind_groups:GraphicsBindGroups{
|
bind_groups:GraphicsBindGroups{
|
||||||
camera:camera_bind_group,
|
camera:camera_bind_group,
|
||||||
@@ -1025,14 +879,9 @@ impl GraphicsState{
|
|||||||
camera,
|
camera,
|
||||||
camera_buf,
|
camera_buf,
|
||||||
models:Vec::new(),
|
models:Vec::new(),
|
||||||
debug_meshes:Vec::new(),
|
|
||||||
debug_models:Vec::new(),
|
|
||||||
depth_view,
|
depth_view,
|
||||||
staging_belt:wgpu::util::StagingBelt::new(device.clone(),0x100),
|
staging_belt:wgpu::util::StagingBelt::new(0x100),
|
||||||
bind_group_layouts:GraphicsBindGroupLayouts{
|
bind_group_layouts:GraphicsBindGroupLayouts{model:model_bind_group_layout},
|
||||||
model:model_bind_group_layout,
|
|
||||||
debug_model:debug_model_bind_group_layout,
|
|
||||||
},
|
|
||||||
samplers:GraphicsSamplers{repeat:repeat_sampler},
|
samplers:GraphicsSamplers{repeat:repeat_sampler},
|
||||||
temp_squid_texture_view:squid_texture_view,
|
temp_squid_texture_view:squid_texture_view,
|
||||||
}
|
}
|
||||||
@@ -1069,6 +918,7 @@ impl GraphicsState{
|
|||||||
&self.camera_buf,
|
&self.camera_buf,
|
||||||
0,
|
0,
|
||||||
wgpu::BufferSize::new((camera_uniforms.len() * 4) as wgpu::BufferAddress).unwrap(),
|
wgpu::BufferSize::new((camera_uniforms.len() * 4) as wgpu::BufferAddress).unwrap(),
|
||||||
|
device,
|
||||||
)
|
)
|
||||||
.copy_from_slice(bytemuck::cast_slice(&camera_uniforms));
|
.copy_from_slice(bytemuck::cast_slice(&camera_uniforms));
|
||||||
//This code only needs to run when the uniforms change
|
//This code only needs to run when the uniforms change
|
||||||
@@ -1115,13 +965,11 @@ impl GraphicsState{
|
|||||||
}),
|
}),
|
||||||
timestamp_writes:Default::default(),
|
timestamp_writes:Default::default(),
|
||||||
occlusion_query_set:Default::default(),
|
occlusion_query_set:Default::default(),
|
||||||
multiview_mask:None,
|
|
||||||
});
|
});
|
||||||
|
|
||||||
rpass.set_bind_group(0,&self.bind_groups.camera,&[]);
|
rpass.set_bind_group(0,&self.bind_groups.camera,&[]);
|
||||||
rpass.set_bind_group(1,&self.bind_groups.skybox_texture,&[]);
|
rpass.set_bind_group(1,&self.bind_groups.skybox_texture,&[]);
|
||||||
|
|
||||||
// Draw all models.
|
|
||||||
rpass.set_pipeline(&self.pipelines.model);
|
rpass.set_pipeline(&self.pipelines.model);
|
||||||
for model in &self.models{
|
for model in &self.models{
|
||||||
rpass.set_bind_group(2,&model.bind_group,&[]);
|
rpass.set_bind_group(2,&model.bind_group,&[]);
|
||||||
@@ -1133,19 +981,6 @@ impl GraphicsState{
|
|||||||
|
|
||||||
rpass.set_pipeline(&self.pipelines.skybox);
|
rpass.set_pipeline(&self.pipelines.skybox);
|
||||||
rpass.draw(0..3,0..1);
|
rpass.draw(0..3,0..1);
|
||||||
|
|
||||||
// render a single debug_model in red
|
|
||||||
if let Some(model_id)=frame_state.debug_model{
|
|
||||||
if let Some(model)=self.debug_models.get(model_id.get() as usize){
|
|
||||||
let mesh=&self.debug_meshes[model.debug_mesh_id as usize];
|
|
||||||
rpass.set_pipeline(&self.pipelines.debug);
|
|
||||||
rpass.set_bind_group(1,&model.bind_group,&[]);
|
|
||||||
rpass.set_vertex_buffer(0,mesh.vertex_buf.slice(..));
|
|
||||||
rpass.set_index_buffer(mesh.indices.buf.slice(..),mesh.indices.format);
|
|
||||||
//TODO: loop over triangle strips
|
|
||||||
rpass.draw_indexed(0..mesh.indices.count,0,0..1);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
queue.submit(std::iter::once(encoder.finish()));
|
queue.submit(std::iter::once(encoder.finish()));
|
||||||
|
|||||||
@@ -8,12 +8,6 @@ pub struct GraphicsVertex{
|
|||||||
pub normal:[f32;3],
|
pub normal:[f32;3],
|
||||||
pub color:[f32;4],
|
pub color:[f32;4],
|
||||||
}
|
}
|
||||||
#[derive(Clone,Copy,Pod,Zeroable)]
|
|
||||||
#[repr(C)]
|
|
||||||
pub struct DebugGraphicsVertex{
|
|
||||||
pub pos:[f32;3],
|
|
||||||
pub normal:[f32;3],
|
|
||||||
}
|
|
||||||
#[derive(Clone,Copy,id::Id)]
|
#[derive(Clone,Copy,id::Id)]
|
||||||
pub struct IndexedGraphicsMeshOwnedRenderConfigId(u32);
|
pub struct IndexedGraphicsMeshOwnedRenderConfigId(u32);
|
||||||
pub struct IndexedGraphicsMeshOwnedRenderConfig{
|
pub struct IndexedGraphicsMeshOwnedRenderConfig{
|
||||||
|
|||||||
@@ -8,6 +8,3 @@ arrayvec = "0.7.6"
|
|||||||
glam = "0.30.0"
|
glam = "0.30.0"
|
||||||
id = { version = "0.1.0", registry = "strafesnet" }
|
id = { version = "0.1.0", registry = "strafesnet" }
|
||||||
strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -33,7 +33,7 @@ impl<T:Copy> std::ops::Neg for &Body<T>{
|
|||||||
impl<T> Body<T>
|
impl<T> Body<T>
|
||||||
where Time<T>:Copy,
|
where Time<T>:Copy,
|
||||||
{
|
{
|
||||||
pub const ZERO:Self=Self::new(vec3::zero(),vec3::zero(),vec3::zero(),Time::ZERO);
|
pub const ZERO:Self=Self::new(vec3::ZERO,vec3::ZERO,vec3::ZERO,Time::ZERO);
|
||||||
pub const fn new(position:Planar64Vec3,velocity:Planar64Vec3,acceleration:Planar64Vec3,time:Time<T>)->Self{
|
pub const fn new(position:Planar64Vec3,velocity:Planar64Vec3,acceleration:Planar64Vec3,time:Time<T>)->Self{
|
||||||
Self{
|
Self{
|
||||||
position,
|
position,
|
||||||
@@ -107,8 +107,8 @@ impl<T> Body<T>
|
|||||||
self.time+=dt.into();
|
self.time+=dt.into();
|
||||||
}
|
}
|
||||||
pub fn infinity_dir(&self)->Option<Planar64Vec3>{
|
pub fn infinity_dir(&self)->Option<Planar64Vec3>{
|
||||||
if self.velocity==vec3::zero(){
|
if self.velocity==vec3::ZERO{
|
||||||
if self.acceleration==vec3::zero(){
|
if self.acceleration==vec3::ZERO{
|
||||||
None
|
None
|
||||||
}else{
|
}else{
|
||||||
Some(self.acceleration)
|
Some(self.acceleration)
|
||||||
|
|||||||
@@ -21,6 +21,12 @@ impl<M:MeshQuery> CrawlResult<M>{
|
|||||||
CrawlResult::Hit(face,time)=>Some((face,time)),
|
CrawlResult::Hit(face,time)=>Some((face,time)),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
pub fn miss(self)->Option<FEV<M>>{
|
||||||
|
match self{
|
||||||
|
CrawlResult::Miss(fev)=>Some(fev),
|
||||||
|
CrawlResult::Hit(_,_)=>None,
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// TODO: move predict_collision_face_out algorithm in here or something
|
// TODO: move predict_collision_face_out algorithm in here or something
|
||||||
|
|||||||
@@ -1,8 +1,7 @@
|
|||||||
mod body;
|
mod body;
|
||||||
|
mod push_solve;
|
||||||
mod face_crawler;
|
mod face_crawler;
|
||||||
mod model;
|
mod model;
|
||||||
mod push_solve;
|
|
||||||
mod minimum_difference;
|
|
||||||
|
|
||||||
pub mod physics;
|
pub mod physics;
|
||||||
|
|
||||||
|
|||||||
@@ -1,913 +0,0 @@
|
|||||||
use strafesnet_common::integer::vec3;
|
|
||||||
use strafesnet_common::integer::vec3::Vector3;
|
|
||||||
use strafesnet_common::integer::{Fixed,Planar64,Planar64Vec3};
|
|
||||||
|
|
||||||
use crate::model::{DirectedEdge,FEV,MeshQuery};
|
|
||||||
// TODO: remove mesh invert
|
|
||||||
use crate::model::{MinkowskiMesh,MinkowskiVert};
|
|
||||||
|
|
||||||
// This algorithm is based on Lua code
|
|
||||||
// written by Trey Reynolds in 2021
|
|
||||||
|
|
||||||
type Simplex<const N:usize,Vert>=[Vert;N];
|
|
||||||
#[derive(Clone,Copy)]
|
|
||||||
enum Simplex1_3<Vert>{
|
|
||||||
Simplex1(Simplex<1,Vert>),
|
|
||||||
Simplex2(Simplex<2,Vert>),
|
|
||||||
Simplex3(Simplex<3,Vert>),
|
|
||||||
}
|
|
||||||
impl<Vert> Simplex1_3<Vert>{
|
|
||||||
fn push_front(self,v:Vert)->Simplex2_4<Vert>{
|
|
||||||
match self{
|
|
||||||
Simplex1_3::Simplex1([v0])=>Simplex2_4::Simplex2([v,v0]),
|
|
||||||
Simplex1_3::Simplex2([v0,v1])=>Simplex2_4::Simplex3([v,v0,v1]),
|
|
||||||
Simplex1_3::Simplex3([v0,v1,v2])=>Simplex2_4::Simplex4([v,v0,v1,v2]),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
#[derive(Clone,Copy)]
|
|
||||||
enum Simplex2_4<Vert>{
|
|
||||||
Simplex2(Simplex<2,Vert>),
|
|
||||||
Simplex3(Simplex<3,Vert>),
|
|
||||||
Simplex4(Simplex<4,Vert>),
|
|
||||||
}
|
|
||||||
|
|
||||||
/*
|
|
||||||
local function absDet(r, u, v, w)
|
|
||||||
if w then
|
|
||||||
return math.abs((u - r):Cross(v - r):Dot(w - r))
|
|
||||||
elseif v then
|
|
||||||
return (u - r):Cross(v - r).magnitude
|
|
||||||
elseif u then
|
|
||||||
return (u - r).magnitude
|
|
||||||
else
|
|
||||||
return 1
|
|
||||||
end
|
|
||||||
end
|
|
||||||
*/
|
|
||||||
impl<Vert> Simplex2_4<Vert>{
|
|
||||||
fn det_is_zero<M:MeshQuery<Vert=Vert>>(self,mesh:&M)->bool{
|
|
||||||
match self{
|
|
||||||
Self::Simplex4([p0,p1,p2,p3])=>{
|
|
||||||
let p0=mesh.vert(p0);
|
|
||||||
let p1=mesh.vert(p1);
|
|
||||||
let p2=mesh.vert(p2);
|
|
||||||
let p3=mesh.vert(p3);
|
|
||||||
(p1-p0).cross(p2-p0).dot(p3-p0)==Fixed::ZERO
|
|
||||||
},
|
|
||||||
Self::Simplex3([p0,p1,p2])=>{
|
|
||||||
let p0=mesh.vert(p0);
|
|
||||||
let p1=mesh.vert(p1);
|
|
||||||
let p2=mesh.vert(p2);
|
|
||||||
(p1-p0).cross(p2-p0)==vec3::zero()
|
|
||||||
},
|
|
||||||
Self::Simplex2([p0,p1])=>{
|
|
||||||
let p0=mesh.vert(p0);
|
|
||||||
let p1=mesh.vert(p1);
|
|
||||||
p1-p0==vec3::zero()
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/*
|
|
||||||
local function choosePerpendicularDirection(d)
|
|
||||||
local x, y, z = d.x, d.y, d.z
|
|
||||||
local best = math.min(x*x, y*y, z*z)
|
|
||||||
if x*x == best then
|
|
||||||
return Vector3.new(y*y + z*z, -x*y, -x*z)
|
|
||||||
elseif y*y == best then
|
|
||||||
return Vector3.new(-x*y, x*x + z*z, -y*z)
|
|
||||||
else
|
|
||||||
return Vector3.new(-x*z, -y*z, x*x + y*y)
|
|
||||||
end
|
|
||||||
end
|
|
||||||
*/
|
|
||||||
fn choose_perpendicular_direction(d:Planar64Vec3)->Planar64Vec3{
|
|
||||||
let x=d.x.abs();
|
|
||||||
let y=d.y.abs();
|
|
||||||
let z=d.z.abs();
|
|
||||||
if x<y&&x<z{
|
|
||||||
Vector3::new([Fixed::ZERO,-d.z,d.y])
|
|
||||||
}else if y<z{
|
|
||||||
Vector3::new([d.z,Fixed::ZERO,-d.x])
|
|
||||||
}else{
|
|
||||||
Vector3::new([-d.y,d.x,Fixed::ZERO])
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
const fn choose_any_direction()->Planar64Vec3{
|
|
||||||
vec3::X
|
|
||||||
}
|
|
||||||
|
|
||||||
fn narrow_dir2(dir:Vector3<Fixed<2,64>>)->Planar64Vec3{
|
|
||||||
if dir==vec3::zero(){
|
|
||||||
return dir.narrow_1().unwrap();
|
|
||||||
}
|
|
||||||
let x=dir.x.as_bits().unsigned_abs().bits();
|
|
||||||
let y=dir.y.as_bits().unsigned_abs().bits();
|
|
||||||
let z=dir.z.as_bits().unsigned_abs().bits();
|
|
||||||
let big=x.max(y).max(z);
|
|
||||||
const MAX_BITS:u32=64+31;
|
|
||||||
if MAX_BITS<big{
|
|
||||||
dir>>(big-MAX_BITS)
|
|
||||||
}else{
|
|
||||||
dir
|
|
||||||
}.narrow_1().unwrap()
|
|
||||||
}
|
|
||||||
fn narrow_dir3(dir:Vector3<Fixed<3,96>>)->Planar64Vec3{
|
|
||||||
if dir==vec3::zero(){
|
|
||||||
return dir.narrow_1().unwrap();
|
|
||||||
}
|
|
||||||
let x=dir.x.as_bits().unsigned_abs().bits();
|
|
||||||
let y=dir.y.as_bits().unsigned_abs().bits();
|
|
||||||
let z=dir.z.as_bits().unsigned_abs().bits();
|
|
||||||
let big=x.max(y).max(z);
|
|
||||||
const MAX_BITS:u32=96+31;
|
|
||||||
if MAX_BITS<big{
|
|
||||||
dir>>(big-MAX_BITS)
|
|
||||||
}else{
|
|
||||||
dir
|
|
||||||
}.narrow_1().unwrap()
|
|
||||||
}
|
|
||||||
|
|
||||||
fn reduce1<M:MeshQuery>(
|
|
||||||
[v0]:Simplex<1,M::Vert>,
|
|
||||||
mesh:&M,
|
|
||||||
point:Planar64Vec3,
|
|
||||||
)->Reduced<M::Vert>{
|
|
||||||
// --debug.profilebegin("reduceSimplex0")
|
|
||||||
// local a = a1 - a0
|
|
||||||
let p0=mesh.vert(v0);
|
|
||||||
|
|
||||||
// local p = -a
|
|
||||||
let p=-(p0+point);
|
|
||||||
|
|
||||||
// local direction = p
|
|
||||||
let mut dir=p;
|
|
||||||
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
// direction = chooseAnyDirection()
|
|
||||||
if dir==vec3::zero(){
|
|
||||||
dir=choose_any_direction();
|
|
||||||
}
|
|
||||||
|
|
||||||
// return direction, a0, a1
|
|
||||||
Reduced{
|
|
||||||
dir,
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// local function reduceSimplex1(a0, a1, b0, b1)
|
|
||||||
fn reduce2<M:MeshQuery>(
|
|
||||||
[v0,v1]:Simplex<2,M::Vert>,
|
|
||||||
mesh:&M,
|
|
||||||
point:Planar64Vec3,
|
|
||||||
)->Reduced<M::Vert>{
|
|
||||||
// --debug.profilebegin("reduceSimplex1")
|
|
||||||
// local a = a1 - a0
|
|
||||||
// local b = b1 - b0
|
|
||||||
let p0=mesh.vert(v0);
|
|
||||||
let p1=mesh.vert(v1);
|
|
||||||
|
|
||||||
// local p = -a
|
|
||||||
// local u = b - a
|
|
||||||
let p=-(p0+point);
|
|
||||||
let u=p1-p0;
|
|
||||||
|
|
||||||
// -- modify to take into account the radiuses
|
|
||||||
// local p_u = p:Dot(u)
|
|
||||||
let p_u=p.dot(u);
|
|
||||||
|
|
||||||
// if p_u >= 0 then
|
|
||||||
if !p_u.is_negative(){
|
|
||||||
// local direction = u:Cross(p):Cross(u)
|
|
||||||
let direction=u.cross(p).cross(u);
|
|
||||||
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
if direction==vec3::zero(){
|
|
||||||
return Reduced{
|
|
||||||
dir:choose_perpendicular_direction(u),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// -- modify the direction to take into account a0R and b0R
|
|
||||||
// return direction, a0, a1, b0, b1
|
|
||||||
return Reduced{
|
|
||||||
dir:narrow_dir3(direction),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// local direction = p
|
|
||||||
let mut dir=p;
|
|
||||||
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
if dir==vec3::zero(){
|
|
||||||
dir=choose_perpendicular_direction(u);
|
|
||||||
}
|
|
||||||
|
|
||||||
// return direction, a0, a1
|
|
||||||
Reduced{
|
|
||||||
dir,
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// local function reduceSimplex2(a0, a1, b0, b1, c0, c1)
|
|
||||||
fn reduce3<M:MeshQuery>(
|
|
||||||
[v0,mut v1,v2]:Simplex<3,M::Vert>,
|
|
||||||
mesh:&M,
|
|
||||||
point:Planar64Vec3,
|
|
||||||
)->Reduced<M::Vert>{
|
|
||||||
// --debug.profilebegin("reduceSimplex2")
|
|
||||||
// local a = a1 - a0
|
|
||||||
// local b = b1 - b0
|
|
||||||
// local c = c1 - c0
|
|
||||||
let p0=mesh.vert(v0);
|
|
||||||
let p1=mesh.vert(v1);
|
|
||||||
let p2=mesh.vert(v2);
|
|
||||||
|
|
||||||
// local p = -a
|
|
||||||
// local u = b - a
|
|
||||||
// local v = c - a
|
|
||||||
let p=-(p0+point);
|
|
||||||
let mut u=p1-p0;
|
|
||||||
let v=p2-p0;
|
|
||||||
|
|
||||||
// local uv = u:Cross(v)
|
|
||||||
// local up = u:Cross(p)
|
|
||||||
// local pv = p:Cross(v)
|
|
||||||
// local uv_up = uv:Dot(up)
|
|
||||||
// local uv_pv = uv:Dot(pv)
|
|
||||||
let mut uv=u.cross(v);
|
|
||||||
let mut up=u.cross(p);
|
|
||||||
let pv=p.cross(v);
|
|
||||||
let uv_up=uv.dot(up);
|
|
||||||
let uv_pv=uv.dot(pv);
|
|
||||||
|
|
||||||
// if uv_up >= 0 and uv_pv >= 0 then
|
|
||||||
if !uv_up.is_negative()&&!uv_pv.is_negative(){
|
|
||||||
// local uvp = uv:Dot(p)
|
|
||||||
let uvp=uv.dot(p);
|
|
||||||
|
|
||||||
// local direction = uvp < 0 and -uv or uv
|
|
||||||
let direction=if uvp.is_negative(){
|
|
||||||
-uv
|
|
||||||
}else{
|
|
||||||
uv
|
|
||||||
};
|
|
||||||
|
|
||||||
// return direction, a0, a1, b0, b1, c0, c1
|
|
||||||
return Reduced{
|
|
||||||
dir:narrow_dir2(direction),
|
|
||||||
simplex:Simplex1_3::Simplex3([v0,v1,v2]),
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// local u_u = u:Dot(u)
|
|
||||||
// local v_v = v:Dot(v)
|
|
||||||
// local uDist = uv_up/(u_u*v.magnitude)
|
|
||||||
// local vDist = uv_pv/(v_v*u.magnitude)
|
|
||||||
// local minDist2 = math.min(uDist, vDist)
|
|
||||||
let u_dist=uv_up*v.length();
|
|
||||||
let v_dist=uv_pv*u.length();
|
|
||||||
|
|
||||||
// if vDist == minDist2 then
|
|
||||||
if v_dist<u_dist{
|
|
||||||
u=v;
|
|
||||||
up=-pv;
|
|
||||||
uv=-uv;
|
|
||||||
// b0 = c0
|
|
||||||
// b1 = c1
|
|
||||||
v1=v2;
|
|
||||||
}
|
|
||||||
|
|
||||||
// local p_u = p:Dot(u)
|
|
||||||
let p_u=p.dot(u);
|
|
||||||
|
|
||||||
// if p_u >= 0 then
|
|
||||||
if !p_u.is_negative(){
|
|
||||||
// local direction = up:Cross(u)
|
|
||||||
let direction=up.cross(u);
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
if direction==vec3::zero(){
|
|
||||||
// direction = uv
|
|
||||||
return Reduced{
|
|
||||||
dir:narrow_dir2(uv),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// return direction, a0, a1, b0, b1
|
|
||||||
return Reduced{
|
|
||||||
dir:narrow_dir3(direction),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
// local direction = p
|
|
||||||
let dir=p;
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
if dir==vec3::zero(){
|
|
||||||
// direction = uv
|
|
||||||
return Reduced{
|
|
||||||
dir:narrow_dir2(uv),
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
};
|
|
||||||
}
|
|
||||||
// return direction, a0, a0
|
|
||||||
Reduced{
|
|
||||||
dir,
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// local function reduceSimplex3(a0, a1, b0, b1, c0, c1, d0, d1)
|
|
||||||
fn reduce4<M:MeshQuery>(
|
|
||||||
[v0,mut v1,mut v2,v3]:Simplex<4,M::Vert>,
|
|
||||||
mesh:&M,
|
|
||||||
point:Planar64Vec3,
|
|
||||||
)->Reduce<M::Vert>{
|
|
||||||
// --debug.profilebegin("reduceSimplex3")
|
|
||||||
// local a = a1 - a0
|
|
||||||
// local b = b1 - b0
|
|
||||||
// local c = c1 - c0
|
|
||||||
// local d = d1 - d0
|
|
||||||
let p0=mesh.vert(v0);
|
|
||||||
let p1=mesh.vert(v1);
|
|
||||||
let p2=mesh.vert(v2);
|
|
||||||
let p3=mesh.vert(v3);
|
|
||||||
|
|
||||||
// local p = -a
|
|
||||||
// local u = b - a
|
|
||||||
// local v = c - a
|
|
||||||
// local w = d - a
|
|
||||||
let p=-(p0+point);
|
|
||||||
let mut u=p1-p0;
|
|
||||||
let mut v=p2-p0;
|
|
||||||
let w=p3-p0;
|
|
||||||
|
|
||||||
// local uv = u:Cross(v)
|
|
||||||
// local vw = v:Cross(w)
|
|
||||||
// local wu = w:Cross(u)
|
|
||||||
// local uvw = uv:Dot(w)
|
|
||||||
// local pvw = vw:Dot(p)
|
|
||||||
// local upw = wu:Dot(p)
|
|
||||||
// local uvp = uv:Dot(p)
|
|
||||||
let mut uv=u.cross(v);
|
|
||||||
let vw=v.cross(w);
|
|
||||||
let wu=w.cross(u);
|
|
||||||
let uv_w=uv.dot(w);
|
|
||||||
let pv_w=vw.dot(p);
|
|
||||||
let up_w=wu.dot(p);
|
|
||||||
let uv_p=uv.dot(p);
|
|
||||||
|
|
||||||
// if pvw/uvw >= 0 and upw/uvw >= 0 and uvp/uvw >= 0 then
|
|
||||||
if !pv_w.div_sign(uv_w).is_negative()
|
|
||||||
||!up_w.div_sign(uv_w).is_negative()
|
|
||||||
||!uv_p.div_sign(uv_w).is_negative(){
|
|
||||||
// origin is contained, this is a positive detection
|
|
||||||
// local direction = Vector3.new(0, 0, 0)
|
|
||||||
// return direction, a0, a1, b0, b1, c0, c1, d0, d1
|
|
||||||
return Reduce::Escape([v0,v1,v2,v3]);
|
|
||||||
}
|
|
||||||
|
|
||||||
// local uvwSign = uvw < 0 and -1 or uvw > 0 and 1 or 0
|
|
||||||
// local uvDist = uvp*uvwSign/uv.magnitude
|
|
||||||
// local vwDist = pvw*uvwSign/vw.magnitude
|
|
||||||
// local wuDist = upw*uvwSign/wu.magnitude
|
|
||||||
// local minDist3 = math.min(uvDist, vwDist, wuDist)
|
|
||||||
let uv_dist=uv_p.mul_sign(uv_w);
|
|
||||||
let vw_dist=pv_w.mul_sign(uv_w);
|
|
||||||
let wu_dist=up_w.mul_sign(uv_w);
|
|
||||||
let wu_len=wu.length();
|
|
||||||
let uv_len=uv.length();
|
|
||||||
let vw_len=vw.length();
|
|
||||||
|
|
||||||
if vw_dist*wu_len<wu_dist*vw_len{
|
|
||||||
// if vwDist == minDist3 then
|
|
||||||
if vw_dist*uv_len<uv_dist*vw_len{
|
|
||||||
(u,v)=(v,w);
|
|
||||||
uv=vw;
|
|
||||||
// uv_p=pv_w; // unused
|
|
||||||
// b0, c0 = c0, d0
|
|
||||||
// b1, c1 = c1, d1
|
|
||||||
(v1,v2)=(v2,v3);
|
|
||||||
}else{
|
|
||||||
v2=v3;
|
|
||||||
}
|
|
||||||
}else{
|
|
||||||
// elseif wuDist == minDist3 then
|
|
||||||
if wu_dist*uv_len<uv_dist*wu_len{
|
|
||||||
(u,v)=(w,u);
|
|
||||||
uv=wu;
|
|
||||||
// uv_p=up_w; // unused
|
|
||||||
// b0, c0 = d0, b0
|
|
||||||
// b1, c1 = d1, b1
|
|
||||||
// before [a,b,c,d]
|
|
||||||
(v1,v2)=(v3,v1);
|
|
||||||
// after [a,d,b]
|
|
||||||
}else{
|
|
||||||
v2=v3;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// local up = u:Cross(p)
|
|
||||||
// local pv = p:Cross(v)
|
|
||||||
// local uv_up = uv:Dot(up)
|
|
||||||
// local uv_pv = uv:Dot(pv)
|
|
||||||
let mut up=u.cross(p);
|
|
||||||
let pv=p.cross(v);
|
|
||||||
let uv_up=uv.dot(up);
|
|
||||||
let uv_pv=uv.dot(pv);
|
|
||||||
|
|
||||||
// if uv_up >= 0 and uv_pv >= 0 then
|
|
||||||
if !uv_up.is_negative()&&!uv_pv.is_negative(){
|
|
||||||
// local direction = uvw < 0 and uv or -uv
|
|
||||||
// return direction, a0, a1, b0, b1, c0, c1
|
|
||||||
if uv_w.is_negative(){
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir2(uv),
|
|
||||||
simplex:Simplex1_3::Simplex3([v0,v1,v2]),
|
|
||||||
});
|
|
||||||
}else{
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir2(-uv),
|
|
||||||
simplex:Simplex1_3::Simplex3([v0,v1,v2]),
|
|
||||||
});
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// local u_u = u:Dot(u)
|
|
||||||
// local v_v = v:Dot(v)
|
|
||||||
// local uDist = uv_up/(u_u*v.magnitude)
|
|
||||||
// local vDist = uv_pv/(v_v*u.magnitude)
|
|
||||||
// local minDist2 = math.min(uDist, vDist)
|
|
||||||
let u_dist=uv_up*v.length();
|
|
||||||
let v_dist=uv_pv*u.length();
|
|
||||||
|
|
||||||
// if vDist == minDist2 then
|
|
||||||
if v_dist<u_dist{
|
|
||||||
u=v;
|
|
||||||
up=-pv;
|
|
||||||
uv=-uv;
|
|
||||||
// b0 = c0
|
|
||||||
// b1 = c1
|
|
||||||
v1=v2;
|
|
||||||
}
|
|
||||||
|
|
||||||
// local p_u = p:Dot(u)
|
|
||||||
let p_u=p.dot(u);
|
|
||||||
|
|
||||||
// if p_u >= 0 then
|
|
||||||
if !p_u.is_negative(){
|
|
||||||
// local direction = up:Cross(u)
|
|
||||||
let direction=up.cross(u);
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
if direction==vec3::zero(){
|
|
||||||
// direction = uvw < 0 and uv or -uv
|
|
||||||
// return direction, a0, a1, b0, b1
|
|
||||||
if uv_w.is_negative(){
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir2(uv),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
});
|
|
||||||
}else{
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir2(-uv),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
});
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// return direction, a0, a1, b0, b1
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir3(direction),
|
|
||||||
simplex:Simplex1_3::Simplex2([v0,v1]),
|
|
||||||
});
|
|
||||||
}
|
|
||||||
|
|
||||||
// local direction = p
|
|
||||||
let dir=p;
|
|
||||||
// if direction.magnitude == 0 then
|
|
||||||
if dir==vec3::zero(){
|
|
||||||
// direction = uvw < 0 and uv or -uv
|
|
||||||
if uv_w.is_negative(){
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir2(uv),
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
});
|
|
||||||
}else{
|
|
||||||
return Reduce::Reduced(Reduced{
|
|
||||||
dir:narrow_dir2(-uv),
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
});
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// return direction, a0, a1
|
|
||||||
Reduce::Reduced(Reduced{
|
|
||||||
dir,
|
|
||||||
simplex:Simplex1_3::Simplex1([v0]),
|
|
||||||
})
|
|
||||||
}
|
|
||||||
|
|
||||||
struct Reduced<Vert>{
|
|
||||||
dir:Planar64Vec3,
|
|
||||||
simplex:Simplex1_3<Vert>,
|
|
||||||
}
|
|
||||||
|
|
||||||
enum Reduce<Vert>{
|
|
||||||
Escape(Simplex<4,Vert>),
|
|
||||||
Reduced(Reduced<Vert>),
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<Vert> Simplex2_4<Vert>{
|
|
||||||
fn reduce<M:MeshQuery<Vert=Vert>>(self,mesh:&M,point:Planar64Vec3)->Reduce<Vert>{
|
|
||||||
match self{
|
|
||||||
Self::Simplex2(simplex)=>Reduce::Reduced(reduce2(simplex,mesh,point)),
|
|
||||||
Self::Simplex3(simplex)=>Reduce::Reduced(reduce3(simplex,mesh,point)),
|
|
||||||
Self::Simplex4(simplex)=>reduce4(simplex,mesh,point),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn contains_point(mesh:&MinkowskiMesh<'_>,point:Planar64Vec3)->bool{
|
|
||||||
const ENABLE_FAST_FAIL:bool=true;
|
|
||||||
// TODO: remove mesh negation
|
|
||||||
minimum_difference::<ENABLE_FAST_FAIL,_,_>(&-mesh,point,
|
|
||||||
// on_exact
|
|
||||||
|is_intersecting,_simplex|{
|
|
||||||
is_intersecting
|
|
||||||
},
|
|
||||||
// on_escape
|
|
||||||
|_simplex|{
|
|
||||||
// intersection is guaranteed at this point
|
|
||||||
true
|
|
||||||
},
|
|
||||||
// fast_fail value
|
|
||||||
||false
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
//infinity fev algorithm state transition
|
|
||||||
#[derive(Debug)]
|
|
||||||
enum Transition<Vert>{
|
|
||||||
Done,//found closest vert, no edges are better
|
|
||||||
Vert(Vert),//transition to vert
|
|
||||||
}
|
|
||||||
enum EV<M:MeshQuery>{
|
|
||||||
Vert(M::Vert),
|
|
||||||
Edge(<M::Edge as DirectedEdge>::UndirectedEdge),
|
|
||||||
}
|
|
||||||
impl<M:MeshQuery> From<EV<M>> for FEV<M>{
|
|
||||||
fn from(value:EV<M>)->Self{
|
|
||||||
match value{
|
|
||||||
EV::Vert(minkowski_vert)=>FEV::Vert(minkowski_vert),
|
|
||||||
EV::Edge(minkowski_edge)=>FEV::Edge(minkowski_edge),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
trait Contains{
|
|
||||||
fn contains(&self,point:Planar64Vec3)->bool;
|
|
||||||
}
|
|
||||||
|
|
||||||
// convenience type to check if a point is within some threshold of a plane.
|
|
||||||
struct ThickPlane{
|
|
||||||
point:Planar64Vec3,
|
|
||||||
normal:Vector3<Fixed<2,64>>,
|
|
||||||
epsilon:Fixed<3,96>,
|
|
||||||
}
|
|
||||||
impl ThickPlane{
|
|
||||||
fn new<M:MeshQuery>(mesh:&M,[v0,v1,v2]:Simplex<3,M::Vert>)->Self{
|
|
||||||
let p0=mesh.vert(v0);
|
|
||||||
let p1=mesh.vert(v1);
|
|
||||||
let p2=mesh.vert(v2);
|
|
||||||
let point=p0;
|
|
||||||
let normal=(p1-p0).cross(p2-p0);
|
|
||||||
// Allow ~ 2*sqrt(3) units of thickness on the plane
|
|
||||||
// This is to account for the variance of two voxels across the longest diagonal
|
|
||||||
let epsilon=(normal.length()*(Planar64::EPSILON*3)).wrap_3();
|
|
||||||
Self{point,normal,epsilon}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
impl Contains for ThickPlane{
|
|
||||||
fn contains(&self,point:Planar64Vec3)->bool{
|
|
||||||
(point-self.point).dot(self.normal).abs()<=self.epsilon
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
struct ThickLine{
|
|
||||||
point:Planar64Vec3,
|
|
||||||
dir:Planar64Vec3,
|
|
||||||
epsilon:Fixed<4,128>,
|
|
||||||
}
|
|
||||||
impl ThickLine{
|
|
||||||
fn new<M:MeshQuery>(mesh:&M,[v0,v1]:Simplex<2,M::Vert>)->Self{
|
|
||||||
let p0=mesh.vert(v0);
|
|
||||||
let p1=mesh.vert(v1);
|
|
||||||
let point=p0;
|
|
||||||
let dir=p1-p0;
|
|
||||||
// Allow ~ 2*sqrt(3) units of thickness on the plane
|
|
||||||
// This is to account for the variance of two voxels across the longest diagonal
|
|
||||||
let epsilon=(dir.length_squared()*(Planar64::EPSILON*3)).widen_4();
|
|
||||||
Self{point,dir,epsilon}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
impl Contains for ThickLine{
|
|
||||||
fn contains(&self,point:Planar64Vec3)->bool{
|
|
||||||
(point-self.point).cross(self.dir).length_squared()<=self.epsilon
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
struct EVFinder<'a,M,C>{
|
|
||||||
mesh:&'a M,
|
|
||||||
constraint:C,
|
|
||||||
best_distance_squared:Fixed<2,64>,
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<M:MeshQuery,C:Contains> EVFinder<'_,M,C>{
|
|
||||||
fn next_transition_vert(&mut self,vert_id:M::Vert,point:Planar64Vec3)->Transition<M::Vert>{
|
|
||||||
let mut best_transition=Transition::Done;
|
|
||||||
for &directed_edge_id in self.mesh.vert_edges(vert_id).as_ref(){
|
|
||||||
//test if this edge's opposite vertex closer
|
|
||||||
let edge_verts=self.mesh.edge_verts(directed_edge_id.as_undirected());
|
|
||||||
//select opposite vertex
|
|
||||||
let test_vert_id=edge_verts.as_ref()[directed_edge_id.parity() as usize];
|
|
||||||
let test_pos=self.mesh.vert(test_vert_id);
|
|
||||||
let diff=point-test_pos;
|
|
||||||
let distance_squared=diff.dot(diff);
|
|
||||||
// ensure test_vert_id is coplanar to simplex
|
|
||||||
if distance_squared<self.best_distance_squared&&self.constraint.contains(test_pos){
|
|
||||||
best_transition=Transition::Vert(test_vert_id);
|
|
||||||
self.best_distance_squared=distance_squared;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
best_transition
|
|
||||||
}
|
|
||||||
fn final_ev(&mut self,vert_id:M::Vert,point:Planar64Vec3)->EV<M>{
|
|
||||||
let mut best_transition=EV::Vert(vert_id);
|
|
||||||
let vert_pos=self.mesh.vert(vert_id);
|
|
||||||
let diff=point-vert_pos;
|
|
||||||
for &directed_edge_id in self.mesh.vert_edges(vert_id).as_ref(){
|
|
||||||
//test if this edge is closer
|
|
||||||
let edge_verts=self.mesh.edge_verts(directed_edge_id.as_undirected());
|
|
||||||
let test_vert_id=edge_verts.as_ref()[directed_edge_id.parity() as usize];
|
|
||||||
let test_pos=self.mesh.vert(test_vert_id);
|
|
||||||
let edge_n=test_pos-vert_pos;
|
|
||||||
let d=edge_n.dot(diff);
|
|
||||||
//test the edge
|
|
||||||
let edge_nn=edge_n.dot(edge_n);
|
|
||||||
// ensure edge contains closest point and directed_edge_id is coplanar to simplex
|
|
||||||
if !d.is_negative()&&d<=edge_nn&&self.constraint.contains(test_pos){
|
|
||||||
let distance_squared={
|
|
||||||
let c=diff.cross(edge_n);
|
|
||||||
//wrap for speed
|
|
||||||
(c.dot(c)/edge_nn).divide().wrap_2()
|
|
||||||
};
|
|
||||||
if distance_squared<=self.best_distance_squared{
|
|
||||||
best_transition=EV::Edge(directed_edge_id.as_undirected());
|
|
||||||
self.best_distance_squared=distance_squared;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
best_transition
|
|
||||||
}
|
|
||||||
fn crawl_boundaries(&mut self,mut vert_id:M::Vert,point:Planar64Vec3)->EV<M>{
|
|
||||||
loop{
|
|
||||||
match self.next_transition_vert(vert_id,point){
|
|
||||||
Transition::Done=>return self.final_ev(vert_id,point),
|
|
||||||
Transition::Vert(new_vert_id)=>vert_id=new_vert_id,
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
/// This function drops a vertex down to an edge or a face if the path from infinity did not cross any vertex-edge boundaries but the point is supposed to have already crossed a boundary down from a vertex
|
|
||||||
fn crawl_to_closest_ev<M:MeshQuery>(mesh:&M,simplex:Simplex<2,M::Vert>,point:Planar64Vec3)->EV<M>{
|
|
||||||
// naively start at the closest vertex
|
|
||||||
// the closest vertex is not necessarily the one with the fewest boundary hops
|
|
||||||
// but it doesn't matter, we will get there regardless.
|
|
||||||
let (vert_id,best_distance_squared)=simplex.into_iter().map(|vert_id|{
|
|
||||||
let diff=point-mesh.vert(vert_id);
|
|
||||||
(vert_id,diff.dot(diff))
|
|
||||||
}).min_by_key(|&(_,d)|d).unwrap();
|
|
||||||
|
|
||||||
let constraint=ThickLine::new(mesh,simplex);
|
|
||||||
let mut finder=EVFinder{constraint,mesh,best_distance_squared};
|
|
||||||
//start on any vertex
|
|
||||||
//cross uncrossable vertex-edge boundaries until you find the closest vertex or edge
|
|
||||||
//cross edge-face boundary if it's uncrossable
|
|
||||||
finder.crawl_boundaries(vert_id,point)
|
|
||||||
}
|
|
||||||
|
|
||||||
/// This function drops a vertex down to an edge or a face if the path from infinity did not cross any vertex-edge boundaries but the point is supposed to have already crossed a boundary down from a vertex
|
|
||||||
fn crawl_to_closest_fev<'a>(mesh:&MinkowskiMesh<'a>,simplex:Simplex<3,MinkowskiVert>,point:Planar64Vec3)->FEV::<MinkowskiMesh<'a>>{
|
|
||||||
// naively start at the closest vertex
|
|
||||||
// the closest vertex is not necessarily the one with the fewest boundary hops
|
|
||||||
// but it doesn't matter, we will get there regardless.
|
|
||||||
let (vert_id,best_distance_squared)=simplex.into_iter().map(|vert_id|{
|
|
||||||
let diff=point-mesh.vert(vert_id);
|
|
||||||
(vert_id,diff.dot(diff))
|
|
||||||
}).min_by_key(|&(_,d)|d).unwrap();
|
|
||||||
|
|
||||||
let constraint=ThickPlane::new(mesh,simplex);
|
|
||||||
let mut finder=EVFinder{constraint,mesh,best_distance_squared};
|
|
||||||
//start on any vertex
|
|
||||||
//cross uncrossable vertex-edge boundaries until you find the closest vertex or edge
|
|
||||||
//cross edge-face boundary if it's uncrossable
|
|
||||||
match finder.crawl_boundaries(vert_id,point){
|
|
||||||
//if a vert is returned, it is the closest point to the infinity point
|
|
||||||
EV::Vert(vert_id)=>FEV::Vert(vert_id),
|
|
||||||
EV::Edge(edge_id)=>{
|
|
||||||
//cross to face if we are on the wrong side
|
|
||||||
let edge_n=mesh.edge_n(edge_id);
|
|
||||||
// point is multiplied by two because vert_sum sums two vertices.
|
|
||||||
let delta_pos=point*2-{
|
|
||||||
let &[v0,v1]=mesh.edge_verts(edge_id).as_ref();
|
|
||||||
mesh.vert(v0)+mesh.vert(v1)
|
|
||||||
};
|
|
||||||
for (i,&face_id) in mesh.edge_faces(edge_id).as_ref().iter().enumerate(){
|
|
||||||
//test if this face is closer
|
|
||||||
let (face_n,d)=mesh.face_nd(face_id);
|
|
||||||
//if test point is behind face, the face is invalid
|
|
||||||
// TODO: find out why I thought of this backwards
|
|
||||||
if !(face_n.dot(point)-d).is_positive(){
|
|
||||||
continue;
|
|
||||||
}
|
|
||||||
//edge-face boundary nd, n facing out of the face towards the edge
|
|
||||||
let boundary_n=face_n.cross(edge_n)*(i as i64*2-1);
|
|
||||||
let boundary_d=boundary_n.dot(delta_pos);
|
|
||||||
//is test point behind edge, i.e. contained in the face
|
|
||||||
if !boundary_d.is_positive(){
|
|
||||||
//both faces cannot pass this condition, return early if one does.
|
|
||||||
return FEV::Face(face_id);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
FEV::Edge(edge_id)
|
|
||||||
},
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn closest_fev_not_inside<'a>(mesh:&MinkowskiMesh<'a>,point:Planar64Vec3)->Option<FEV<MinkowskiMesh<'a>>>{
|
|
||||||
const ENABLE_FAST_FAIL:bool=false;
|
|
||||||
// TODO: remove mesh negation
|
|
||||||
minimum_difference::<ENABLE_FAST_FAIL,_,_>(&-mesh,point,
|
|
||||||
// on_exact
|
|
||||||
|is_intersecting,simplex|{
|
|
||||||
if is_intersecting{
|
|
||||||
return None;
|
|
||||||
}
|
|
||||||
// Convert simplex to FEV
|
|
||||||
// Vertices must be inverted since the mesh is inverted
|
|
||||||
Some(match simplex{
|
|
||||||
Simplex1_3::Simplex1([v0])=>FEV::Vert(-v0),
|
|
||||||
Simplex1_3::Simplex2([v0,v1])=>{
|
|
||||||
// invert
|
|
||||||
let (v0,v1)=(-v0,-v1);
|
|
||||||
let ev=crawl_to_closest_ev(mesh,[v0,v1],point);
|
|
||||||
if !matches!(ev,EV::Edge(_)){
|
|
||||||
println!("I can't believe it's not an edge!");
|
|
||||||
}
|
|
||||||
ev.into()
|
|
||||||
},
|
|
||||||
Simplex1_3::Simplex3([v0,v1,v2])=>{
|
|
||||||
// invert
|
|
||||||
let (v0,v1,v2)=(-v0,-v1,-v2);
|
|
||||||
// Shimmy to the side until you find a face that contains the closest point
|
|
||||||
// it's ALWAYS representable as a face, but this algorithm may
|
|
||||||
// return E or V in edge cases but I don't think that will break the face crawler
|
|
||||||
let fev=crawl_to_closest_fev(mesh,[v0,v1,v2],point);
|
|
||||||
if !matches!(fev,FEV::Face(_)){
|
|
||||||
println!("I can't believe it's not a face!");
|
|
||||||
}
|
|
||||||
fev
|
|
||||||
},
|
|
||||||
})
|
|
||||||
},
|
|
||||||
// on_escape
|
|
||||||
|_simplex|{
|
|
||||||
// intersection is guaranteed at this point
|
|
||||||
// local norm, dist, u0, u1, v0, v1, w0, w1 = expand(queryP, queryQ, a0, a1, b0, b1, c0, c1, d0, d1, 1e-5)
|
|
||||||
// let simplex=refine_to_exact(mesh,simplex);
|
|
||||||
None
|
|
||||||
},
|
|
||||||
// fast_fail value is irrelevant and will never be returned!
|
|
||||||
||unreachable!()
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
// local function minimumDifference(
|
|
||||||
// queryP, radiusP,
|
|
||||||
// queryQ, radiusQ,
|
|
||||||
// exitRadius, testIntersection
|
|
||||||
// )
|
|
||||||
fn minimum_difference<const ENABLE_FAST_FAIL:bool,T,M:MeshQuery>(
|
|
||||||
mesh:&M,
|
|
||||||
point:Planar64Vec3,
|
|
||||||
on_exact:impl FnOnce(bool,Simplex1_3<M::Vert>)->T,
|
|
||||||
on_escape:impl FnOnce(Simplex<4,M::Vert>)->T,
|
|
||||||
on_fast_fail:impl FnOnce()->T,
|
|
||||||
)->T{
|
|
||||||
// local initialAxis = queryQ() - queryP()
|
|
||||||
// local new_point_p = queryP(initialAxis)
|
|
||||||
// local new_point_q = queryQ(-initialAxis)
|
|
||||||
// local direction, a0, a1, b0, b1, c0, c1, d0, d1
|
|
||||||
let mut initial_axis=mesh.hint_point()+point;
|
|
||||||
// degenerate case
|
|
||||||
if initial_axis==vec3::zero(){
|
|
||||||
initial_axis=choose_any_direction();
|
|
||||||
}
|
|
||||||
let last_point=mesh.farthest_vert(-initial_axis);
|
|
||||||
// this represents the 'a' value in the commented code
|
|
||||||
let mut last_pos=mesh.vert(last_point);
|
|
||||||
let Reduced{dir:mut direction,simplex:mut simplex_small}=reduce1([last_point],mesh,point);
|
|
||||||
|
|
||||||
// exitRadius = testIntersection and 0 or exitRadius or 1/0
|
|
||||||
// for _ = 1, 100 do
|
|
||||||
loop{
|
|
||||||
// new_point_p = queryP(-direction)
|
|
||||||
// new_point_q = queryQ(direction)
|
|
||||||
// local next_point = new_point_q - new_point_p
|
|
||||||
let next_point=mesh.farthest_vert(direction);
|
|
||||||
let next_pos=mesh.vert(next_point);
|
|
||||||
|
|
||||||
// if -direction:Dot(next_point) > (exitRadius + radiusP + radiusQ)*direction.magnitude then
|
|
||||||
if ENABLE_FAST_FAIL&&direction.dot(next_pos+point).is_negative(){
|
|
||||||
return on_fast_fail();
|
|
||||||
}
|
|
||||||
|
|
||||||
let simplex_big=simplex_small.push_front(next_point);
|
|
||||||
|
|
||||||
// if
|
|
||||||
// direction:Dot(next_point - a) <= 0 or
|
|
||||||
// absDet(next_point, a, b, c) < 1e-6
|
|
||||||
if !direction.dot(next_pos-last_pos).is_positive()
|
|
||||||
||simplex_big.det_is_zero(mesh){
|
|
||||||
// Found enough information to compute the exact closest point.
|
|
||||||
// local norm = direction.unit
|
|
||||||
// local dist = a:Dot(norm)
|
|
||||||
// local hits = -dist < radiusP + radiusQ
|
|
||||||
let is_intersecting=(last_pos+point).dot(direction).is_positive();
|
|
||||||
return on_exact(is_intersecting,simplex_small);
|
|
||||||
}
|
|
||||||
|
|
||||||
// direction, a0, a1, b0, b1, c0, c1, d0, d1 = reduceSimplex(new_point_p, new_point_q, a0, a1, b0, b1, c0, c1)
|
|
||||||
match simplex_big.reduce(mesh,point){
|
|
||||||
// if a and b and c and d then
|
|
||||||
Reduce::Escape(simplex)=>{
|
|
||||||
// Enough information to conclude that the meshes are intersecting.
|
|
||||||
// Topology information is computed if needed.
|
|
||||||
return on_escape(simplex);
|
|
||||||
},
|
|
||||||
Reduce::Reduced(reduced)=>{
|
|
||||||
direction=reduced.dir;
|
|
||||||
simplex_small=reduced.simplex;
|
|
||||||
},
|
|
||||||
}
|
|
||||||
|
|
||||||
// next loop this will be a
|
|
||||||
last_pos=next_pos;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[cfg(test)]
|
|
||||||
mod test{
|
|
||||||
use super::*;
|
|
||||||
use crate::model::{PhysicsMesh,PhysicsMeshView};
|
|
||||||
|
|
||||||
fn mesh_contains_point(mesh:PhysicsMeshView<'_>,point:Planar64Vec3)->bool{
|
|
||||||
const ENABLE_FAST_FAIL:bool=true;
|
|
||||||
// TODO: remove mesh negation
|
|
||||||
minimum_difference::<ENABLE_FAST_FAIL,_,_>(&mesh,point,
|
|
||||||
// on_exact
|
|
||||||
|is_intersecting,_simplex|{
|
|
||||||
is_intersecting
|
|
||||||
},
|
|
||||||
// on_escape
|
|
||||||
|_simplex|{
|
|
||||||
// intersection is guaranteed at this point
|
|
||||||
true
|
|
||||||
},
|
|
||||||
// fast_fail value
|
|
||||||
||false
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_cube_points(){
|
|
||||||
let mesh=PhysicsMesh::unit_cube();
|
|
||||||
let mesh_view=mesh.complete_mesh_view();
|
|
||||||
for x in -2..=2{
|
|
||||||
for y in -2..=2{
|
|
||||||
for z in -2..=2{
|
|
||||||
let point=vec3::int(x,y,z)>>1;
|
|
||||||
assert!(mesh_contains_point(mesh_view,point),"Mesh did not contain point {point}");
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
@@ -90,10 +90,6 @@ pub trait MeshQuery{
|
|||||||
let &[v0,v1]=self.edge_verts(directed_edge_id.as_undirected()).as_ref();
|
let &[v0,v1]=self.edge_verts(directed_edge_id.as_undirected()).as_ref();
|
||||||
(self.vert(v1)-self.vert(v0))*((directed_edge_id.parity() as i64)*2-1)
|
(self.vert(v1)-self.vert(v0))*((directed_edge_id.parity() as i64)*2-1)
|
||||||
}
|
}
|
||||||
/// This must return a point inside the mesh.
|
|
||||||
#[expect(dead_code)]
|
|
||||||
fn hint_point(&self)->Planar64Vec3;
|
|
||||||
fn farthest_vert(&self,dir:Planar64Vec3)->Self::Vert;
|
|
||||||
fn vert(&self,vert_id:Self::Vert)->Planar64Vec3;
|
fn vert(&self,vert_id:Self::Vert)->Planar64Vec3;
|
||||||
fn face_nd(&self,face_id:Self::Face)->(Self::Normal,Self::Offset);
|
fn face_nd(&self,face_id:Self::Face)->(Self::Normal,Self::Offset);
|
||||||
fn face_edges(&self,face_id:Self::Face)->impl AsRef<[Self::Edge]>;
|
fn face_edges(&self,face_id:Self::Face)->impl AsRef<[Self::Edge]>;
|
||||||
@@ -104,21 +100,17 @@ pub trait MeshQuery{
|
|||||||
}
|
}
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
struct FaceRefs{
|
struct FaceRefs{
|
||||||
// I didn't write it down, but I assume the edges are directed
|
|
||||||
// clockwise when looking towards the face normal, i.e. right hand rule.
|
|
||||||
edges:Vec<SubmeshDirectedEdgeId>,
|
edges:Vec<SubmeshDirectedEdgeId>,
|
||||||
//verts are redundant, use edge[i].verts[0]
|
|
||||||
//verts:Vec<VertId>,
|
//verts:Vec<VertId>,
|
||||||
}
|
}
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
struct EdgeRefs{
|
struct EdgeRefs{
|
||||||
faces:[SubmeshFaceId;2],//left, right
|
faces:[SubmeshFaceId;2],//left, right
|
||||||
verts:[SubmeshVertId;2],//start, end
|
verts:[SubmeshVertId;2],//bottom, top
|
||||||
}
|
}
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
struct VertRefs{
|
struct VertRefs{
|
||||||
faces:Vec<SubmeshFaceId>,
|
faces:Vec<SubmeshFaceId>,
|
||||||
// edges are always directed away from the vert
|
|
||||||
edges:Vec<SubmeshDirectedEdgeId>,
|
edges:Vec<SubmeshDirectedEdgeId>,
|
||||||
}
|
}
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
@@ -440,7 +432,7 @@ impl TryFrom<&model::Mesh> for PhysicsMesh{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug,Clone,Copy)]
|
#[derive(Debug)]
|
||||||
pub struct PhysicsMeshView<'a>{
|
pub struct PhysicsMeshView<'a>{
|
||||||
data:&'a PhysicsMeshData,
|
data:&'a PhysicsMeshData,
|
||||||
topology:&'a PhysicsMeshTopology,
|
topology:&'a PhysicsMeshTopology,
|
||||||
@@ -455,22 +447,6 @@ impl MeshQuery for PhysicsMeshView<'_>{
|
|||||||
let face_idx=self.topology.faces[face_id.get() as usize].get() as usize;
|
let face_idx=self.topology.faces[face_id.get() as usize].get() as usize;
|
||||||
(self.data.faces[face_idx].normal,self.data.faces[face_idx].dot)
|
(self.data.faces[face_idx].normal,self.data.faces[face_idx].dot)
|
||||||
}
|
}
|
||||||
fn hint_point(&self)->Planar64Vec3{
|
|
||||||
// invariant: meshes always encompass the origin
|
|
||||||
vec3::zero()
|
|
||||||
}
|
|
||||||
fn farthest_vert(&self,dir:Planar64Vec3)->SubmeshVertId{
|
|
||||||
//this happens to be well-defined. there are no virtual virtices
|
|
||||||
SubmeshVertId::new(
|
|
||||||
self.topology.verts.iter()
|
|
||||||
.enumerate()
|
|
||||||
.max_by_key(|&(_,&vert_id)|
|
|
||||||
dir.dot(self.data.verts[vert_id.get() as usize].0)
|
|
||||||
)
|
|
||||||
//assume there is more than zero vertices.
|
|
||||||
.unwrap().0 as u32
|
|
||||||
)
|
|
||||||
}
|
|
||||||
//ideally I never calculate the vertex position, but I have to for the graphical meshes...
|
//ideally I never calculate the vertex position, but I have to for the graphical meshes...
|
||||||
fn vert(&self,vert_id:SubmeshVertId)->Planar64Vec3{
|
fn vert(&self,vert_id:SubmeshVertId)->Planar64Vec3{
|
||||||
let vert_idx=self.topology.verts[vert_id.get() as usize].get() as usize;
|
let vert_idx=self.topology.verts[vert_id.get() as usize].get() as usize;
|
||||||
@@ -509,7 +485,7 @@ impl PhysicsMeshTransform{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug,Clone,Copy)]
|
#[derive(Debug)]
|
||||||
pub struct TransformedMesh<'a>{
|
pub struct TransformedMesh<'a>{
|
||||||
view:PhysicsMeshView<'a>,
|
view:PhysicsMeshView<'a>,
|
||||||
transform:&'a PhysicsMeshTransform,
|
transform:&'a PhysicsMeshTransform,
|
||||||
@@ -524,11 +500,20 @@ impl TransformedMesh<'_>{
|
|||||||
transform,
|
transform,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
pub fn verts<'a>(&'a self)->impl Iterator<Item=Vector3<Fixed<2,64>>>+'a{
|
pub fn verts<'a>(&'a self)->impl Iterator<Item=vec3::Vector3<Fixed<2,64>>>+'a{
|
||||||
self.view.data.verts.iter().map(|&Vert(pos)|self.transform.vertex.transform_point3(pos))
|
self.view.data.verts.iter().map(|&Vert(pos)|self.transform.vertex.transform_point3(pos))
|
||||||
}
|
}
|
||||||
pub fn faces(&self)->impl Iterator<Item=SubmeshFaceId>{
|
fn farthest_vert(&self,dir:Planar64Vec3)->SubmeshVertId{
|
||||||
(0..self.view.topology.faces.len() as u32).map(SubmeshFaceId::new)
|
//this happens to be well-defined. there are no virtual virtices
|
||||||
|
SubmeshVertId::new(
|
||||||
|
self.view.topology.verts.iter()
|
||||||
|
.enumerate()
|
||||||
|
.max_by_key(|&(_,&vert_id)|
|
||||||
|
dir.dot(self.transform.vertex.transform_point3(self.view.data.verts[vert_id.get() as usize].0))
|
||||||
|
)
|
||||||
|
//assume there is more than zero vertices.
|
||||||
|
.unwrap().0 as u32
|
||||||
|
)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl MeshQuery for TransformedMesh<'_>{
|
impl MeshQuery for TransformedMesh<'_>{
|
||||||
@@ -547,21 +532,6 @@ impl MeshQuery for TransformedMesh<'_>{
|
|||||||
// wrap for speed
|
// wrap for speed
|
||||||
self.transform.vertex.transform_point3(self.view.vert(vert_id)).wrap_1()
|
self.transform.vertex.transform_point3(self.view.vert(vert_id)).wrap_1()
|
||||||
}
|
}
|
||||||
fn hint_point(&self)->Planar64Vec3{
|
|
||||||
self.transform.vertex.translation
|
|
||||||
}
|
|
||||||
fn farthest_vert(&self,dir:Planar64Vec3)->SubmeshVertId{
|
|
||||||
//this happens to be well-defined. there are no virtual virtices
|
|
||||||
SubmeshVertId::new(
|
|
||||||
self.view.topology.verts.iter()
|
|
||||||
.enumerate()
|
|
||||||
.max_by_key(|&(_,&vert_id)|
|
|
||||||
dir.dot(self.transform.vertex.transform_point3(self.view.data.verts[vert_id.get() as usize].0))
|
|
||||||
)
|
|
||||||
//assume there is more than zero vertices.
|
|
||||||
.unwrap().0 as u32
|
|
||||||
)
|
|
||||||
}
|
|
||||||
#[inline]
|
#[inline]
|
||||||
fn face_edges(&self,face_id:SubmeshFaceId)->impl AsRef<[SubmeshDirectedEdgeId]>{
|
fn face_edges(&self,face_id:SubmeshFaceId)->impl AsRef<[SubmeshDirectedEdgeId]>{
|
||||||
self.view.face_edges(face_id)
|
self.view.face_edges(face_id)
|
||||||
@@ -588,20 +558,11 @@ impl MeshQuery for TransformedMesh<'_>{
|
|||||||
//(face,vertex)
|
//(face,vertex)
|
||||||
//(edge,edge)
|
//(edge,edge)
|
||||||
//(vertex,face)
|
//(vertex,face)
|
||||||
#[derive(Clone,Copy,Debug,Eq,PartialEq)]
|
#[derive(Clone,Copy,Debug)]
|
||||||
pub enum MinkowskiVert{
|
pub enum MinkowskiVert{
|
||||||
VertVert(SubmeshVertId,SubmeshVertId),
|
VertVert(SubmeshVertId,SubmeshVertId),
|
||||||
}
|
}
|
||||||
// TODO: remove this
|
#[derive(Clone,Copy,Debug)]
|
||||||
impl core::ops::Neg for MinkowskiVert{
|
|
||||||
type Output=Self;
|
|
||||||
fn neg(self)->Self::Output{
|
|
||||||
match self{
|
|
||||||
MinkowskiVert::VertVert(v0,v1)=>MinkowskiVert::VertVert(v1,v0),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
#[derive(Clone,Copy,Debug,Eq,PartialEq)]
|
|
||||||
pub enum MinkowskiEdge{
|
pub enum MinkowskiEdge{
|
||||||
VertEdge(SubmeshVertId,SubmeshEdgeId),
|
VertEdge(SubmeshVertId,SubmeshEdgeId),
|
||||||
EdgeVert(SubmeshEdgeId,SubmeshVertId),
|
EdgeVert(SubmeshEdgeId,SubmeshVertId),
|
||||||
@@ -616,7 +577,7 @@ impl UndirectedEdge for MinkowskiEdge{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
#[derive(Clone,Copy,Debug,Eq,PartialEq)]
|
#[derive(Clone,Copy,Debug)]
|
||||||
pub enum MinkowskiDirectedEdge{
|
pub enum MinkowskiDirectedEdge{
|
||||||
VertEdge(SubmeshVertId,SubmeshDirectedEdgeId),
|
VertEdge(SubmeshVertId,SubmeshDirectedEdgeId),
|
||||||
EdgeVert(SubmeshDirectedEdgeId,SubmeshVertId),
|
EdgeVert(SubmeshDirectedEdgeId,SubmeshVertId),
|
||||||
@@ -637,7 +598,7 @@ impl DirectedEdge for MinkowskiDirectedEdge{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
#[derive(Clone,Copy,Debug,Hash)]
|
#[derive(Clone,Copy,Debug,Hash,Eq,PartialEq)]
|
||||||
pub enum MinkowskiFace{
|
pub enum MinkowskiFace{
|
||||||
VertFace(SubmeshVertId,SubmeshFaceId),
|
VertFace(SubmeshVertId,SubmeshFaceId),
|
||||||
EdgeEdge(SubmeshEdgeId,SubmeshEdgeId,bool),
|
EdgeEdge(SubmeshEdgeId,SubmeshEdgeId,bool),
|
||||||
@@ -653,20 +614,23 @@ pub struct MinkowskiMesh<'a>{
|
|||||||
mesh1:TransformedMesh<'a>,
|
mesh1:TransformedMesh<'a>,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
//infinity fev algorithm state transition
|
||||||
|
#[derive(Debug)]
|
||||||
|
enum Transition{
|
||||||
|
Done,//found closest vert, no edges are better
|
||||||
|
Vert(MinkowskiVert),//transition to vert
|
||||||
|
}
|
||||||
|
enum EV{
|
||||||
|
Vert(MinkowskiVert),
|
||||||
|
Edge(MinkowskiEdge),
|
||||||
|
}
|
||||||
|
|
||||||
pub type GigaTime=Ratio<Fixed<4,128>,Fixed<4,128>>;
|
pub type GigaTime=Ratio<Fixed<4,128>,Fixed<4,128>>;
|
||||||
pub fn into_giga_time(time:Time,relative_to:Time)->GigaTime{
|
pub fn into_giga_time(time:Time,relative_to:Time)->GigaTime{
|
||||||
let r=(time-relative_to).to_ratio();
|
let r=(time-relative_to).to_ratio();
|
||||||
Ratio::new(r.num.widen_4(),r.den.widen_4())
|
Ratio::new(r.num.widen_4(),r.den.widen_4())
|
||||||
}
|
}
|
||||||
|
|
||||||
// TODO: remove this
|
|
||||||
impl<'a> core::ops::Neg for &MinkowskiMesh<'a>{
|
|
||||||
type Output=MinkowskiMesh<'a>;
|
|
||||||
fn neg(self)->Self::Output{
|
|
||||||
MinkowskiMesh::minkowski_sum(self.mesh1,self.mesh0)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl MinkowskiMesh<'_>{
|
impl MinkowskiMesh<'_>{
|
||||||
pub fn minkowski_sum<'a>(mesh0:TransformedMesh<'a>,mesh1:TransformedMesh<'a>)->MinkowskiMesh<'a>{
|
pub fn minkowski_sum<'a>(mesh0:TransformedMesh<'a>,mesh1:TransformedMesh<'a>)->MinkowskiMesh<'a>{
|
||||||
MinkowskiMesh{
|
MinkowskiMesh{
|
||||||
@@ -674,34 +638,150 @@ impl MinkowskiMesh<'_>{
|
|||||||
mesh1,
|
mesh1,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
fn farthest_vert(&self,dir:Planar64Vec3)->MinkowskiVert{
|
||||||
|
MinkowskiVert::VertVert(self.mesh0.farthest_vert(dir),self.mesh1.farthest_vert(-dir))
|
||||||
|
}
|
||||||
|
fn next_transition_vert(&self,vert_id:MinkowskiVert,best_distance_squared:&mut Fixed<2,64>,infinity_dir:Planar64Vec3,point:Planar64Vec3)->Transition{
|
||||||
|
let mut best_transition=Transition::Done;
|
||||||
|
for &directed_edge_id in self.vert_edges(vert_id).as_ref(){
|
||||||
|
let edge_n=self.directed_edge_n(directed_edge_id);
|
||||||
|
//is boundary uncrossable by a crawl from infinity
|
||||||
|
let edge_verts=self.edge_verts(directed_edge_id.as_undirected());
|
||||||
|
//select opposite vertex
|
||||||
|
let test_vert_id=edge_verts.as_ref()[directed_edge_id.parity() as usize];
|
||||||
|
//test if it's closer
|
||||||
|
let diff=point-self.vert(test_vert_id);
|
||||||
|
if edge_n.dot(infinity_dir).is_zero(){
|
||||||
|
let distance_squared=diff.dot(diff);
|
||||||
|
if distance_squared<*best_distance_squared{
|
||||||
|
best_transition=Transition::Vert(test_vert_id);
|
||||||
|
*best_distance_squared=distance_squared;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
best_transition
|
||||||
|
}
|
||||||
|
fn final_ev(&self,vert_id:MinkowskiVert,best_distance_squared:&mut Fixed<2,64>,infinity_dir:Planar64Vec3,point:Planar64Vec3)->EV{
|
||||||
|
let mut best_transition=EV::Vert(vert_id);
|
||||||
|
let diff=point-self.vert(vert_id);
|
||||||
|
for &directed_edge_id in self.vert_edges(vert_id).as_ref(){
|
||||||
|
let edge_n=self.directed_edge_n(directed_edge_id);
|
||||||
|
//is boundary uncrossable by a crawl from infinity
|
||||||
|
//check if time of collision is outside Time::MIN..Time::MAX
|
||||||
|
if edge_n.dot(infinity_dir).is_zero(){
|
||||||
|
let d=edge_n.dot(diff);
|
||||||
|
//test the edge
|
||||||
|
let edge_nn=edge_n.dot(edge_n);
|
||||||
|
if !d.is_negative()&&d<=edge_nn{
|
||||||
|
let distance_squared={
|
||||||
|
let c=diff.cross(edge_n);
|
||||||
|
//wrap for speed
|
||||||
|
(c.dot(c)/edge_nn).divide().wrap_2()
|
||||||
|
};
|
||||||
|
if distance_squared<=*best_distance_squared{
|
||||||
|
best_transition=EV::Edge(directed_edge_id.as_undirected());
|
||||||
|
*best_distance_squared=distance_squared;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
best_transition
|
||||||
|
}
|
||||||
|
fn crawl_boundaries(&self,mut vert_id:MinkowskiVert,infinity_dir:Planar64Vec3,point:Planar64Vec3)->EV{
|
||||||
|
let mut best_distance_squared={
|
||||||
|
let diff=point-self.vert(vert_id);
|
||||||
|
diff.dot(diff)
|
||||||
|
};
|
||||||
|
loop{
|
||||||
|
match self.next_transition_vert(vert_id,&mut best_distance_squared,infinity_dir,point){
|
||||||
|
Transition::Done=>return self.final_ev(vert_id,&mut best_distance_squared,infinity_dir,point),
|
||||||
|
Transition::Vert(new_vert_id)=>vert_id=new_vert_id,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
/// This function drops a vertex down to an edge or a face if the path from infinity did not cross any vertex-edge boundaries but the point is supposed to have already crossed a boundary down from a vertex
|
||||||
|
fn infinity_fev(&self,infinity_dir:Planar64Vec3,point:Planar64Vec3)->FEV::<MinkowskiMesh<'_>>{
|
||||||
|
//start on any vertex
|
||||||
|
//cross uncrossable vertex-edge boundaries until you find the closest vertex or edge
|
||||||
|
//cross edge-face boundary if it's uncrossable
|
||||||
|
match self.crawl_boundaries(self.farthest_vert(infinity_dir),infinity_dir,point){
|
||||||
|
//if a vert is returned, it is the closest point to the infinity point
|
||||||
|
EV::Vert(vert_id)=>FEV::Vert(vert_id),
|
||||||
|
EV::Edge(edge_id)=>{
|
||||||
|
//cross to face if the boundary is not crossable and we are on the wrong side
|
||||||
|
let edge_n=self.edge_n(edge_id);
|
||||||
|
// point is multiplied by two because vert_sum sums two vertices.
|
||||||
|
let delta_pos=point*2-{
|
||||||
|
let &[v0,v1]=self.edge_verts(edge_id).as_ref();
|
||||||
|
self.vert(v0)+self.vert(v1)
|
||||||
|
};
|
||||||
|
for (i,&face_id) in self.edge_faces(edge_id).as_ref().iter().enumerate(){
|
||||||
|
let face_n=self.face_nd(face_id).0;
|
||||||
|
//edge-face boundary nd, n facing out of the face towards the edge
|
||||||
|
let boundary_n=face_n.cross(edge_n)*(i as i64*2-1);
|
||||||
|
let boundary_d=boundary_n.dot(delta_pos);
|
||||||
|
//check if time of collision is outside Time::MIN..Time::MAX
|
||||||
|
//infinity_dir can always be treated as a velocity
|
||||||
|
if !boundary_d.is_positive()&&boundary_n.dot(infinity_dir).is_zero(){
|
||||||
|
//both faces cannot pass this condition, return early if one does.
|
||||||
|
return FEV::Face(face_id);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
FEV::Edge(edge_id)
|
||||||
|
},
|
||||||
|
}
|
||||||
|
}
|
||||||
|
// TODO: fundamentally improve this algorithm.
|
||||||
|
// All it needs to do is find the closest point on the mesh
|
||||||
|
// and return the FEV which the point resides on.
|
||||||
|
//
|
||||||
|
// What it actually does is use the above functions to trace a ray in from infinity,
|
||||||
|
// crawling the closest point along the mesh surface until the ray reaches
|
||||||
|
// the starting point to discover the final FEV.
|
||||||
|
//
|
||||||
|
// The actual collision prediction probably does a single test
|
||||||
|
// and then immediately returns with 0 FEV transitions on average,
|
||||||
|
// because of the strict time_limit constraint.
|
||||||
|
//
|
||||||
|
// Most of the calculation time is just calculating the starting point
|
||||||
|
// for the "actual" crawling algorithm below (predict_collision_{in|out}).
|
||||||
|
fn closest_fev_not_inside(&self,mut infinity_body:Body,start_time:Bound<&Time>)->Option<FEV<MinkowskiMesh<'_>>>{
|
||||||
|
infinity_body.infinity_dir().and_then(|dir|{
|
||||||
|
let infinity_fev=self.infinity_fev(-dir,infinity_body.position);
|
||||||
|
//a line is simpler to solve than a parabola
|
||||||
|
infinity_body.velocity=dir;
|
||||||
|
infinity_body.acceleration=vec3::ZERO;
|
||||||
|
//crawl in from negative infinity along a tangent line to get the closest fev
|
||||||
|
infinity_fev.crawl(self,&infinity_body,Bound::Unbounded,start_time).miss()
|
||||||
|
})
|
||||||
|
}
|
||||||
pub fn predict_collision_in(&self,relative_body:&Body,range:impl RangeBounds<Time>)->Option<(MinkowskiFace,GigaTime)>{
|
pub fn predict_collision_in(&self,relative_body:&Body,range:impl RangeBounds<Time>)->Option<(MinkowskiFace,GigaTime)>{
|
||||||
let fev=crate::minimum_difference::closest_fev_not_inside(self,relative_body.position)?;
|
self.closest_fev_not_inside(*relative_body,range.start_bound()).and_then(|fev|{
|
||||||
//continue forwards along the body parabola
|
//continue forwards along the body parabola
|
||||||
fev.crawl(self,relative_body,range.start_bound(),range.end_bound()).hit()
|
fev.crawl(self,relative_body,range.start_bound(),range.end_bound()).hit()
|
||||||
|
})
|
||||||
}
|
}
|
||||||
pub fn predict_collision_out(&self,relative_body:&Body,range:impl RangeBounds<Time>)->Option<(MinkowskiFace,GigaTime)>{
|
pub fn predict_collision_out(&self,relative_body:&Body,range:impl RangeBounds<Time>)->Option<(MinkowskiFace,GigaTime)>{
|
||||||
let (lower_bound,upper_bound)=(range.start_bound(),range.end_bound());
|
let (lower_bound,upper_bound)=(range.start_bound(),range.end_bound());
|
||||||
// TODO: handle unbounded collision using infinity fev
|
|
||||||
let time=match upper_bound{
|
|
||||||
Bound::Included(&time)=>time,
|
|
||||||
Bound::Excluded(&time)=>time,
|
|
||||||
Bound::Unbounded=>unimplemented!("unbounded collision out"),
|
|
||||||
};
|
|
||||||
let fev=crate::minimum_difference::closest_fev_not_inside(self,relative_body.extrapolated_position(time))?;
|
|
||||||
// swap and negate bounds to do a time inversion
|
// swap and negate bounds to do a time inversion
|
||||||
let (lower_bound,upper_bound)=(upper_bound.map(|&t|-t),lower_bound.map(|&t|-t));
|
let (lower_bound,upper_bound)=(upper_bound.map(|&t|-t),lower_bound.map(|&t|-t));
|
||||||
let infinity_body=-relative_body;
|
let infinity_body=-relative_body;
|
||||||
//continue backwards along the body parabola
|
self.closest_fev_not_inside(infinity_body,lower_bound.as_ref()).and_then(|fev|{
|
||||||
fev.crawl(self,&infinity_body,lower_bound.as_ref(),upper_bound.as_ref()).hit()
|
//continue backwards along the body parabola
|
||||||
//no need to test -time<time_limit because of the first step
|
fev.crawl(self,&infinity_body,lower_bound.as_ref(),upper_bound.as_ref()).hit()
|
||||||
.map(|(face,time)|(face,-time))
|
//no need to test -time<time_limit because of the first step
|
||||||
|
.map(|(face,time)|(face,-time))
|
||||||
|
})
|
||||||
}
|
}
|
||||||
pub fn predict_collision_face_out(&self,relative_body:&Body,range:impl RangeBounds<Time>,contact_face_id:MinkowskiFace)->Option<(MinkowskiDirectedEdge,GigaTime)>{
|
pub fn predict_collision_face_out(&self,relative_body:&Body,range:impl RangeBounds<Time>,contact_face_id:MinkowskiFace)->Option<(MinkowskiDirectedEdge,GigaTime)>{
|
||||||
// TODO: make better
|
// TODO: make better
|
||||||
use crate::face_crawler::{low,upp};
|
use crate::face_crawler::{low,upp};
|
||||||
//no algorithm needed, there is only one state and two cases (Edge,None)
|
//no algorithm needed, there is only one state and two cases (Edge,None)
|
||||||
//determine when it passes an edge ("sliding off" case)
|
//determine when it passes an edge ("sliding off" case)
|
||||||
let start_time=range.start_bound().map(|&t|(t-relative_body.time).to_ratio());
|
let start_time=range.start_bound().map(|&t|{
|
||||||
|
let r=(t-relative_body.time).to_ratio();
|
||||||
|
Ratio::new(r.num,r.den)
|
||||||
|
});
|
||||||
let mut best_time=range.end_bound().map(|&t|into_giga_time(t,relative_body.time));
|
let mut best_time=range.end_bound().map(|&t|into_giga_time(t,relative_body.time));
|
||||||
let mut best_edge=None;
|
let mut best_edge=None;
|
||||||
let face_n=self.face_nd(contact_face_id).0;
|
let face_n=self.face_nd(contact_face_id).0;
|
||||||
@@ -724,8 +804,20 @@ impl MinkowskiMesh<'_>{
|
|||||||
}
|
}
|
||||||
best_edge
|
best_edge
|
||||||
}
|
}
|
||||||
pub fn contains_point(&self,point:Planar64Vec3)->bool{
|
fn infinity_in(&self,infinity_body:Body)->Option<(MinkowskiFace,GigaTime)>{
|
||||||
crate::minimum_difference::contains_point(self,point)
|
let infinity_fev=self.infinity_fev(-infinity_body.velocity,infinity_body.position);
|
||||||
|
// Bound::Included means that the surface of the mesh is included in the mesh
|
||||||
|
infinity_fev.crawl(self,&infinity_body,Bound::Unbounded,Bound::Included(&infinity_body.time)).hit()
|
||||||
|
}
|
||||||
|
pub fn is_point_in_mesh(&self,point:Planar64Vec3)->bool{
|
||||||
|
let infinity_body=Body::new(point,vec3::Y,vec3::ZERO,Time::ZERO);
|
||||||
|
//movement must escape the mesh forwards and backwards in time,
|
||||||
|
//otherwise the point is not inside the mesh
|
||||||
|
self.infinity_in(infinity_body)
|
||||||
|
.is_some_and(|_|
|
||||||
|
self.infinity_in(-infinity_body)
|
||||||
|
.is_some()
|
||||||
|
)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl MeshQuery for MinkowskiMesh<'_>{
|
impl MeshQuery for MinkowskiMesh<'_>{
|
||||||
@@ -764,12 +856,6 @@ impl MeshQuery for MinkowskiMesh<'_>{
|
|||||||
},
|
},
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
fn hint_point(&self)->Planar64Vec3{
|
|
||||||
self.mesh0.transform.vertex.translation-self.mesh1.transform.vertex.translation
|
|
||||||
}
|
|
||||||
fn farthest_vert(&self,dir:Planar64Vec3)->MinkowskiVert{
|
|
||||||
MinkowskiVert::VertVert(self.mesh0.farthest_vert(dir),self.mesh1.farthest_vert(-dir))
|
|
||||||
}
|
|
||||||
fn face_edges(&self,face_id:MinkowskiFace)->impl AsRef<[MinkowskiDirectedEdge]>{
|
fn face_edges(&self,face_id:MinkowskiFace)->impl AsRef<[MinkowskiDirectedEdge]>{
|
||||||
match face_id{
|
match face_id{
|
||||||
MinkowskiFace::VertFace(v0,f1)=>{
|
MinkowskiFace::VertFace(v0,f1)=>{
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
@@ -39,18 +39,20 @@ impl Contact{
|
|||||||
|
|
||||||
//note that this is horrible with fixed point arithmetic
|
//note that this is horrible with fixed point arithmetic
|
||||||
fn solve1(c0:&Contact)->Option<Ratio<Vector3<Fixed<3,96>>,Fixed<2,64>>>{
|
fn solve1(c0:&Contact)->Option<Ratio<Vector3<Fixed<3,96>>,Fixed<2,64>>>{
|
||||||
|
const EPSILON:Fixed<2,64>=Fixed::from_bits(Fixed::<2,64>::ONE.to_bits().shr(10));
|
||||||
let det=c0.normal.dot(c0.velocity);
|
let det=c0.normal.dot(c0.velocity);
|
||||||
if det.abs()==Fixed::ZERO{
|
if det.abs()<EPSILON{
|
||||||
return None;
|
return None;
|
||||||
}
|
}
|
||||||
let d0=c0.normal.dot(c0.position);
|
let d0=c0.normal.dot(c0.position);
|
||||||
Some(c0.normal*d0/det)
|
Some(c0.normal*d0/det)
|
||||||
}
|
}
|
||||||
fn solve2(c0:&Contact,c1:&Contact)->Option<Ratio<Vector3<Fixed<5,160>>,Fixed<4,128>>>{
|
fn solve2(c0:&Contact,c1:&Contact)->Option<Ratio<Vector3<Fixed<5,160>>,Fixed<4,128>>>{
|
||||||
|
const EPSILON:Fixed<4,128>=Fixed::from_bits(Fixed::<4,128>::ONE.to_bits().shr(10));
|
||||||
let u0_u1=c0.velocity.cross(c1.velocity);
|
let u0_u1=c0.velocity.cross(c1.velocity);
|
||||||
let n0_n1=c0.normal.cross(c1.normal);
|
let n0_n1=c0.normal.cross(c1.normal);
|
||||||
let det=u0_u1.dot(n0_n1);
|
let det=u0_u1.dot(n0_n1);
|
||||||
if det.abs()==Fixed::ZERO{
|
if det.abs()<EPSILON{
|
||||||
return None;
|
return None;
|
||||||
}
|
}
|
||||||
let d0=c0.normal.dot(c0.position);
|
let d0=c0.normal.dot(c0.position);
|
||||||
@@ -58,9 +60,10 @@ fn solve2(c0:&Contact,c1:&Contact)->Option<Ratio<Vector3<Fixed<5,160>>,Fixed<4,1
|
|||||||
Some((c1.normal.cross(u0_u1)*d0+u0_u1.cross(c0.normal)*d1)/det)
|
Some((c1.normal.cross(u0_u1)*d0+u0_u1.cross(c0.normal)*d1)/det)
|
||||||
}
|
}
|
||||||
fn solve3(c0:&Contact,c1:&Contact,c2:&Contact)->Option<Ratio<Vector3<Fixed<4,128>>,Fixed<3,96>>>{
|
fn solve3(c0:&Contact,c1:&Contact,c2:&Contact)->Option<Ratio<Vector3<Fixed<4,128>>,Fixed<3,96>>>{
|
||||||
|
const EPSILON:Fixed<3,96>=Fixed::from_bits(Fixed::<3,96>::ONE.to_bits().shr(10));
|
||||||
let n0_n1=c0.normal.cross(c1.normal);
|
let n0_n1=c0.normal.cross(c1.normal);
|
||||||
let det=c2.normal.dot(n0_n1);
|
let det=c2.normal.dot(n0_n1);
|
||||||
if det.abs()==Fixed::ZERO{
|
if det.abs()<EPSILON{
|
||||||
return None;
|
return None;
|
||||||
}
|
}
|
||||||
let d0=c0.normal.dot(c0.position);
|
let d0=c0.normal.dot(c0.position);
|
||||||
@@ -146,7 +149,7 @@ fn is_space_enclosed_4(
|
|||||||
}
|
}
|
||||||
|
|
||||||
const fn get_push_ray_0(point:Planar64Vec3)->Ray{
|
const fn get_push_ray_0(point:Planar64Vec3)->Ray{
|
||||||
Ray{origin:point,direction:vec3::zero()}
|
Ray{origin:point,direction:vec3::ZERO}
|
||||||
}
|
}
|
||||||
fn get_push_ray_1(point:Planar64Vec3,c0:&Contact)->Option<Ray>{
|
fn get_push_ray_1(point:Planar64Vec3,c0:&Contact)->Option<Ray>{
|
||||||
//wrap for speed
|
//wrap for speed
|
||||||
@@ -318,13 +321,13 @@ mod tests{
|
|||||||
fn test_push_solve(){
|
fn test_push_solve(){
|
||||||
let contacts=vec![
|
let contacts=vec![
|
||||||
Contact{
|
Contact{
|
||||||
position:vec3::zero(),
|
position:vec3::ZERO,
|
||||||
velocity:vec3::Y,
|
velocity:vec3::Y,
|
||||||
normal:vec3::Y,
|
normal:vec3::Y,
|
||||||
}
|
}
|
||||||
];
|
];
|
||||||
assert_eq!(
|
assert_eq!(
|
||||||
vec3::zero(),
|
vec3::ZERO,
|
||||||
push_solve(&contacts,vec3::NEG_Y)
|
push_solve(&contacts,vec3::NEG_Y)
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -10,6 +10,3 @@ strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
|||||||
strafesnet_physics = { path = "../physics", registry = "strafesnet" }
|
strafesnet_physics = { path = "../physics", registry = "strafesnet" }
|
||||||
strafesnet_settings = { path = "../settings", registry = "strafesnet" }
|
strafesnet_settings = { path = "../settings", registry = "strafesnet" }
|
||||||
strafesnet_snf = { path = "../../lib/snf", registry = "strafesnet" }
|
strafesnet_snf = { path = "../../lib/snf", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -2,7 +2,6 @@ use std::collections::HashMap;
|
|||||||
|
|
||||||
use strafesnet_common::gameplay_modes::{ModeId,StageId};
|
use strafesnet_common::gameplay_modes::{ModeId,StageId};
|
||||||
use strafesnet_common::instruction::{InstructionConsumer,InstructionEmitter,InstructionFeedback,TimedInstruction};
|
use strafesnet_common::instruction::{InstructionConsumer,InstructionEmitter,InstructionFeedback,TimedInstruction};
|
||||||
use strafesnet_common::model::ModelId;
|
|
||||||
// session represents the non-hardware state of the client.
|
// session represents the non-hardware state of the client.
|
||||||
// Ideally it is a deterministic state which is atomically updated by instructions, same as the simulation state.
|
// Ideally it is a deterministic state which is atomically updated by instructions, same as the simulation state.
|
||||||
use strafesnet_common::physics::{
|
use strafesnet_common::physics::{
|
||||||
@@ -32,7 +31,7 @@ pub enum SessionInputInstruction{
|
|||||||
Mouse(glam::IVec2),
|
Mouse(glam::IVec2),
|
||||||
SetControl(strafesnet_common::physics::SetControlInstruction),
|
SetControl(strafesnet_common::physics::SetControlInstruction),
|
||||||
Mode(ImplicitModeInstruction),
|
Mode(ImplicitModeInstruction),
|
||||||
Misc(MiscInstruction),
|
Misc(strafesnet_common::physics::MiscInstruction),
|
||||||
}
|
}
|
||||||
/// Implicit mode instruction are fed separately to session.
|
/// Implicit mode instruction are fed separately to session.
|
||||||
/// Session generates the explicit mode instructions interlaced with a SetSensitivity instruction
|
/// Session generates the explicit mode instructions interlaced with a SetSensitivity instruction
|
||||||
@@ -62,7 +61,6 @@ pub struct FrameState{
|
|||||||
pub body:physics::Body,
|
pub body:physics::Body,
|
||||||
pub camera:physics::PhysicsCamera,
|
pub camera:physics::PhysicsCamera,
|
||||||
pub time:PhysicsTime,
|
pub time:PhysicsTime,
|
||||||
pub debug_model:Option<ModelId>,
|
|
||||||
}
|
}
|
||||||
|
|
||||||
pub struct Simulation{
|
pub struct Simulation{
|
||||||
@@ -79,12 +77,11 @@ impl Simulation{
|
|||||||
physics,
|
physics,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
pub fn get_frame_state(&self,time:SessionTime,debug_model:Option<ModelId>)->FrameState{
|
pub fn get_frame_state(&self,time:SessionTime)->FrameState{
|
||||||
FrameState{
|
FrameState{
|
||||||
body:self.physics.camera_body(),
|
body:self.physics.camera_body(),
|
||||||
camera:self.physics.camera(),
|
camera:self.physics.camera(),
|
||||||
time:self.timer.time(time),
|
time:self.timer.time(time),
|
||||||
debug_model,
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -155,16 +152,15 @@ enum ViewState{
|
|||||||
pub struct Session{
|
pub struct Session{
|
||||||
directories:Directories,
|
directories:Directories,
|
||||||
user_settings:UserSettings,
|
user_settings:UserSettings,
|
||||||
mouse_interpolator:MouseInterpolator,
|
mouse_interpolator:crate::mouse_interpolator::MouseInterpolator,
|
||||||
view_state:ViewState,
|
view_state:ViewState,
|
||||||
//gui:GuiState
|
//gui:GuiState
|
||||||
geometry_shared:PhysicsData,
|
geometry_shared:physics::PhysicsData,
|
||||||
simulation:Simulation,
|
simulation:Simulation,
|
||||||
// below fields not included in lite session
|
// below fields not included in lite session
|
||||||
recording:Recording,
|
recording:Recording,
|
||||||
//players:HashMap<PlayerId,Simulation>,
|
//players:HashMap<PlayerId,Simulation>,
|
||||||
replays:HashMap<BotId,Replay>,
|
replays:HashMap<BotId,Replay>,
|
||||||
last_ray_hit:Option<ModelId>,
|
|
||||||
}
|
}
|
||||||
impl Session{
|
impl Session{
|
||||||
pub fn new(
|
pub fn new(
|
||||||
@@ -181,7 +177,6 @@ impl Session{
|
|||||||
view_state:ViewState::Play,
|
view_state:ViewState::Play,
|
||||||
recording:Default::default(),
|
recording:Default::default(),
|
||||||
replays:HashMap::new(),
|
replays:HashMap::new(),
|
||||||
last_ray_hit:None,
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
fn clear_recording(&mut self){
|
fn clear_recording(&mut self){
|
||||||
@@ -193,25 +188,12 @@ impl Session{
|
|||||||
}
|
}
|
||||||
pub fn get_frame_state(&self,time:SessionTime)->Option<FrameState>{
|
pub fn get_frame_state(&self,time:SessionTime)->Option<FrameState>{
|
||||||
match &self.view_state{
|
match &self.view_state{
|
||||||
ViewState::Play=>Some(self.simulation.get_frame_state(time,self.last_ray_hit)),
|
ViewState::Play=>Some(self.simulation.get_frame_state(time)),
|
||||||
ViewState::Replay(bot_id)=>self.replays.get(bot_id).map(|replay|
|
ViewState::Replay(bot_id)=>self.replays.get(bot_id).map(|replay|
|
||||||
replay.simulation.get_frame_state(time,None)
|
replay.simulation.get_frame_state(time)
|
||||||
),
|
),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
pub fn debug_raycast_print_model_id_if_changed(&mut self,time:SessionTime){
|
|
||||||
if let Some(frame_state)=self.get_frame_state(time){
|
|
||||||
let ray=strafesnet_common::ray::Ray{
|
|
||||||
origin:frame_state.body.extrapolated_position(self.simulation.timer.time(time)),
|
|
||||||
direction:-frame_state.camera.rotation().z_axis,
|
|
||||||
};
|
|
||||||
let model_id=self.geometry_shared.trace_ray(ray);
|
|
||||||
if model_id!=self.last_ray_hit{
|
|
||||||
println!("hit={model_id:?}");
|
|
||||||
self.last_ray_hit=model_id;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
pub fn user_settings(&self)->&UserSettings{
|
pub fn user_settings(&self)->&UserSettings{
|
||||||
&self.user_settings
|
&self.user_settings
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -8,6 +8,3 @@ configparser = "3.0.2"
|
|||||||
directories = "6.0.0"
|
directories = "6.0.0"
|
||||||
glam = "0.30.0"
|
glam = "0.30.0"
|
||||||
strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
strafesnet_common = { path = "../../lib/common", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -10,6 +10,3 @@ strafesnet_physics = { path = "../engine/physics", registry = "strafesnet" }
|
|||||||
strafesnet_snf = { path = "../lib/snf", registry = "strafesnet" }
|
strafesnet_snf = { path = "../lib/snf", registry = "strafesnet" }
|
||||||
# this is just for the primitive constructor
|
# this is just for the primitive constructor
|
||||||
strafesnet_rbx_loader = { path = "../lib/rbx_loader", registry = "strafesnet" }
|
strafesnet_rbx_loader = { path = "../lib/rbx_loader", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -77,7 +77,7 @@ fn simultaneous_collision(){
|
|||||||
Time::ZERO,
|
Time::ZERO,
|
||||||
);
|
);
|
||||||
let mut physics=PhysicsState::new_with_body(body);
|
let mut physics=PhysicsState::new_with_body(body);
|
||||||
physics.style_mut().gravity=vec3::zero();
|
physics.style_mut().gravity=vec3::ZERO;
|
||||||
let mut phys_iter=PhysicsContext::iter_internal(&mut physics,&physics_data,Time::from_secs(2))
|
let mut phys_iter=PhysicsContext::iter_internal(&mut physics,&physics_data,Time::from_secs(2))
|
||||||
.filter(|ins|!matches!(ins.instruction,InternalInstruction::StrafeTick));
|
.filter(|ins|!matches!(ins.instruction,InternalInstruction::StrafeTick));
|
||||||
// the order that they hit does matter, but we aren't currently worrying about that.
|
// the order that they hit does matter, but we aren't currently worrying about that.
|
||||||
@@ -101,7 +101,7 @@ fn bug_3(){
|
|||||||
Time::ZERO,
|
Time::ZERO,
|
||||||
);
|
);
|
||||||
let mut physics=PhysicsState::new_with_body(body);
|
let mut physics=PhysicsState::new_with_body(body);
|
||||||
physics.style_mut().gravity=vec3::zero();
|
physics.style_mut().gravity=vec3::ZERO;
|
||||||
let mut phys_iter=PhysicsContext::iter_internal(&mut physics,&physics_data,Time::from_secs(3))
|
let mut phys_iter=PhysicsContext::iter_internal(&mut physics,&physics_data,Time::from_secs(3))
|
||||||
.filter(|ins|!matches!(ins.instruction,InternalInstruction::StrafeTick));
|
.filter(|ins|!matches!(ins.instruction,InternalInstruction::StrafeTick));
|
||||||
// touch side of part at 0,0,0
|
// touch side of part at 0,0,0
|
||||||
|
|||||||
@@ -29,7 +29,7 @@ fn physics_bug_2()->Result<(),ReplayError>{
|
|||||||
// wait one second to activate the bug
|
// wait one second to activate the bug
|
||||||
// hit=Some(ModelId(2262))
|
// hit=Some(ModelId(2262))
|
||||||
PhysicsContext::run_input_instruction(&mut physics,&physics_data,strafesnet_common::instruction::TimedInstruction{
|
PhysicsContext::run_input_instruction(&mut physics,&physics_data,strafesnet_common::instruction::TimedInstruction{
|
||||||
time:Time::from_millis(500),
|
time:strafesnet_common::integer::Time::from_millis(500),
|
||||||
instruction:strafesnet_common::physics::Instruction::Idle,
|
instruction:strafesnet_common::physics::Instruction::Idle,
|
||||||
});
|
});
|
||||||
|
|
||||||
@@ -68,7 +68,7 @@ fn physics_bug_3()->Result<(),ReplayError>{
|
|||||||
let mut physics=PhysicsState::new_with_body(body);
|
let mut physics=PhysicsState::new_with_body(body);
|
||||||
// wait one second to activate the bug
|
// wait one second to activate the bug
|
||||||
PhysicsContext::run_input_instruction(&mut physics,&physics_data,strafesnet_common::instruction::TimedInstruction{
|
PhysicsContext::run_input_instruction(&mut physics,&physics_data,strafesnet_common::instruction::TimedInstruction{
|
||||||
time:Time::from_millis(500),
|
time:strafesnet_common::integer::Time::from_millis(500),
|
||||||
instruction:strafesnet_common::physics::Instruction::Idle,
|
instruction:strafesnet_common::physics::Instruction::Idle,
|
||||||
});
|
});
|
||||||
|
|
||||||
|
|||||||
@@ -17,6 +17,3 @@ vbsp = "0.9.1"
|
|||||||
vbsp-entities-css = "0.6.0"
|
vbsp-entities-css = "0.6.0"
|
||||||
vmdl = "0.2.0"
|
vmdl = "0.2.0"
|
||||||
vpk = "0.3.0"
|
vpk = "0.3.0"
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -7,7 +7,7 @@ use crate::{valve_transform_normal,valve_transform_dist};
|
|||||||
#[derive(Hash,Eq,PartialEq)]
|
#[derive(Hash,Eq,PartialEq)]
|
||||||
struct Face{
|
struct Face{
|
||||||
normal:integer::Planar64Vec3,
|
normal:integer::Planar64Vec3,
|
||||||
dot:Planar64,
|
dot:integer::Planar64,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
@@ -210,7 +210,7 @@ pub fn faces_to_mesh(faces:Vec<Vec<integer::Planar64Vec3>>)->model::Mesh{
|
|||||||
let color=mb.acquire_color_id(glam::Vec4::ONE);
|
let color=mb.acquire_color_id(glam::Vec4::ONE);
|
||||||
let tex=mb.acquire_tex_id(glam::Vec2::ZERO);
|
let tex=mb.acquire_tex_id(glam::Vec2::ZERO);
|
||||||
// normals are ignored by physics
|
// normals are ignored by physics
|
||||||
let normal=mb.acquire_normal_id(integer::vec3::zero());
|
let normal=mb.acquire_normal_id(integer::vec3::ZERO);
|
||||||
|
|
||||||
let polygon_list=faces.into_iter().map(|face|{
|
let polygon_list=faces.into_iter().map(|face|{
|
||||||
face.into_iter().map(|pos|{
|
face.into_iter().map(|pos|{
|
||||||
|
|||||||
@@ -105,7 +105,7 @@ pub fn convert<'a>(
|
|||||||
water:Some(attr::IntersectingWater{
|
water:Some(attr::IntersectingWater{
|
||||||
viscosity:integer::Planar64::ONE,
|
viscosity:integer::Planar64::ONE,
|
||||||
density:integer::Planar64::ONE,
|
density:integer::Planar64::ONE,
|
||||||
velocity:integer::vec3::zero(),
|
velocity:integer::vec3::ZERO,
|
||||||
}),
|
}),
|
||||||
},
|
},
|
||||||
general:attr::GeneralAttributes::default(),
|
general:attr::GeneralAttributes::default(),
|
||||||
@@ -295,7 +295,7 @@ pub fn convert<'a>(
|
|||||||
attributes,
|
attributes,
|
||||||
transform:integer::Planar64Affine3::new(
|
transform:integer::Planar64Affine3::new(
|
||||||
integer::mat3::identity(),
|
integer::mat3::identity(),
|
||||||
integer::vec3::zero(),
|
integer::vec3::ZERO,
|
||||||
),
|
),
|
||||||
color:glam::Vec4::ONE,
|
color:glam::Vec4::ONE,
|
||||||
});
|
});
|
||||||
@@ -347,7 +347,7 @@ pub struct PartialMap1{
|
|||||||
modes:NormalizedModes,
|
modes:NormalizedModes,
|
||||||
}
|
}
|
||||||
impl PartialMap1{
|
impl PartialMap1{
|
||||||
pub fn add_prop_meshes(
|
pub fn add_prop_meshes<'a>(
|
||||||
self,
|
self,
|
||||||
prop_meshes:Meshes<model::Mesh>,
|
prop_meshes:Meshes<model::Mesh>,
|
||||||
)->PartialMap2{
|
)->PartialMap2{
|
||||||
|
|||||||
@@ -31,7 +31,7 @@ impl Loader for TextureLoader{
|
|||||||
type Error=TextureError;
|
type Error=TextureError;
|
||||||
type Index<'a>=Cow<'a,str>;
|
type Index<'a>=Cow<'a,str>;
|
||||||
type Resource=Texture;
|
type Resource=Texture;
|
||||||
fn load(&mut self,index:Self::Index<'_>)->Result<Self::Resource,Self::Error>{
|
fn load<'a>(&mut self,index:Self::Index<'a>)->Result<Self::Resource,Self::Error>{
|
||||||
let file_name=format!("textures/{}.dds",index);
|
let file_name=format!("textures/{}.dds",index);
|
||||||
let mut file=std::fs::File::open(file_name)?;
|
let mut file=std::fs::File::open(file_name)?;
|
||||||
let mut data=Vec::new();
|
let mut data=Vec::new();
|
||||||
@@ -111,7 +111,7 @@ impl ModelLoader<'_,'_>{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl Loader for ModelLoader<'_,'_>{
|
impl<'bsp,'vpk> Loader for ModelLoader<'bsp,'vpk>{
|
||||||
type Error=MeshError;
|
type Error=MeshError;
|
||||||
type Index<'a>=&'a str where Self:'a;
|
type Index<'a>=&'a str where Self:'a;
|
||||||
type Resource=vmdl::Model;
|
type Resource=vmdl::Model;
|
||||||
@@ -151,7 +151,7 @@ impl MeshLoader<'_,'_,'_,'_>{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl Loader for MeshLoader<'_,'_,'_,'_>{
|
impl<'str,'bsp,'vpk,'load> Loader for MeshLoader<'bsp,'vpk,'load,'str>{
|
||||||
type Error=MeshError;
|
type Error=MeshError;
|
||||||
type Index<'a>=&'a str where Self:'a;
|
type Index<'a>=&'a str where Self:'a;
|
||||||
type Resource=Mesh;
|
type Resource=Mesh;
|
||||||
|
|||||||
@@ -17,6 +17,3 @@ linear_ops = { version = "0.1.1", path = "../linear_ops", registry = "strafesnet
|
|||||||
ratio_ops = { version = "0.1.0", path = "../ratio_ops", registry = "strafesnet" }
|
ratio_ops = { version = "0.1.0", path = "../ratio_ops", registry = "strafesnet" }
|
||||||
glam = "0.30.0"
|
glam = "0.30.0"
|
||||||
id = { version = "0.1.0", registry = "strafesnet" }
|
id = { version = "0.1.0", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -61,11 +61,11 @@ impl Aabb{
|
|||||||
pub fn center(&self)->Planar64Vec3{
|
pub fn center(&self)->Planar64Vec3{
|
||||||
self.min.map_zip(self.max,|(min,max)|min.midpoint(max))
|
self.min.map_zip(self.max,|(min,max)|min.midpoint(max))
|
||||||
}
|
}
|
||||||
#[inline]
|
//probably use floats for area & volume because we don't care about precision
|
||||||
pub fn area_weight(&self)->fixed_wide::fixed::Fixed<2,64>{
|
// pub fn area_weight(&self)->f32{
|
||||||
let d=self.max-self.min;
|
// let d=self.max-self.min;
|
||||||
d.x*d.y+d.y*d.z+d.z*d.x
|
// d.x*d.y+d.y*d.z+d.z*d.x
|
||||||
}
|
// }
|
||||||
// pub fn volume(&self)->f32{
|
// pub fn volume(&self)->f32{
|
||||||
// let d=self.max-self.min;
|
// let d=self.max-self.min;
|
||||||
// d.x*d.y*d.z
|
// d.x*d.y*d.z
|
||||||
|
|||||||
@@ -245,19 +245,18 @@ pub fn generate_bvh<T>(boxen:Vec<(T,Aabb)>)->BvhNode<T>{
|
|||||||
|
|
||||||
fn generate_bvh_node<T>(boxen:Vec<(T,Aabb)>,force:bool)->BvhNode<T>{
|
fn generate_bvh_node<T>(boxen:Vec<(T,Aabb)>,force:bool)->BvhNode<T>{
|
||||||
let n=boxen.len();
|
let n=boxen.len();
|
||||||
const MAX_TERMINAL_BRANCH_LEAF_NODES:usize=20;
|
if force||n<20{
|
||||||
if force||n<MAX_TERMINAL_BRANCH_LEAF_NODES{
|
let mut aabb=Aabb::default();
|
||||||
let mut aabb_outer=Aabb::default();
|
let nodes=boxen.into_iter().map(|b|{
|
||||||
let nodes=boxen.into_iter().map(|(data,aabb)|{
|
aabb.join(&b.1);
|
||||||
aabb_outer.join(&aabb);
|
|
||||||
BvhNode{
|
BvhNode{
|
||||||
content:RecursiveContent::Leaf(data),
|
content:RecursiveContent::Leaf(b.0),
|
||||||
aabb,
|
aabb:b.1,
|
||||||
}
|
}
|
||||||
}).collect();
|
}).collect();
|
||||||
BvhNode{
|
BvhNode{
|
||||||
content:RecursiveContent::Branch(nodes),
|
content:RecursiveContent::Branch(nodes),
|
||||||
aabb:aabb_outer,
|
aabb,
|
||||||
}
|
}
|
||||||
}else{
|
}else{
|
||||||
let mut sort_x=Vec::with_capacity(n);
|
let mut sort_x=Vec::with_capacity(n);
|
||||||
@@ -273,9 +272,9 @@ fn generate_bvh_node<T>(boxen:Vec<(T,Aabb)>,force:bool)->BvhNode<T>{
|
|||||||
sort_y.sort_by_key(|&(_,c)|c);
|
sort_y.sort_by_key(|&(_,c)|c);
|
||||||
sort_z.sort_by_key(|&(_,c)|c);
|
sort_z.sort_by_key(|&(_,c)|c);
|
||||||
let h=n/2;
|
let h=n/2;
|
||||||
let (_,median_x)=sort_x[h];
|
let median_x=sort_x[h].1;
|
||||||
let (_,median_y)=sort_y[h];
|
let median_y=sort_y[h].1;
|
||||||
let (_,median_z)=sort_z[h];
|
let median_z=sort_z[h].1;
|
||||||
//locate a run of values equal to the median
|
//locate a run of values equal to the median
|
||||||
//partition point gives the first index for which the predicate evaluates to false
|
//partition point gives the first index for which the predicate evaluates to false
|
||||||
let first_index_eq_median_x=sort_x.partition_point(|&(_,x)|x<median_x);
|
let first_index_eq_median_x=sort_x.partition_point(|&(_,x)|x<median_x);
|
||||||
@@ -314,10 +313,10 @@ fn generate_bvh_node<T>(boxen:Vec<(T,Aabb)>,force:bool)->BvhNode<T>{
|
|||||||
};
|
};
|
||||||
list_list[list_id].push((data,aabb));
|
list_list[list_id].push((data,aabb));
|
||||||
}
|
}
|
||||||
|
let mut aabb=Aabb::default();
|
||||||
if list_list.len()==1{
|
if list_list.len()==1{
|
||||||
generate_bvh_node(list_list.remove(0),true)
|
generate_bvh_node(list_list.remove(0),true)
|
||||||
}else{
|
}else{
|
||||||
let mut aabb=Aabb::default();
|
|
||||||
BvhNode{
|
BvhNode{
|
||||||
content:RecursiveContent::Branch(
|
content:RecursiveContent::Branch(
|
||||||
list_list.into_iter().map(|b|{
|
list_list.into_iter().map(|b|{
|
||||||
|
|||||||
@@ -34,7 +34,7 @@ pub struct StyleModifiers{
|
|||||||
//unused
|
//unused
|
||||||
pub mass:Planar64,
|
pub mass:Planar64,
|
||||||
}
|
}
|
||||||
impl Default for StyleModifiers{
|
impl std::default::Default for StyleModifiers{
|
||||||
fn default()->Self{
|
fn default()->Self{
|
||||||
Self::roblox_bhop()
|
Self::roblox_bhop()
|
||||||
}
|
}
|
||||||
@@ -319,7 +319,7 @@ impl WalkSettings{
|
|||||||
self.accelerate.accel.min((-gravity.y*friction).clamp_1())
|
self.accelerate.accel.min((-gravity.y*friction).clamp_1())
|
||||||
}
|
}
|
||||||
pub fn get_walk_target_velocity(&self,control_dir:Planar64Vec3,normal:Planar64Vec3)->Planar64Vec3{
|
pub fn get_walk_target_velocity(&self,control_dir:Planar64Vec3,normal:Planar64Vec3)->Planar64Vec3{
|
||||||
if control_dir==crate::integer::vec3::zero(){
|
if control_dir==crate::integer::vec3::ZERO{
|
||||||
return control_dir;
|
return control_dir;
|
||||||
}
|
}
|
||||||
let nn=normal.length_squared();
|
let nn=normal.length_squared();
|
||||||
@@ -329,13 +329,13 @@ impl WalkSettings{
|
|||||||
let dd=d*d;
|
let dd=d*d;
|
||||||
if dd<nnmm{
|
if dd<nnmm{
|
||||||
let cr=normal.cross(control_dir);
|
let cr=normal.cross(control_dir);
|
||||||
if cr==crate::integer::vec3::zero(){
|
if cr==crate::integer::vec3::ZERO_2{
|
||||||
crate::integer::vec3::zero()
|
crate::integer::vec3::ZERO
|
||||||
}else{
|
}else{
|
||||||
(cr.cross(normal)*self.accelerate.topspeed/((nn*(nnmm-dd)).sqrt())).divide().clamp_1()
|
(cr.cross(normal)*self.accelerate.topspeed/((nn*(nnmm-dd)).sqrt())).divide().clamp_1()
|
||||||
}
|
}
|
||||||
}else{
|
}else{
|
||||||
crate::integer::vec3::zero()
|
crate::integer::vec3::ZERO
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
pub fn is_slope_walkable(&self,normal:Planar64Vec3,up:Planar64Vec3)->bool{
|
pub fn is_slope_walkable(&self,normal:Planar64Vec3,up:Planar64Vec3)->bool{
|
||||||
@@ -360,7 +360,7 @@ impl LadderSettings{
|
|||||||
self.accelerate.accel
|
self.accelerate.accel
|
||||||
}
|
}
|
||||||
pub fn get_ladder_target_velocity(&self,mut control_dir:Planar64Vec3,normal:Planar64Vec3)->Planar64Vec3{
|
pub fn get_ladder_target_velocity(&self,mut control_dir:Planar64Vec3,normal:Planar64Vec3)->Planar64Vec3{
|
||||||
if control_dir==crate::integer::vec3::zero(){
|
if control_dir==crate::integer::vec3::ZERO{
|
||||||
return control_dir;
|
return control_dir;
|
||||||
}
|
}
|
||||||
let nn=normal.length_squared();
|
let nn=normal.length_squared();
|
||||||
@@ -382,13 +382,13 @@ impl LadderSettings{
|
|||||||
//- fix the underlying issue
|
//- fix the underlying issue
|
||||||
if dd<nnmm{
|
if dd<nnmm{
|
||||||
let cr=normal.cross(control_dir);
|
let cr=normal.cross(control_dir);
|
||||||
if cr==crate::integer::vec3::zero(){
|
if cr==crate::integer::vec3::ZERO_2{
|
||||||
crate::integer::vec3::zero()
|
crate::integer::vec3::ZERO
|
||||||
}else{
|
}else{
|
||||||
(cr.cross(normal)*self.accelerate.topspeed/((nn*(nnmm-dd)).sqrt())).divide().clamp_1()
|
(cr.cross(normal)*self.accelerate.topspeed/((nn*(nnmm-dd)).sqrt())).divide().clamp_1()
|
||||||
}
|
}
|
||||||
}else{
|
}else{
|
||||||
crate::integer::vec3::zero()
|
crate::integer::vec3::ZERO
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -86,7 +86,7 @@ impl<T> std::fmt::Display for Time<T>{
|
|||||||
write!(f,"{}s+{:09}ns",self.0/Self::ONE_SECOND.0,self.0%Self::ONE_SECOND.0)
|
write!(f,"{}s+{:09}ns",self.0/Self::ONE_SECOND.0,self.0%Self::ONE_SECOND.0)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl<T> Default for Time<T>{
|
impl<T> std::default::Default for Time<T>{
|
||||||
fn default()->Self{
|
fn default()->Self{
|
||||||
Self::raw(0)
|
Self::raw(0)
|
||||||
}
|
}
|
||||||
@@ -126,7 +126,7 @@ impl_time_additive_assign_operator!(core::ops::AddAssign,add_assign);
|
|||||||
impl_time_additive_assign_operator!(core::ops::SubAssign,sub_assign);
|
impl_time_additive_assign_operator!(core::ops::SubAssign,sub_assign);
|
||||||
impl_time_additive_assign_operator!(core::ops::RemAssign,rem_assign);
|
impl_time_additive_assign_operator!(core::ops::RemAssign,rem_assign);
|
||||||
impl<T> std::ops::Mul for Time<T>{
|
impl<T> std::ops::Mul for Time<T>{
|
||||||
type Output=Ratio<Fixed<2,64>,Fixed<2,64>>;
|
type Output=Ratio<fixed_wide::fixed::Fixed<2,64>,fixed_wide::fixed::Fixed<2,64>>;
|
||||||
#[inline]
|
#[inline]
|
||||||
fn mul(self,rhs:Self)->Self::Output{
|
fn mul(self,rhs:Self)->Self::Output{
|
||||||
Ratio::new(Fixed::raw(self.0)*Fixed::raw(rhs.0),Fixed::raw_digit(1_000_000_000i64.pow(2)))
|
Ratio::new(Fixed::raw(self.0)*Fixed::raw(rhs.0),Fixed::raw_digit(1_000_000_000i64.pow(2)))
|
||||||
@@ -156,7 +156,7 @@ impl<T> core::ops::Mul<Time<T>> for Planar64{
|
|||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod test_time{
|
mod test_time{
|
||||||
use super::*;
|
use super::*;
|
||||||
type Time=AbsoluteTime;
|
type Time=super::AbsoluteTime;
|
||||||
#[test]
|
#[test]
|
||||||
fn time_from_planar64(){
|
fn time_from_planar64(){
|
||||||
let a:Time=Planar64::from(1).into();
|
let a:Time=Planar64::from(1).into();
|
||||||
@@ -552,7 +552,7 @@ impl TryFrom<[f32;3]> for Unit32Vec3{
|
|||||||
}
|
}
|
||||||
*/
|
*/
|
||||||
|
|
||||||
pub type Planar64TryFromFloatError=FixedFromFloatError;
|
pub type Planar64TryFromFloatError=fixed_wide::fixed::FixedFromFloatError;
|
||||||
pub type Planar64=fixed_wide::types::I32F32;
|
pub type Planar64=fixed_wide::types::I32F32;
|
||||||
pub type Planar64Vec3=linear_ops::types::Vector3<Planar64>;
|
pub type Planar64Vec3=linear_ops::types::Vector3<Planar64>;
|
||||||
pub type Planar64Mat3=linear_ops::types::Matrix3<Planar64>;
|
pub type Planar64Mat3=linear_ops::types::Matrix3<Planar64>;
|
||||||
@@ -561,6 +561,12 @@ pub mod vec3{
|
|||||||
pub use linear_ops::types::Vector3;
|
pub use linear_ops::types::Vector3;
|
||||||
pub const MIN:Planar64Vec3=Planar64Vec3::new([Planar64::MIN;3]);
|
pub const MIN:Planar64Vec3=Planar64Vec3::new([Planar64::MIN;3]);
|
||||||
pub const MAX:Planar64Vec3=Planar64Vec3::new([Planar64::MAX;3]);
|
pub const MAX:Planar64Vec3=Planar64Vec3::new([Planar64::MAX;3]);
|
||||||
|
pub const ZERO:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO;3]);
|
||||||
|
pub const ZERO_2:linear_ops::types::Vector3<Fixed::<2,64>>=linear_ops::types::Vector3::new([Fixed::<2,64>::ZERO;3]);
|
||||||
|
pub const ZERO_3:linear_ops::types::Vector3<Fixed::<3,96>>=linear_ops::types::Vector3::new([Fixed::<3,96>::ZERO;3]);
|
||||||
|
pub const ZERO_4:linear_ops::types::Vector3<Fixed::<4,128>>=linear_ops::types::Vector3::new([Fixed::<4,128>::ZERO;3]);
|
||||||
|
pub const ZERO_5:linear_ops::types::Vector3<Fixed::<5,160>>=linear_ops::types::Vector3::new([Fixed::<5,160>::ZERO;3]);
|
||||||
|
pub const ZERO_6:linear_ops::types::Vector3<Fixed::<6,192>>=linear_ops::types::Vector3::new([Fixed::<6,192>::ZERO;3]);
|
||||||
pub const X:Planar64Vec3=Planar64Vec3::new([Planar64::ONE,Planar64::ZERO,Planar64::ZERO]);
|
pub const X:Planar64Vec3=Planar64Vec3::new([Planar64::ONE,Planar64::ZERO,Planar64::ZERO]);
|
||||||
pub const Y:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::ONE,Planar64::ZERO]);
|
pub const Y:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::ONE,Planar64::ZERO]);
|
||||||
pub const Z:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::ZERO,Planar64::ONE]);
|
pub const Z:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::ZERO,Planar64::ONE]);
|
||||||
@@ -569,10 +575,6 @@ pub mod vec3{
|
|||||||
pub const NEG_Y:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::NEG_ONE,Planar64::ZERO]);
|
pub const NEG_Y:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::NEG_ONE,Planar64::ZERO]);
|
||||||
pub const NEG_Z:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::ZERO,Planar64::NEG_ONE]);
|
pub const NEG_Z:Planar64Vec3=Planar64Vec3::new([Planar64::ZERO,Planar64::ZERO,Planar64::NEG_ONE]);
|
||||||
pub const NEG_ONE:Planar64Vec3=Planar64Vec3::new([Planar64::NEG_ONE,Planar64::NEG_ONE,Planar64::NEG_ONE]);
|
pub const NEG_ONE:Planar64Vec3=Planar64Vec3::new([Planar64::NEG_ONE,Planar64::NEG_ONE,Planar64::NEG_ONE]);
|
||||||
// TODO: use #![feature(generic_const_items)] when stabilized https://github.com/rust-lang/rust/issues/113521
|
|
||||||
pub const fn zero<const N:usize,const F:usize>()->Vector3<Fixed<N,F>>{
|
|
||||||
Vector3::new([Fixed::ZERO;3])
|
|
||||||
}
|
|
||||||
#[inline]
|
#[inline]
|
||||||
pub const fn int(x:i32,y:i32,z:i32)->Planar64Vec3{
|
pub const fn int(x:i32,y:i32,z:i32)->Planar64Vec3{
|
||||||
Planar64Vec3::new([Planar64::raw((x as i64)<<32),Planar64::raw((y as i64)<<32),Planar64::raw((z as i64)<<32)])
|
Planar64Vec3::new([Planar64::raw((x as i64)<<32),Planar64::raw((y as i64)<<32),Planar64::raw((z as i64)<<32)])
|
||||||
@@ -661,7 +663,7 @@ pub struct Planar64Affine3{
|
|||||||
pub translation:Planar64Vec3,
|
pub translation:Planar64Vec3,
|
||||||
}
|
}
|
||||||
impl Planar64Affine3{
|
impl Planar64Affine3{
|
||||||
pub const IDENTITY:Self=Self::new(mat3::identity(),vec3::zero());
|
pub const IDENTITY:Self=Self::new(mat3::identity(),vec3::ZERO);
|
||||||
#[inline]
|
#[inline]
|
||||||
pub const fn new(matrix3:Planar64Mat3,translation:Planar64Vec3)->Self{
|
pub const fn new(matrix3:Planar64Mat3,translation:Planar64Vec3)->Self{
|
||||||
Self{matrix3,translation}
|
Self{matrix3,translation}
|
||||||
|
|||||||
@@ -11,6 +11,3 @@ authors = ["Rhys Lloyd <krakow20@gmail.com>"]
|
|||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
strafesnet_common = { version = "0.7.0", path = "../common", registry = "strafesnet" }
|
strafesnet_common = { version = "0.7.0", path = "../common", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -4,5 +4,5 @@ pub trait Loader{
|
|||||||
type Error:Error;
|
type Error:Error;
|
||||||
type Index<'a> where Self:'a;
|
type Index<'a> where Self:'a;
|
||||||
type Resource;
|
type Resource;
|
||||||
fn load(&mut self,index:Self::Index<'_>)->Result<Self::Resource,Self::Error>;
|
fn load<'a>(&mut self,index:Self::Index<'a>)->Result<Self::Resource,Self::Error>;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -18,6 +18,3 @@ bnum = "0.13.0"
|
|||||||
arrayvec = { version = "0.7.6", optional = true }
|
arrayvec = { version = "0.7.6", optional = true }
|
||||||
paste = "1.0.15"
|
paste = "1.0.15"
|
||||||
ratio_ops = { version = "0.1.0", path = "../ratio_ops", registry = "strafesnet", optional = true }
|
ratio_ops = { version = "0.1.0", path = "../ratio_ops", registry = "strafesnet", optional = true }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -1,8 +1,6 @@
|
|||||||
use bnum::{BInt,cast::As};
|
use bnum::{BInt,cast::As};
|
||||||
|
|
||||||
const BNUM_DIGIT_WIDTH:usize=64;
|
#[derive(Clone,Copy,Debug,Default,Hash,PartialEq,Eq,PartialOrd,Ord)]
|
||||||
|
|
||||||
#[derive(Clone,Copy,Default,Hash,PartialEq,Eq,PartialOrd,Ord)]
|
|
||||||
/// A Fixed point number for which multiply operations widen the bits in the output. (when the wide-mul feature is enabled)
|
/// A Fixed point number for which multiply operations widen the bits in the output. (when the wide-mul feature is enabled)
|
||||||
/// N is the number of u64s to use
|
/// N is the number of u64s to use
|
||||||
/// F is the number of fractional bits (always N*32 lol)
|
/// F is the number of fractional bits (always N*32 lol)
|
||||||
@@ -70,34 +68,6 @@ impl<const N:usize,const F:usize> Fixed<N,F>{
|
|||||||
pub const fn midpoint(self,other:Self)->Self{
|
pub const fn midpoint(self,other:Self)->Self{
|
||||||
Self::from_bits(self.bits.midpoint(other.bits))
|
Self::from_bits(self.bits.midpoint(other.bits))
|
||||||
}
|
}
|
||||||
#[inline]
|
|
||||||
pub const fn min(self,other:Self)->Self{
|
|
||||||
Self::from_bits(self.bits.min(other.bits))
|
|
||||||
}
|
|
||||||
#[inline]
|
|
||||||
pub const fn max(self,other:Self)->Self{
|
|
||||||
Self::from_bits(self.bits.max(other.bits))
|
|
||||||
}
|
|
||||||
/// return the result of self*sign(other)
|
|
||||||
#[inline]
|
|
||||||
pub const fn mul_sign<const N1:usize,const F1:usize>(self,other:Fixed<N1,F1>)->Self{
|
|
||||||
if other.is_negative(){
|
|
||||||
Self::from_bits(self.bits.neg())
|
|
||||||
}else if other.is_zero(){
|
|
||||||
Fixed::ZERO
|
|
||||||
}else{
|
|
||||||
self
|
|
||||||
}
|
|
||||||
}
|
|
||||||
/// return the result of self/sign(other) (divide by zero does not change the sign)
|
|
||||||
#[inline]
|
|
||||||
pub const fn div_sign<const N1:usize,const F1:usize>(self,other:Fixed<N1,F1>)->Self{
|
|
||||||
if other.is_negative(){
|
|
||||||
Self::from_bits(self.bits.neg())
|
|
||||||
}else{
|
|
||||||
self
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
impl<const F:usize> Fixed<1,F>{
|
impl<const F:usize> Fixed<1,F>{
|
||||||
/// My old code called this function everywhere so let's provide it
|
/// My old code called this function everywhere so let's provide it
|
||||||
@@ -129,6 +99,28 @@ impl_from!(
|
|||||||
i8,i16,i32,i64,i128,isize
|
i8,i16,i32,i64,i128,isize
|
||||||
);
|
);
|
||||||
|
|
||||||
|
impl<const N:usize,const F:usize,T> PartialEq<T> for Fixed<N,F>
|
||||||
|
where
|
||||||
|
T:Copy,
|
||||||
|
BInt::<N>:From<T>,
|
||||||
|
{
|
||||||
|
#[inline]
|
||||||
|
fn eq(&self,&other:&T)->bool{
|
||||||
|
self.bits.eq(&other.into())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<const N:usize,const F:usize,T> PartialOrd<T> for Fixed<N,F>
|
||||||
|
where
|
||||||
|
T:Copy,
|
||||||
|
BInt::<N>:From<T>,
|
||||||
|
{
|
||||||
|
#[inline]
|
||||||
|
fn partial_cmp(&self,&other:&T)->Option<std::cmp::Ordering>{
|
||||||
|
self.bits.partial_cmp(&other.into())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl<const N:usize,const F:usize> std::ops::Neg for Fixed<N,F>{
|
impl<const N:usize,const F:usize> std::ops::Neg for Fixed<N,F>{
|
||||||
type Output=Self;
|
type Output=Self;
|
||||||
#[inline]
|
#[inline]
|
||||||
@@ -294,23 +286,6 @@ macro_rules! impl_from_float {
|
|||||||
impl_from_float!(integer_decode_f32,f32,24);
|
impl_from_float!(integer_decode_f32,f32,24);
|
||||||
impl_from_float!(integer_decode_f64,f64,53);
|
impl_from_float!(integer_decode_f64,f64,53);
|
||||||
|
|
||||||
impl<const N:usize,const F:usize> core::fmt::Debug for Fixed<N,F>{
|
|
||||||
#[inline]
|
|
||||||
fn fmt(&self,f:&mut core::fmt::Formatter)->Result<(),core::fmt::Error>{
|
|
||||||
let integral=self.as_bits().unsigned_abs()>>F;
|
|
||||||
let fractional=self.as_bits().unsigned_abs()&((bnum::BUint::<N>::ONE<<F)-bnum::BUint::<N>::ONE);
|
|
||||||
let leading_zeroes=(fractional.leading_zeros() as usize).saturating_sub(N*BNUM_DIGIT_WIDTH-F)>>2;
|
|
||||||
if self.is_negative(){
|
|
||||||
core::write!(f,"-")?;
|
|
||||||
}
|
|
||||||
if fractional.is_zero(){
|
|
||||||
core::write!(f,"{integral:x}.{}","0".repeat(leading_zeroes))
|
|
||||||
}else{
|
|
||||||
core::write!(f,"{integral:x}.{}{fractional:x}","0".repeat(leading_zeroes))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<const N:usize,const F:usize> core::fmt::Display for Fixed<N,F>{
|
impl<const N:usize,const F:usize> core::fmt::Display for Fixed<N,F>{
|
||||||
#[inline]
|
#[inline]
|
||||||
fn fmt(&self,f:&mut core::fmt::Formatter)->Result<(),core::fmt::Error>{
|
fn fmt(&self,f:&mut core::fmt::Formatter)->Result<(),core::fmt::Error>{
|
||||||
@@ -334,6 +309,16 @@ macro_rules! impl_additive_operator {
|
|||||||
self.$method(other)
|
self.$method(other)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
impl<const N:usize,const F:usize,U> core::ops::$trait<U> for $struct<N,F>
|
||||||
|
where
|
||||||
|
BInt::<N>:From<U>,
|
||||||
|
{
|
||||||
|
type Output = $output;
|
||||||
|
#[inline]
|
||||||
|
fn $method(self, other: U) -> Self::Output {
|
||||||
|
Self::from_bits(self.bits.$method(BInt::<N>::from(other).shl(F as u32)))
|
||||||
|
}
|
||||||
|
}
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
macro_rules! impl_additive_assign_operator {
|
macro_rules! impl_additive_assign_operator {
|
||||||
@@ -344,6 +329,15 @@ macro_rules! impl_additive_assign_operator {
|
|||||||
self.bits.$method(other.bits);
|
self.bits.$method(other.bits);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
impl<const N:usize,const F:usize,U> core::ops::$trait<U> for $struct<N,F>
|
||||||
|
where
|
||||||
|
BInt::<N>:From<U>,
|
||||||
|
{
|
||||||
|
#[inline]
|
||||||
|
fn $method(&mut self, other: U) {
|
||||||
|
self.bits.$method(BInt::<N>::from(other).shl(F as u32));
|
||||||
|
}
|
||||||
|
}
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -366,7 +360,7 @@ impl_additive_operator!( Fixed, BitXor, bitxor, Self );
|
|||||||
// non-wide operators. The result is the same width as the inputs.
|
// non-wide operators. The result is the same width as the inputs.
|
||||||
|
|
||||||
// This macro is not used in the default configuration.
|
// This macro is not used in the default configuration.
|
||||||
#[expect(unused_macros)]
|
#[allow(unused_macros)]
|
||||||
macro_rules! impl_multiplicative_operator_not_const_generic {
|
macro_rules! impl_multiplicative_operator_not_const_generic {
|
||||||
( ($struct: ident, $trait: ident, $method: ident, $output: ty ), $width:expr ) => {
|
( ($struct: ident, $trait: ident, $method: ident, $output: ty ), $width:expr ) => {
|
||||||
impl<const F:usize> core::ops::$trait for $struct<$width,F>{
|
impl<const F:usize> core::ops::$trait for $struct<$width,F>{
|
||||||
@@ -545,7 +539,7 @@ impl_shift_operator!( Fixed, Shr, shr, Self );
|
|||||||
|
|
||||||
// wide operators. The result width is the sum of the input widths, i.e. none of the multiplication
|
// wide operators. The result width is the sum of the input widths, i.e. none of the multiplication
|
||||||
|
|
||||||
#[expect(unused_macros)]
|
#[allow(unused_macros)]
|
||||||
macro_rules! impl_wide_operators{
|
macro_rules! impl_wide_operators{
|
||||||
($lhs:expr,$rhs:expr)=>{
|
($lhs:expr,$rhs:expr)=>{
|
||||||
impl core::ops::Mul<Fixed<$rhs,{$rhs*32}>> for Fixed<$lhs,{$lhs*32}>{
|
impl core::ops::Mul<Fixed<$rhs,{$rhs*32}>> for Fixed<$lhs,{$lhs*32}>{
|
||||||
|
|||||||
@@ -229,16 +229,3 @@ fn test_zeroes_deferred_division(){
|
|||||||
])
|
])
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
|
||||||
fn test_debug(){
|
|
||||||
assert_eq!(format!("{:?}",I32F32::EPSILON),"0.00000001");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::ONE),"1.00000000");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::TWO),"2.00000000");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::MAX),"7fffffff.ffffffff");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::try_from(core::f64::consts::PI).unwrap()),"3.243f6a88");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::NEG_EPSILON),"-0.00000001");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::NEG_ONE),"-1.00000000");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::NEG_TWO),"-2.00000000");
|
|
||||||
assert_eq!(format!("{:?}",I32F32::MIN),"-80000000.00000000");
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -20,6 +20,3 @@ paste = { version = "1.0.15", optional = true }
|
|||||||
|
|
||||||
[dev-dependencies]
|
[dev-dependencies]
|
||||||
fixed_wide = { path = "../fixed_wide", registry = "strafesnet", features = ["wide-mul"] }
|
fixed_wide = { path = "../fixed_wide", registry = "strafesnet", features = ["wide-mul"] }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -205,8 +205,7 @@ macro_rules! impl_matrix_named_fields_shape {
|
|||||||
#[inline]
|
#[inline]
|
||||||
fn deref(&self)->&Self::Target{
|
fn deref(&self)->&Self::Target{
|
||||||
// This cast is valid because Matrix has #[repr(transparent)]
|
// This cast is valid because Matrix has #[repr(transparent)]
|
||||||
let ptr:*const [[T;$size_inner];$size_outer]=&self.array;
|
let ptr=&self.array as *const [[T;$size_inner];$size_outer] as *const Self::Target;
|
||||||
let ptr=ptr as *const Self::Target;
|
|
||||||
// SAFETY: this pointer is non-null because it comes from a reference
|
// SAFETY: this pointer is non-null because it comes from a reference
|
||||||
unsafe{&*ptr}
|
unsafe{&*ptr}
|
||||||
}
|
}
|
||||||
@@ -215,8 +214,7 @@ macro_rules! impl_matrix_named_fields_shape {
|
|||||||
#[inline]
|
#[inline]
|
||||||
fn deref_mut(&mut self)->&mut Self::Target{
|
fn deref_mut(&mut self)->&mut Self::Target{
|
||||||
// This cast is valid because Matrix has #[repr(transparent)]
|
// This cast is valid because Matrix has #[repr(transparent)]
|
||||||
let ptr:*mut [[T;$size_inner];$size_outer]=&mut self.array;
|
let ptr=&mut self.array as *mut [[T;$size_inner];$size_outer] as *mut Self::Target;
|
||||||
let ptr=ptr as *mut Self::Target;
|
|
||||||
// SAFETY: this pointer is non-null because it comes from a reference
|
// SAFETY: this pointer is non-null because it comes from a reference
|
||||||
unsafe{&mut*ptr}
|
unsafe{&mut*ptr}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -331,8 +331,7 @@ macro_rules! impl_vector_named_fields {
|
|||||||
#[inline]
|
#[inline]
|
||||||
fn deref(&self)->&Self::Target{
|
fn deref(&self)->&Self::Target{
|
||||||
// This cast is valid because Vector has #[repr(transparent)]
|
// This cast is valid because Vector has #[repr(transparent)]
|
||||||
let ptr:*const [T;$size]=&self.array;
|
let ptr=&self.array as *const [T;$size] as *const Self::Target;
|
||||||
let ptr=ptr as *const Self::Target;
|
|
||||||
// SAFETY: this pointer is non-null because it comes from a reference
|
// SAFETY: this pointer is non-null because it comes from a reference
|
||||||
unsafe{&*ptr}
|
unsafe{&*ptr}
|
||||||
}
|
}
|
||||||
@@ -341,8 +340,7 @@ macro_rules! impl_vector_named_fields {
|
|||||||
#[inline]
|
#[inline]
|
||||||
fn deref_mut(&mut self)->&mut Self::Target{
|
fn deref_mut(&mut self)->&mut Self::Target{
|
||||||
// This cast is valid because Vector has #[repr(transparent)]
|
// This cast is valid because Vector has #[repr(transparent)]
|
||||||
let ptr:*mut [T;$size]=&mut self.array;
|
let ptr=&mut self.array as *mut [T;$size] as *mut Self::Target;
|
||||||
let ptr=ptr as *mut Self::Target;
|
|
||||||
// SAFETY: this pointer is non-null because it comes from a reference
|
// SAFETY: this pointer is non-null because it comes from a reference
|
||||||
unsafe{&mut*ptr}
|
unsafe{&mut*ptr}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -8,6 +8,3 @@ description = "Ratio operations using trait bounds for avoiding division like th
|
|||||||
authors = ["Rhys Lloyd <krakow20@gmail.com>"]
|
authors = ["Rhys Lloyd <krakow20@gmail.com>"]
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -12,17 +12,14 @@ authors = ["Rhys Lloyd <krakow20@gmail.com>"]
|
|||||||
[dependencies]
|
[dependencies]
|
||||||
bytemuck = "1.14.3"
|
bytemuck = "1.14.3"
|
||||||
glam = "0.30.0"
|
glam = "0.30.0"
|
||||||
regex = { version = "1.11.3", default-features = false }
|
lazy-regex = "3.1.0"
|
||||||
|
rbx_binary = { version = "1.0.1-sn5", registry = "strafesnet" }
|
||||||
|
rbx_dom_weak = { version = "3.0.1-sn5", registry = "strafesnet" }
|
||||||
rbx_mesh = "0.5.0"
|
rbx_mesh = "0.5.0"
|
||||||
|
rbx_reflection = "5.0.0"
|
||||||
|
rbx_reflection_database = "1.0.0"
|
||||||
|
rbx_xml = { version = "1.0.1-sn5", registry = "strafesnet" }
|
||||||
rbxassetid = { version = "0.1.0", path = "../rbxassetid", registry = "strafesnet" }
|
rbxassetid = { version = "0.1.0", path = "../rbxassetid", registry = "strafesnet" }
|
||||||
roblox_emulator = { version = "0.5.1", path = "../roblox_emulator", default-features = false, registry = "strafesnet" }
|
roblox_emulator = { version = "0.5.1", path = "../roblox_emulator", default-features = false, registry = "strafesnet" }
|
||||||
strafesnet_common = { version = "0.7.0", path = "../common", registry = "strafesnet" }
|
strafesnet_common = { version = "0.7.0", path = "../common", registry = "strafesnet" }
|
||||||
strafesnet_deferred_loader = { version = "0.5.1", path = "../deferred_loader", registry = "strafesnet" }
|
strafesnet_deferred_loader = { version = "0.5.1", path = "../deferred_loader", registry = "strafesnet" }
|
||||||
rbx_binary = "2.0.1"
|
|
||||||
rbx_dom_weak = "4.1.0"
|
|
||||||
rbx_reflection = "6.1.0"
|
|
||||||
rbx_reflection_database = "2.0.2"
|
|
||||||
rbx_xml = "2.0.1"
|
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -50,7 +50,7 @@ impl Loader for TextureLoader{
|
|||||||
type Error=TextureError;
|
type Error=TextureError;
|
||||||
type Index<'a>=&'a str;
|
type Index<'a>=&'a str;
|
||||||
type Resource=Texture;
|
type Resource=Texture;
|
||||||
fn load(&mut self,index:Self::Index<'_>)->Result<Self::Resource,Self::Error>{
|
fn load<'a>(&mut self,index:Self::Index<'a>)->Result<Self::Resource,Self::Error>{
|
||||||
let RobloxAssetId(asset_id)=index.parse()?;
|
let RobloxAssetId(asset_id)=index.parse()?;
|
||||||
let file_name=format!("textures/{}.dds",asset_id);
|
let file_name=format!("textures/{}.dds",asset_id);
|
||||||
let data=read_entire_file(file_name)?;
|
let data=read_entire_file(file_name)?;
|
||||||
@@ -157,7 +157,7 @@ impl Loader for MeshLoader{
|
|||||||
type Error=MeshError;
|
type Error=MeshError;
|
||||||
type Index<'a>=MeshIndex<'a>;
|
type Index<'a>=MeshIndex<'a>;
|
||||||
type Resource=MeshWithSize;
|
type Resource=MeshWithSize;
|
||||||
fn load(&mut self,index:Self::Index<'_>)->Result<Self::Resource,Self::Error>{
|
fn load<'a>(&mut self,index:Self::Index<'a>)->Result<Self::Resource,Self::Error>{
|
||||||
let mesh=match index.mesh_type{
|
let mesh=match index.mesh_type{
|
||||||
MeshType::FileMesh=>{
|
MeshType::FileMesh=>{
|
||||||
let RobloxAssetId(asset_id)=index.content.parse()?;
|
let RobloxAssetId(asset_id)=index.content.parse()?;
|
||||||
|
|||||||
@@ -18,15 +18,6 @@ fn static_ustr(s:&'static str)->rbx_dom_weak::Ustr{
|
|||||||
rbx_dom_weak::ustr(s)
|
rbx_dom_weak::ustr(s)
|
||||||
}
|
}
|
||||||
|
|
||||||
macro_rules! lazy_regex{
|
|
||||||
($r:literal)=>{{
|
|
||||||
use regex::Regex;
|
|
||||||
use std::sync::LazyLock;
|
|
||||||
static RE:LazyLock<Regex>=LazyLock::new(||Regex::new($r).unwrap());
|
|
||||||
&RE
|
|
||||||
}};
|
|
||||||
}
|
|
||||||
|
|
||||||
fn planar64_affine3_from_roblox(cf:&rbx_dom_weak::types::CFrame,size:&rbx_dom_weak::types::Vector3)->Result<Planar64Affine3,Planar64TryFromFloatError>{
|
fn planar64_affine3_from_roblox(cf:&rbx_dom_weak::types::CFrame,size:&rbx_dom_weak::types::Vector3)->Result<Planar64Affine3,Planar64TryFromFloatError>{
|
||||||
Ok(Planar64Affine3::new(
|
Ok(Planar64Affine3::new(
|
||||||
Planar64Mat3::from_cols([
|
Planar64Mat3::from_cols([
|
||||||
@@ -127,7 +118,7 @@ fn get_attributes(name:&str,can_collide:bool,velocity:Planar64Vec3,model_id:mode
|
|||||||
);
|
);
|
||||||
},
|
},
|
||||||
other=>{
|
other=>{
|
||||||
let regman=lazy_regex!(r"^(BonusStart|WormholeOut)(\d+)$");
|
let regman=lazy_regex::regex!(r"^(BonusStart|WormholeOut)(\d+)$");
|
||||||
if let Some(captures)=regman.captures(other){
|
if let Some(captures)=regman.captures(other){
|
||||||
match &captures[1]{
|
match &captures[1]{
|
||||||
"BonusStart"=>{
|
"BonusStart"=>{
|
||||||
@@ -153,7 +144,7 @@ fn get_attributes(name:&str,can_collide:bool,velocity:Planar64Vec3,model_id:mode
|
|||||||
},
|
},
|
||||||
_=>(),
|
_=>(),
|
||||||
}
|
}
|
||||||
}else if let Some(captures)=lazy_regex!(r"^(Force)?(Spawn|SpawnAt|Trigger|Teleport|Platform)(\d+)$")
|
}else if let Some(captures)=lazy_regex::regex!(r"^(Force)?(Spawn|SpawnAt|Trigger|Teleport|Platform)(\d+)$")
|
||||||
.captures(other){
|
.captures(other){
|
||||||
force_intersecting=true;
|
force_intersecting=true;
|
||||||
let stage_id=StageId::new(ParseIntContext::parse(&captures[3]).map_err(GetAttributesError::StageIdParseInt)?);
|
let stage_id=StageId::new(ParseIntContext::parse(&captures[3]).map_err(GetAttributesError::StageIdParseInt)?);
|
||||||
@@ -194,7 +185,7 @@ fn get_attributes(name:&str,can_collide:bool,velocity:Planar64Vec3,model_id:mode
|
|||||||
stage_element,
|
stage_element,
|
||||||
),
|
),
|
||||||
);
|
);
|
||||||
}else if let Some(captures)=lazy_regex!(r"^(Jump|WormholeIn)(\d+)$")
|
}else if let Some(captures)=lazy_regex::regex!(r"^(Jump|WormholeIn)(\d+)$")
|
||||||
.captures(other){
|
.captures(other){
|
||||||
match &captures[1]{
|
match &captures[1]{
|
||||||
"Jump"=>modes_builder.push_mode_update(
|
"Jump"=>modes_builder.push_mode_update(
|
||||||
@@ -219,7 +210,7 @@ fn get_attributes(name:&str,can_collide:bool,velocity:Planar64Vec3,model_id:mode
|
|||||||
},
|
},
|
||||||
_=>unreachable!("regex2[1] messed up bad"),
|
_=>unreachable!("regex2[1] messed up bad"),
|
||||||
}
|
}
|
||||||
}else if let Some(captures)=lazy_regex!(r"^Bonus(Finish|Anticheat)(\d+)$")
|
}else if let Some(captures)=lazy_regex::regex!(r"^Bonus(Finish|Anticheat)(\d+)$")
|
||||||
.captures(other){
|
.captures(other){
|
||||||
force_can_collide=false;
|
force_can_collide=false;
|
||||||
force_intersecting=true;
|
force_intersecting=true;
|
||||||
@@ -251,7 +242,7 @@ fn get_attributes(name:&str,can_collide:bool,velocity:Planar64Vec3,model_id:mode
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
//need some way to skip this
|
//need some way to skip this
|
||||||
if allow_booster&&velocity!=vec3::zero(){
|
if allow_booster&&velocity!=vec3::ZERO{
|
||||||
general.booster=Some(attr::Booster::Velocity(velocity));
|
general.booster=Some(attr::Booster::Velocity(velocity));
|
||||||
}
|
}
|
||||||
Ok(match force_can_collide{
|
Ok(match force_can_collide{
|
||||||
@@ -344,12 +335,12 @@ pub struct RobloxFaceTextureDescription{
|
|||||||
pub color:glam::Vec4,
|
pub color:glam::Vec4,
|
||||||
pub transform:RobloxTextureTransform,
|
pub transform:RobloxTextureTransform,
|
||||||
}
|
}
|
||||||
impl PartialEq for RobloxFaceTextureDescription{
|
impl core::cmp::PartialEq for RobloxFaceTextureDescription{
|
||||||
fn eq(&self,other:&Self)->bool{
|
fn eq(&self,other:&Self)->bool{
|
||||||
self.to_bits().eq(&other.to_bits())
|
self.to_bits().eq(&other.to_bits())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl Eq for RobloxFaceTextureDescription{}
|
impl core::cmp::Eq for RobloxFaceTextureDescription{}
|
||||||
impl core::hash::Hash for RobloxFaceTextureDescription{
|
impl core::hash::Hash for RobloxFaceTextureDescription{
|
||||||
fn hash<H:core::hash::Hasher>(&self,state:&mut H){
|
fn hash<H:core::hash::Hasher>(&self,state:&mut H){
|
||||||
self.to_bits().hash(state);
|
self.to_bits().hash(state);
|
||||||
@@ -559,7 +550,7 @@ pub fn convert<'a>(
|
|||||||
//just going to leave it like this for now instead of reworking the data structures for this whole thing
|
//just going to leave it like this for now instead of reworking the data structures for this whole thing
|
||||||
let textureless_render_group=render_config_deferred_loader.acquire_render_config_id(None);
|
let textureless_render_group=render_config_deferred_loader.acquire_render_config_id(None);
|
||||||
|
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let basepart=&db.classes["BasePart"];
|
let basepart=&db.classes["BasePart"];
|
||||||
let baseparts=dom.descendants().filter(|&instance|
|
let baseparts=dom.descendants().filter(|&instance|
|
||||||
db.classes.get(instance.class.as_str()).is_some_and(|class|
|
db.classes.get(instance.class.as_str()).is_some_and(|class|
|
||||||
@@ -775,10 +766,10 @@ struct MeshIdWithSize{
|
|||||||
mesh:model::MeshId,
|
mesh:model::MeshId,
|
||||||
size:Planar64Vec3,
|
size:Planar64Vec3,
|
||||||
}
|
}
|
||||||
fn acquire_mesh_id_from_render_config_id(
|
fn acquire_mesh_id_from_render_config_id<'a>(
|
||||||
primitive_meshes:&mut Vec<model::Mesh>,
|
primitive_meshes:&mut Vec<model::Mesh>,
|
||||||
mesh_id_from_render_config_id:&mut HashMap<model::MeshId,HashMap<RenderConfigId,model::MeshId>>,
|
mesh_id_from_render_config_id:&mut HashMap<model::MeshId,HashMap<RenderConfigId,model::MeshId>>,
|
||||||
loaded_meshes:&HashMap<model::MeshId,MeshWithSize>,
|
loaded_meshes:&'a HashMap<model::MeshId,MeshWithSize>,
|
||||||
old_mesh_id:model::MeshId,
|
old_mesh_id:model::MeshId,
|
||||||
render:RenderConfigId,
|
render:RenderConfigId,
|
||||||
)->Option<MeshIdWithSize>{
|
)->Option<MeshIdWithSize>{
|
||||||
@@ -798,10 +789,10 @@ fn acquire_mesh_id_from_render_config_id(
|
|||||||
size,
|
size,
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
fn acquire_union_id_from_render_config_id(
|
fn acquire_union_id_from_render_config_id<'a>(
|
||||||
primitive_meshes:&mut Vec<model::Mesh>,
|
primitive_meshes:&mut Vec<model::Mesh>,
|
||||||
union_id_from_render_config_id:&mut HashMap<model::MeshId,HashMap<RobloxPartDescription,model::MeshId>>,
|
union_id_from_render_config_id:&mut HashMap<model::MeshId,HashMap<RobloxPartDescription,model::MeshId>>,
|
||||||
loaded_meshes:&HashMap<model::MeshId,MeshWithSize>,
|
loaded_meshes:&'a HashMap<model::MeshId,MeshWithSize>,
|
||||||
old_union_id:model::MeshId,
|
old_union_id:model::MeshId,
|
||||||
part_texture_description:RobloxPartDescription,
|
part_texture_description:RobloxPartDescription,
|
||||||
)->Option<MeshIdWithSize>{
|
)->Option<MeshIdWithSize>{
|
||||||
|
|||||||
@@ -250,7 +250,7 @@ pub fn convert(
|
|||||||
// generate a unit cube as default physics
|
// generate a unit cube as default physics
|
||||||
let pos_list=CUBE_DEFAULT_VERTICES.map(|pos|mb.acquire_pos_id(pos>>1));
|
let pos_list=CUBE_DEFAULT_VERTICES.map(|pos|mb.acquire_pos_id(pos>>1));
|
||||||
let tex=mb.acquire_tex_id(glam::Vec2::ZERO);
|
let tex=mb.acquire_tex_id(glam::Vec2::ZERO);
|
||||||
let normal=mb.acquire_normal_id(vec3::zero());
|
let normal=mb.acquire_normal_id(vec3::ZERO);
|
||||||
let color=mb.acquire_color_id(glam::Vec4::ONE);
|
let color=mb.acquire_color_id(glam::Vec4::ONE);
|
||||||
let polygon_group=PolygonGroup::PolygonList(PolygonList::new(CUBE_DEFAULT_POLYS.map(|poly|poly.map(|[pos_id,_]|
|
let polygon_group=PolygonGroup::PolygonList(PolygonList::new(CUBE_DEFAULT_POLYS.map(|poly|poly.map(|[pos_id,_]|
|
||||||
mb.acquire_vertex_id(IndexedVertex{pos:pos_list[pos_id as usize],tex,normal,color})
|
mb.acquire_vertex_id(IndexedVertex{pos:pos_list[pos_id as usize],tex,normal,color})
|
||||||
|
|||||||
@@ -9,6 +9,3 @@ authors = ["Rhys Lloyd <krakow20@gmail.com>"]
|
|||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
url = "2.5.4"
|
url = "2.5.4"
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
[package]
|
[package]
|
||||||
name = "roblox_emulator"
|
name = "roblox_emulator"
|
||||||
version = "0.5.2"
|
version = "0.5.1"
|
||||||
edition = "2024"
|
edition = "2024"
|
||||||
repository = "https://git.itzana.me/StrafesNET/strafe-project"
|
repository = "https://git.itzana.me/StrafesNET/strafe-project"
|
||||||
license = "MIT OR Apache-2.0"
|
license = "MIT OR Apache-2.0"
|
||||||
@@ -15,10 +15,7 @@ run-service=[]
|
|||||||
glam = "0.30.0"
|
glam = "0.30.0"
|
||||||
mlua = { version = "0.11.3", features = ["luau"] }
|
mlua = { version = "0.11.3", features = ["luau"] }
|
||||||
phf = { version = "0.13.1", features = ["macros"] }
|
phf = { version = "0.13.1", features = ["macros"] }
|
||||||
rbx_dom_weak = "4.1.0"
|
rbx_dom_weak = { version = "3.0.1-sn5", registry = "strafesnet" }
|
||||||
rbx_reflection = "6.1.0"
|
rbx_reflection = "5.0.0"
|
||||||
rbx_reflection_database = "2.0.2"
|
rbx_reflection_database = "1.0.0"
|
||||||
rbx_types = "3.1.0"
|
rbx_types = "2.0.0"
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -52,7 +52,7 @@ impl Context{
|
|||||||
}
|
}
|
||||||
/// Creates an iterator over all items of a particular class.
|
/// Creates an iterator over all items of a particular class.
|
||||||
pub fn superclass_iter<'a>(&'a self,superclass:&'a str)->impl Iterator<Item=Ref>+'a{
|
pub fn superclass_iter<'a>(&'a self,superclass:&'a str)->impl Iterator<Item=Ref>+'a{
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let Some(superclass)=db.classes.get(superclass)else{
|
let Some(superclass)=db.classes.get(superclass)else{
|
||||||
panic!("Invalid class");
|
panic!("Invalid class");
|
||||||
};
|
};
|
||||||
|
|||||||
@@ -8,7 +8,7 @@ impl<'a> EnumItem<'a>{
|
|||||||
Self{name:Some(name.as_ref()),value}
|
Self{name:Some(name.as_ref()),value}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl From<rbx_types::Enum> for EnumItem<'_>{
|
impl<'a> From<rbx_types::Enum> for EnumItem<'a>{
|
||||||
fn from(e:rbx_types::Enum)->Self{
|
fn from(e:rbx_types::Enum)->Self{
|
||||||
EnumItem{
|
EnumItem{
|
||||||
name:None,
|
name:None,
|
||||||
@@ -37,7 +37,7 @@ impl PartialEq for EnumItem<'_>{
|
|||||||
pub struct Enums;
|
pub struct Enums;
|
||||||
impl Enums{
|
impl Enums{
|
||||||
pub fn get(&self,index:&str)->Option<EnumItems<'static>>{
|
pub fn get(&self,index:&str)->Option<EnumItems<'static>>{
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
db.enums.get(index).map(|ed|EnumItems{ed})
|
db.enums.get(index).map(|ed|EnumItems{ed})
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -5,6 +5,7 @@ use rbx_types::Ref;
|
|||||||
use rbx_dom_weak::{Ustr,InstanceBuilder,WeakDom};
|
use rbx_dom_weak::{Ustr,InstanceBuilder,WeakDom};
|
||||||
|
|
||||||
use crate::util::static_ustr;
|
use crate::util::static_ustr;
|
||||||
|
use crate::runner::vector3::Vector3;
|
||||||
use crate::runner::number::Number;
|
use crate::runner::number::Number;
|
||||||
|
|
||||||
pub fn set_globals(lua:&mlua::Lua,globals:&mlua::Table)->Result<(),mlua::Error>{
|
pub fn set_globals(lua:&mlua::Lua,globals:&mlua::Table)->Result<(),mlua::Error>{
|
||||||
@@ -37,13 +38,13 @@ pub fn dom_mut<T>(lua:&mlua::Lua,mut f:impl FnMut(&mut WeakDom)->mlua::Result<T>
|
|||||||
}
|
}
|
||||||
|
|
||||||
pub fn class_is_a(class:&str,superclass:&str)->bool{
|
pub fn class_is_a(class:&str,superclass:&str)->bool{
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let (Some(class),Some(superclass))=(db.classes.get(class),db.classes.get(superclass))else{
|
let (Some(class),Some(superclass))=(db.classes.get(class),db.classes.get(superclass))else{
|
||||||
return false;
|
return false;
|
||||||
};
|
};
|
||||||
db.has_superclass(class,superclass)
|
db.has_superclass(class,superclass)
|
||||||
}
|
}
|
||||||
fn get_full_name(dom:&WeakDom,instance:&rbx_dom_weak::Instance)->String{
|
fn get_full_name(dom:&rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance)->String{
|
||||||
let mut full_name=instance.name.clone();
|
let mut full_name=instance.name.clone();
|
||||||
let mut pref=instance.parent();
|
let mut pref=instance.parent();
|
||||||
while let Some(parent)=dom.get_by_ref(pref){
|
while let Some(parent)=dom.get_by_ref(pref){
|
||||||
@@ -65,29 +66,29 @@ pub fn get_name_source(lua:&mlua::Lua,script:Instance)->Result<(String,String),m
|
|||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn find_first_child<'a>(dom:&'a WeakDom,instance:&rbx_dom_weak::Instance,name:&str)->Option<&'a rbx_dom_weak::Instance>{
|
pub fn find_first_child<'a>(dom:&'a rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance,name:&str)->Option<&'a rbx_dom_weak::Instance>{
|
||||||
instance.children().iter().filter_map(|&r|dom.get_by_ref(r)).find(|inst|inst.name==name)
|
instance.children().iter().filter_map(|&r|dom.get_by_ref(r)).find(|inst|inst.name==name)
|
||||||
}
|
}
|
||||||
pub fn find_first_descendant<'a>(dom:&'a WeakDom,instance:&rbx_dom_weak::Instance,name:&str)->Option<&'a rbx_dom_weak::Instance>{
|
pub fn find_first_descendant<'a>(dom:&'a rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance,name:&str)->Option<&'a rbx_dom_weak::Instance>{
|
||||||
dom.descendants_of(instance.referent()).find(|&inst|inst.name==name)
|
dom.descendants_of(instance.referent()).find(|&inst|inst.name==name)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn find_first_child_of_class<'a>(dom:&'a WeakDom,instance:&rbx_dom_weak::Instance,class:&str)->Option<&'a rbx_dom_weak::Instance>{
|
pub fn find_first_child_of_class<'a>(dom:&'a rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance,class:&str)->Option<&'a rbx_dom_weak::Instance>{
|
||||||
instance.children().iter().filter_map(|&r|dom.get_by_ref(r)).find(|inst|inst.class==class)
|
instance.children().iter().filter_map(|&r|dom.get_by_ref(r)).find(|inst|inst.class==class)
|
||||||
}
|
}
|
||||||
pub fn find_first_descendant_of_class<'a>(dom:&'a WeakDom,instance:&rbx_dom_weak::Instance,class:&str)->Option<&'a rbx_dom_weak::Instance>{
|
pub fn find_first_descendant_of_class<'a>(dom:&'a rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance,class:&str)->Option<&'a rbx_dom_weak::Instance>{
|
||||||
dom.descendants_of(instance.referent()).find(|&inst|inst.class==class)
|
dom.descendants_of(instance.referent()).find(|&inst|inst.class==class)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn find_first_child_which_is_a<'a>(dom:&'a WeakDom,instance:&rbx_dom_weak::Instance,superclass:&str)->Option<&'a rbx_dom_weak::Instance>{
|
pub fn find_first_child_which_is_a<'a>(dom:&'a rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance,superclass:&str)->Option<&'a rbx_dom_weak::Instance>{
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let superclass_descriptor=db.classes.get(superclass)?;
|
let superclass_descriptor=db.classes.get(superclass)?;
|
||||||
instance.children().iter().filter_map(|&r|dom.get_by_ref(r)).find(|inst|{
|
instance.children().iter().filter_map(|&r|dom.get_by_ref(r)).find(|inst|{
|
||||||
db.classes.get(inst.class.as_str()).is_some_and(|descriptor|db.has_superclass(descriptor,superclass_descriptor))
|
db.classes.get(inst.class.as_str()).is_some_and(|descriptor|db.has_superclass(descriptor,superclass_descriptor))
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
pub fn find_first_descendant_which_is_a<'a>(dom:&'a WeakDom,instance:&rbx_dom_weak::Instance,superclass:&str)->Option<&'a rbx_dom_weak::Instance>{
|
pub fn find_first_descendant_which_is_a<'a>(dom:&'a rbx_dom_weak::WeakDom,instance:&rbx_dom_weak::Instance,superclass:&str)->Option<&'a rbx_dom_weak::Instance>{
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let superclass_descriptor=db.classes.get(superclass)?;
|
let superclass_descriptor=db.classes.get(superclass)?;
|
||||||
dom.descendants_of(instance.referent()).find(|inst|{
|
dom.descendants_of(instance.referent()).find(|inst|{
|
||||||
db.classes.get(inst.class.as_str()).is_some_and(|descriptor|db.has_superclass(descriptor,superclass_descriptor))
|
db.classes.get(inst.class.as_str()).is_some_and(|descriptor|db.has_superclass(descriptor,superclass_descriptor))
|
||||||
@@ -282,7 +283,7 @@ impl mlua::UserData for Instance{
|
|||||||
dom_mut(lua,|dom|{
|
dom_mut(lua,|dom|{
|
||||||
let instance=this.get(dom)?;
|
let instance=this.get(dom)?;
|
||||||
//println!("__index t={} i={index:?}",instance.name);
|
//println!("__index t={} i={index:?}",instance.name);
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let class=db.classes.get(instance.class.as_str()).ok_or_else(||mlua::Error::runtime("Class missing"))?;
|
let class=db.classes.get(instance.class.as_str()).ok_or_else(||mlua::Error::runtime("Class missing"))?;
|
||||||
// Find existing property
|
// Find existing property
|
||||||
// Interestingly, ustr can know ahead of time if
|
// Interestingly, ustr can know ahead of time if
|
||||||
@@ -344,7 +345,7 @@ impl mlua::UserData for Instance{
|
|||||||
let index_str=&*index.to_str()?;
|
let index_str=&*index.to_str()?;
|
||||||
dom_mut(lua,|dom|{
|
dom_mut(lua,|dom|{
|
||||||
let instance=this.get_mut(dom)?;
|
let instance=this.get_mut(dom)?;
|
||||||
let db=rbx_reflection_database::get().unwrap();
|
let db=rbx_reflection_database::get();
|
||||||
let class=db.classes.get(instance.class.as_str()).ok_or_else(||mlua::Error::runtime("Class missing"))?;
|
let class=db.classes.get(instance.class.as_str()).ok_or_else(||mlua::Error::runtime("Class missing"))?;
|
||||||
let property=db.superclasses_iter(class).find_map(|cls|
|
let property=db.superclasses_iter(class).find_map(|cls|
|
||||||
cls.properties.get(index_str)
|
cls.properties.get(index_str)
|
||||||
@@ -487,8 +488,8 @@ static CLASS_FUNCTION_DATABASE:CFD=phf::phf_map!{
|
|||||||
"GetService"=>GET_SERVICE,
|
"GetService"=>GET_SERVICE,
|
||||||
},
|
},
|
||||||
"Terrain"=>phf::phf_map!{
|
"Terrain"=>phf::phf_map!{
|
||||||
"FillBall"=>cf!(|_lua,_,_:(crate::runner::vector3::Vector3,Number,crate::runner::r#enum::CoerceEnum)|mlua::Result::Ok(())),
|
"FillBall"=>cf!(|_lua,_,_:(Vector3,Number,crate::runner::r#enum::CoerceEnum)|mlua::Result::Ok(())),
|
||||||
"FillBlock"=>cf!(|_lua,_,_:(crate::runner::cframe::CFrame,crate::runner::vector3::Vector3,crate::runner::r#enum::CoerceEnum)|mlua::Result::Ok(())),
|
"FillBlock"=>cf!(|_lua,_,_:(crate::runner::cframe::CFrame,Vector3,crate::runner::r#enum::CoerceEnum)|mlua::Result::Ok(())),
|
||||||
"FillCylinder"=>cf!(|_lua,_,_:(crate::runner::cframe::CFrame,Number,Number,crate::runner::r#enum::CoerceEnum)|mlua::Result::Ok(())),
|
"FillCylinder"=>cf!(|_lua,_,_:(crate::runner::cframe::CFrame,Number,Number,crate::runner::r#enum::CoerceEnum)|mlua::Result::Ok(())),
|
||||||
"SetMaterialColor"=>cf!(|_lua,_,_:(crate::runner::r#enum::CoerceEnum,crate::runner::color3::Color3)|mlua::Result::Ok(())),
|
"SetMaterialColor"=>cf!(|_lua,_,_:(crate::runner::r#enum::CoerceEnum,crate::runner::color3::Color3)|mlua::Result::Ok(())),
|
||||||
},
|
},
|
||||||
|
|||||||
@@ -48,11 +48,6 @@ fn init(lua:&mlua::Lua)->mlua::Result<()>{
|
|||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
|
|
||||||
unsafe fn extend_lifetime_mut<'a,T>(src:&mut T)->&'a mut T{
|
|
||||||
let ptr:*mut T=src;
|
|
||||||
unsafe{&mut*ptr}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl Runner{
|
impl Runner{
|
||||||
pub fn new()->Result<Self,Error>{
|
pub fn new()->Result<Self,Error>{
|
||||||
let runner=Self{
|
let runner=Self{
|
||||||
@@ -70,7 +65,8 @@ impl Runner{
|
|||||||
// SAFETY: This is not a &'static mut WeakDom,
|
// SAFETY: This is not a &'static mut WeakDom,
|
||||||
// but as long as Runnable<'a> holds the lifetime of &'a mut Context
|
// but as long as Runnable<'a> holds the lifetime of &'a mut Context
|
||||||
// it is a valid unique reference.
|
// it is a valid unique reference.
|
||||||
self.lua.set_app_data::<crate::context::LuaAppData>(unsafe{extend_lifetime_mut(&mut context.dom)});
|
let ptr=&mut context.dom as *mut rbx_dom_weak::WeakDom;
|
||||||
|
self.lua.set_app_data::<crate::context::LuaAppData>(unsafe{&mut*ptr});
|
||||||
#[cfg(feature="run-service")]
|
#[cfg(feature="run-service")]
|
||||||
self.lua.set_app_data::<crate::scheduler::Scheduler>(crate::scheduler::Scheduler::default());
|
self.lua.set_app_data::<crate::scheduler::Scheduler>(crate::scheduler::Scheduler::default());
|
||||||
Ok(Runnable{
|
Ok(Runnable{
|
||||||
|
|||||||
@@ -117,7 +117,7 @@ impl mlua::FromLua for ScriptSignal{
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl mlua::UserData for ScriptConnection{
|
impl mlua::UserData for ScriptConnection{
|
||||||
fn add_fields<F:UserDataFields<Self>>(fields:&mut F){
|
fn add_fields<F:mlua::UserDataFields<Self>>(fields:&mut F){
|
||||||
fields.add_field_method_get("Connected",|_,this|{
|
fields.add_field_method_get("Connected",|_,this|{
|
||||||
Ok(this.position().is_some())
|
Ok(this.position().is_some())
|
||||||
});
|
});
|
||||||
|
|||||||
@@ -46,8 +46,8 @@ impl Scheduler{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn scheduler_mut<T>(lua:&mlua::Lua,mut f:impl FnMut(&mut Scheduler)->mlua::Result<T>)->mlua::Result<T>{
|
pub fn scheduler_mut<T>(lua:&mlua::Lua,mut f:impl FnMut(&mut crate::scheduler::Scheduler)->mlua::Result<T>)->mlua::Result<T>{
|
||||||
let mut scheduler=lua.app_data_mut::<Scheduler>().ok_or_else(||mlua::Error::runtime("Scheduler missing"))?;
|
let mut scheduler=lua.app_data_mut::<crate::scheduler::Scheduler>().ok_or_else(||mlua::Error::runtime("Scheduler missing"))?;
|
||||||
f(&mut *scheduler)
|
f(&mut *scheduler)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -9,6 +9,3 @@ edition = "2024"
|
|||||||
binrw = "0.15.0"
|
binrw = "0.15.0"
|
||||||
id = { version = "0.1.0", registry = "strafesnet" }
|
id = { version = "0.1.0", registry = "strafesnet" }
|
||||||
strafesnet_common = { version = "0.7.0", path = "../common", registry = "strafesnet" }
|
strafesnet_common = { version = "0.7.0", path = "../common", registry = "strafesnet" }
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -6,7 +6,7 @@ use strafesnet_common::physics::Time;
|
|||||||
|
|
||||||
const VERSION:u32=0;
|
const VERSION:u32=0;
|
||||||
|
|
||||||
type TimedPhysicsInstruction=strafesnet_common::instruction::TimedInstruction<strafesnet_common::physics::Instruction,Time>;
|
type TimedPhysicsInstruction=strafesnet_common::instruction::TimedInstruction<strafesnet_common::physics::Instruction,strafesnet_common::physics::Time>;
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub enum Error{
|
pub enum Error{
|
||||||
@@ -274,7 +274,7 @@ pub fn write_bot<W:BinWriterExt>(mut writer:W,physics_version:u32,instructions:i
|
|||||||
|
|
||||||
//probe header length
|
//probe header length
|
||||||
let mut bot_header_data=Vec::new();
|
let mut bot_header_data=Vec::new();
|
||||||
header.write_le(&mut std::io::Cursor::new(&mut bot_header_data)).map_err(Error::InvalidData)?;
|
binrw::BinWrite::write_le(&header,&mut std::io::Cursor::new(&mut bot_header_data)).map_err(Error::InvalidData)?;
|
||||||
|
|
||||||
// the first block location is the map header
|
// the first block location is the map header
|
||||||
block_location.push(offset);
|
block_location.push(offset);
|
||||||
|
|||||||
@@ -97,8 +97,8 @@ enum ResourceType{
|
|||||||
}
|
}
|
||||||
|
|
||||||
struct ResourceMap<T>{
|
struct ResourceMap<T>{
|
||||||
meshes:HashMap<model::MeshId,T>,
|
meshes:HashMap<strafesnet_common::model::MeshId,T>,
|
||||||
textures:HashMap<model::TextureId,T>,
|
textures:HashMap<strafesnet_common::model::TextureId,T>,
|
||||||
}
|
}
|
||||||
impl<T> Default for ResourceMap<T>{
|
impl<T> Default for ResourceMap<T>{
|
||||||
fn default()->Self{
|
fn default()->Self{
|
||||||
@@ -185,7 +185,7 @@ pub struct StreamableMap<R:BinReaderExt>{
|
|||||||
//this is every possible attribute... need some sort of streaming system
|
//this is every possible attribute... need some sort of streaming system
|
||||||
attributes:Vec<strafesnet_common::gameplay_attributes::CollisionAttributes>,
|
attributes:Vec<strafesnet_common::gameplay_attributes::CollisionAttributes>,
|
||||||
//this is every possible render configuration... shaders and such... need streaming
|
//this is every possible render configuration... shaders and such... need streaming
|
||||||
render_configs:Vec<model::RenderConfig>,
|
render_configs:Vec<strafesnet_common::model::RenderConfig>,
|
||||||
//this makes sense to keep in memory for streaming, a map of which blocks occupy what space
|
//this makes sense to keep in memory for streaming, a map of which blocks occupy what space
|
||||||
bvh:BvhNode<BlockId>,
|
bvh:BvhNode<BlockId>,
|
||||||
//something something resources hashmaps
|
//something something resources hashmaps
|
||||||
@@ -223,7 +223,7 @@ impl<R:BinReaderExt> StreamableMap<R>{
|
|||||||
}
|
}
|
||||||
Ok(Self{
|
Ok(Self{
|
||||||
file,
|
file,
|
||||||
modes:gameplay_modes::NormalizedModes::new(modes),
|
modes:strafesnet_common::gameplay_modes::NormalizedModes::new(modes),
|
||||||
attributes,
|
attributes,
|
||||||
render_configs,
|
render_configs,
|
||||||
bvh:strafesnet_common::bvh::generate_bvh(bvh),
|
bvh:strafesnet_common::bvh::generate_bvh(bvh),
|
||||||
@@ -366,12 +366,12 @@ fn collect_spacial_blocks(
|
|||||||
block_location.push(sequential_block_data.position());
|
block_location.push(sequential_block_data.position());
|
||||||
}else{
|
}else{
|
||||||
match bvh_node.into_content(){
|
match bvh_node.into_content(){
|
||||||
RecursiveContent::Branch(bvh_node_list)=>{
|
strafesnet_common::bvh::RecursiveContent::Branch(bvh_node_list)=>{
|
||||||
for bvh_node in bvh_node_list{
|
for bvh_node in bvh_node_list{
|
||||||
collect_spacial_blocks(block_location,block_headers,sequential_block_data,bvh_node)?;
|
collect_spacial_blocks(block_location,block_headers,sequential_block_data,bvh_node)?;
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
RecursiveContent::Leaf(_)=>panic!(),//bvh branches are 20 leaves minimum
|
strafesnet_common::bvh::RecursiveContent::Leaf(_)=>panic!(),//bvh branches are 20 leaves minimum
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
Ok(())
|
Ok(())
|
||||||
@@ -384,13 +384,13 @@ pub fn write_map<W:BinWriterExt>(mut writer:W,map:strafesnet_common::map::Comple
|
|||||||
let boxen=map.models.into_iter().enumerate().map(|(model_id,model)|{
|
let boxen=map.models.into_iter().enumerate().map(|(model_id,model)|{
|
||||||
//grow your own aabb
|
//grow your own aabb
|
||||||
let mesh=map.meshes.get(model.mesh.get() as usize).ok_or(Error::InvalidMeshId(model.mesh))?;
|
let mesh=map.meshes.get(model.mesh.get() as usize).ok_or(Error::InvalidMeshId(model.mesh))?;
|
||||||
let mut aabb=Aabb::default();
|
let mut aabb=strafesnet_common::aabb::Aabb::default();
|
||||||
for &pos in &mesh.unique_pos{
|
for &pos in &mesh.unique_pos{
|
||||||
aabb.grow(model.transform.transform_point3(pos).narrow_1().unwrap());
|
aabb.grow(model.transform.transform_point3(pos).narrow_1().unwrap());
|
||||||
}
|
}
|
||||||
Ok(((model::ModelId::new(model_id as u32),model.into()),aabb))
|
Ok(((model::ModelId::new(model_id as u32),model.into()),aabb))
|
||||||
}).collect::<Result<Vec<_>,_>>()?;
|
}).collect::<Result<Vec<_>,_>>()?;
|
||||||
let bvh=weigh_contents(strafesnet_common::bvh::generate_bvh(boxen),&|_|size_of::<newtypes::model::Model>());
|
let bvh=weigh_contents(strafesnet_common::bvh::generate_bvh(boxen),&|_|std::mem::size_of::<newtypes::model::Model>());
|
||||||
//build blocks
|
//build blocks
|
||||||
//block location is initialized with two values
|
//block location is initialized with two values
|
||||||
//the first value represents the location of the first byte after the file header
|
//the first value represents the location of the first byte after the file header
|
||||||
|
|||||||
@@ -20,7 +20,7 @@ impl TryInto<TimedPhysicsInstruction> for TimedInstruction{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
impl TryFrom<TimedPhysicsInstruction> for TimedInstruction{
|
impl TryFrom<TimedPhysicsInstruction> for TimedInstruction{
|
||||||
type Error=InstructionConvert;
|
type Error=super::physics::InstructionConvert;
|
||||||
fn try_from(value:TimedPhysicsInstruction)->Result<Self,Self::Error>{
|
fn try_from(value:TimedPhysicsInstruction)->Result<Self,Self::Error>{
|
||||||
Ok(Self{
|
Ok(Self{
|
||||||
time:value.time.get(),
|
time:value.time.get(),
|
||||||
|
|||||||
@@ -12,11 +12,12 @@ flate2 = "1.0.27"
|
|||||||
futures = "0.3.31"
|
futures = "0.3.31"
|
||||||
image = "0.25.2"
|
image = "0.25.2"
|
||||||
image_dds = "0.7.1"
|
image_dds = "0.7.1"
|
||||||
|
lazy-regex = "3.1.0"
|
||||||
rbx_asset = { version = "0.5.0", registry = "strafesnet" }
|
rbx_asset = { version = "0.5.0", registry = "strafesnet" }
|
||||||
rbx_binary = "2.0.1"
|
rbx_binary = { version = "1.0.1-sn5", registry = "strafesnet" }
|
||||||
rbx_dom_weak = "4.1.0"
|
rbx_dom_weak = { version = "3.0.1-sn5", registry = "strafesnet" }
|
||||||
rbx_reflection_database = "2.0.2"
|
rbx_reflection_database = "1.0.0"
|
||||||
rbx_xml = "2.0.1"
|
rbx_xml = { version = "1.0.1-sn5", registry = "strafesnet" }
|
||||||
rbxassetid = { version = "0.1.0", registry = "strafesnet" }
|
rbxassetid = { version = "0.1.0", registry = "strafesnet" }
|
||||||
strafesnet_bsp_loader = { version = "0.3.1", path = "../lib/bsp_loader", registry = "strafesnet" }
|
strafesnet_bsp_loader = { version = "0.3.1", path = "../lib/bsp_loader", registry = "strafesnet" }
|
||||||
strafesnet_deferred_loader = { version = "0.5.1", path = "../lib/deferred_loader", registry = "strafesnet" }
|
strafesnet_deferred_loader = { version = "0.5.1", path = "../lib/deferred_loader", registry = "strafesnet" }
|
||||||
@@ -35,6 +36,3 @@ vtf = "0.3.0"
|
|||||||
#lto = true
|
#lto = true
|
||||||
#strip = true
|
#strip = true
|
||||||
#codegen-units = 1
|
#codegen-units = 1
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -465,7 +465,7 @@ fn convert_to_snf(path:&Path,output_folder:PathBuf)->Result<Errors,ConvertError>
|
|||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
async fn roblox_to_snf(paths:Vec<PathBuf>,output_folder:PathBuf)->AResult<()>{
|
async fn roblox_to_snf(paths:Vec<std::path::PathBuf>,output_folder:PathBuf)->AResult<()>{
|
||||||
let start=std::time::Instant::now();
|
let start=std::time::Instant::now();
|
||||||
|
|
||||||
let thread_limit=std::thread::available_parallelism()?.get();
|
let thread_limit=std::thread::available_parallelism()?.get();
|
||||||
|
|||||||
@@ -484,7 +484,7 @@ async fn convert_to_snf(path:&Path,vpk_list:&[strafesnet_bsp_loader::Vpk],output
|
|||||||
|
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
async fn source_to_snf(paths:Vec<PathBuf>,output_folder:PathBuf,vpk_paths:Vec<PathBuf>)->AResult<()>{
|
async fn source_to_snf(paths:Vec<std::path::PathBuf>,output_folder:PathBuf,vpk_paths:Vec<PathBuf>)->AResult<()>{
|
||||||
let start=std::time::Instant::now();
|
let start=std::time::Instant::now();
|
||||||
|
|
||||||
let thread_limit=std::thread::available_parallelism()?.get();
|
let thread_limit=std::thread::available_parallelism()?.get();
|
||||||
|
|||||||
@@ -28,12 +28,9 @@ strafesnet_rbx_loader = { path = "../lib/rbx_loader", registry = "strafesnet", o
|
|||||||
strafesnet_session = { path = "../engine/session", registry = "strafesnet" }
|
strafesnet_session = { path = "../engine/session", registry = "strafesnet" }
|
||||||
strafesnet_settings = { path = "../engine/settings", registry = "strafesnet" }
|
strafesnet_settings = { path = "../engine/settings", registry = "strafesnet" }
|
||||||
strafesnet_snf = { path = "../lib/snf", registry = "strafesnet", optional = true }
|
strafesnet_snf = { path = "../lib/snf", registry = "strafesnet", optional = true }
|
||||||
wgpu = "28.0.0"
|
wgpu = "26.0.1"
|
||||||
winit = "0.30.7"
|
winit = "0.30.7"
|
||||||
|
|
||||||
[profile.dev]
|
[profile.dev]
|
||||||
strip = false
|
strip = false
|
||||||
opt-level = 3
|
opt-level = 3
|
||||||
|
|
||||||
[lints]
|
|
||||||
workspace = true
|
|
||||||
|
|||||||
@@ -77,8 +77,5 @@ pub fn new<'a>(
|
|||||||
run_session_instruction!(ins.time,SessionInstruction::LoadReplay(bot));
|
run_session_instruction!(ins.time,SessionInstruction::LoadReplay(bot));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
//whatever just do it
|
|
||||||
session.debug_raycast_print_model_id_if_changed(ins.time);
|
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -52,7 +52,7 @@ impl<'a> SetupContextPartial2<'a>{
|
|||||||
let required_features=required_features();
|
let required_features=required_features();
|
||||||
|
|
||||||
//no helper function smh gotta write it myself
|
//no helper function smh gotta write it myself
|
||||||
let adapters=pollster::block_on(self.instance.enumerate_adapters(self.backends));
|
let adapters=self.instance.enumerate_adapters(self.backends);
|
||||||
|
|
||||||
let mut chosen_adapter=None;
|
let mut chosen_adapter=None;
|
||||||
let mut chosen_adapter_score=0;
|
let mut chosen_adapter_score=0;
|
||||||
@@ -119,13 +119,12 @@ impl<'a> SetupContextPartial3<'a>{
|
|||||||
|
|
||||||
let (device, queue)=pollster::block_on(self.adapter
|
let (device, queue)=pollster::block_on(self.adapter
|
||||||
.request_device(
|
.request_device(
|
||||||
&wgpu::DeviceDescriptor{
|
&wgpu::DeviceDescriptor {
|
||||||
label:None,
|
label: None,
|
||||||
required_features:(optional_features&self.adapter.features())|required_features,
|
required_features: (optional_features & self.adapter.features()) | required_features,
|
||||||
required_limits:needed_limits,
|
required_limits: needed_limits,
|
||||||
memory_hints:wgpu::MemoryHints::Performance,
|
memory_hints:wgpu::MemoryHints::Performance,
|
||||||
trace:wgpu::Trace::Off,
|
trace: wgpu::Trace::Off,
|
||||||
experimental_features:wgpu::ExperimentalFeatures::disabled(),
|
|
||||||
},
|
},
|
||||||
))
|
))
|
||||||
.expect("Unable to find a suitable GPU adapter!");
|
.expect("Unable to find a suitable GPU adapter!");
|
||||||
|
|||||||
@@ -86,29 +86,6 @@ fn vs_entity_texture(
|
|||||||
return result;
|
return result;
|
||||||
}
|
}
|
||||||
|
|
||||||
@group(1)
|
|
||||||
@binding(0)
|
|
||||||
var<uniform> model_instance: ModelInstance;
|
|
||||||
|
|
||||||
struct DebugEntityOutput {
|
|
||||||
@builtin(position) position: vec4<f32>,
|
|
||||||
@location(1) normal: vec3<f32>,
|
|
||||||
@location(2) view: vec3<f32>,
|
|
||||||
};
|
|
||||||
|
|
||||||
@vertex
|
|
||||||
fn vs_debug(
|
|
||||||
@location(0) pos: vec3<f32>,
|
|
||||||
@location(1) normal: vec3<f32>,
|
|
||||||
) -> DebugEntityOutput {
|
|
||||||
var position: vec4<f32> = model_instance.transform * vec4<f32>(pos, 1.0);
|
|
||||||
var result: DebugEntityOutput;
|
|
||||||
result.normal = model_instance.normal_transform * normal;
|
|
||||||
result.view = position.xyz - camera.view_inv[3].xyz;//col(3)
|
|
||||||
result.position = camera.proj * camera.view * position;
|
|
||||||
return result;
|
|
||||||
}
|
|
||||||
|
|
||||||
//group 2 is the skybox texture
|
//group 2 is the skybox texture
|
||||||
@group(1)
|
@group(1)
|
||||||
@binding(0)
|
@binding(0)
|
||||||
@@ -133,8 +110,3 @@ fn fs_entity_texture(vertex: EntityOutputTexture) -> @location(0) vec4<f32> {
|
|||||||
let reflected_color = textureSample(cube_texture, cube_sampler, reflected).rgb;
|
let reflected_color = textureSample(cube_texture, cube_sampler, reflected).rgb;
|
||||||
return mix(vec4<f32>(vec3<f32>(0.05) + 0.2 * reflected_color,1.0),mix(vertex.model_color,vec4<f32>(fragment_color.rgb,1.0),fragment_color.a),0.5+0.5*abs(d));
|
return mix(vec4<f32>(vec3<f32>(0.05) + 0.2 * reflected_color,1.0),mix(vertex.model_color,vec4<f32>(fragment_color.rgb,1.0),fragment_color.a),0.5+0.5*abs(d));
|
||||||
}
|
}
|
||||||
|
|
||||||
@fragment
|
|
||||||
fn fs_debug(vertex: DebugEntityOutput) -> @location(0) vec4<f32> {
|
|
||||||
return model_instance.color;
|
|
||||||
}
|
|
||||||
|
|||||||
@@ -188,7 +188,7 @@ impl WindowContext<'_>{
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn device_event(&mut self,time:SessionTime,event:winit::event::DeviceEvent){
|
fn device_event(&mut self,time:SessionTime,event: winit::event::DeviceEvent){
|
||||||
match event{
|
match event{
|
||||||
winit::event::DeviceEvent::MouseMotion{
|
winit::event::DeviceEvent::MouseMotion{
|
||||||
delta,
|
delta,
|
||||||
|
|||||||
Reference in New Issue
Block a user