1#[macro_use]
2use crate::stdlib::*;
3
4#[macro_export]
5macro_rules! register_define {
6 ($fxn_name:tt, $scalar:tt, $scalar_string:tt, $row1:tt) => {
7 paste! {
8 register_descriptor! {
9 FunctionDescriptor {
10 name: concat!(stringify!($fxn_name), "<", $scalar_string , stringify!($row1), ">") ,
11 ptr: $fxn_name::<$scalar,$row1<$scalar>>::new,
12 }
13 }
14 }
15 };
16}
17
18#[derive(Debug)]
19pub struct VariableDefineMatrix<T, MatA> {
20 pub id: u64,
21 pub name: Ref<String>,
22 pub mutable: Ref<bool>,
23 pub var: Ref<MatA>,
24 pub _marker: PhantomData<T>,
25}
26impl<T, MatA> MechFunctionFactory for VariableDefineMatrix<T, MatA>
27where
28 T: Debug + Clone + Sync + Send + 'static +
29 CompileConst + ConstElem + AsValueKind,
30 for<'a> &'a MatA: IntoIterator<Item = &'a T>,
31 for<'a> &'a mut MatA: IntoIterator<Item = &'a mut T>,
32 MatA: Debug + CompileConst + ConstElem + AsNaKind + 'static,
33 Ref<MatA>: ToValue
34{
35 fn new(args: FunctionArgs) -> MResult<Box<dyn MechFunction>> {
36 match args {
37 FunctionArgs::Binary(var, arg1, arg2) => {
38 let var: Ref<MatA> = unsafe { var.as_unchecked() }.clone();
39 let name: Ref<String> = unsafe { arg1.as_unchecked() }.clone();
40 let mutable: Ref<bool> = unsafe { arg2.as_unchecked() }.clone();
41 let id = hash_str(&name.borrow());
42 Ok(Box::new(Self {id, name, mutable, var, _marker: PhantomData::default() }))
43 },
44 _ => Err(MechError2::new(
45 IncorrectNumberOfArguments { expected: 3, found: args.len() },
46 None
47 ).with_compiler_loc()
48 ),
49 }
50 }
51}
52impl<T, MatA> MechFunctionImpl for VariableDefineMatrix<T, MatA>
53where
54 Ref<MatA>: ToValue,
55 T: Debug + Clone + Sync + Send + 'static +
56 CompileConst + ConstElem + AsValueKind,
57 MatA: Debug,
58{
59 fn solve(&self) {}
60 fn out(&self) -> Value {self.var.to_value()}
61 fn to_string(&self) -> String { format!("{:#?}", self) }
62}
63#[cfg(feature = "compiler")]
64impl<T, MatA> MechFunctionCompiler for VariableDefineMatrix<T, MatA>
65where
66 T: CompileConst + ConstElem + AsValueKind,
67 MatA: CompileConst + ConstElem + AsNaKind,
68{
69 fn compile(&self, ctx: &mut CompileCtx) -> MResult<Register> {
70 let name = format!("VariableDefineMatrix<{}{}>", T::as_value_kind(), MatA::as_na_kind());
71 compile_binop!(name, self.var, self.name, self.mutable, ctx, FeatureFlag::Builtin(FeatureKind::VariableDefine) );
72 }
73}
74
75#[macro_export]
76macro_rules! impl_variable_define_fxn {
77 ($kind:tt) => {
78 paste! {
79 #[derive(Debug, Clone)]
80 pub struct [<VariableDefine $kind:camel>] {
81 id: u64,
82 name: Ref<String>,
83 mutable: Ref<bool>,
84 var: Ref<$kind>,
85 }
86 impl MechFunctionFactory for [<VariableDefine $kind:camel>] {
87 fn new(args: FunctionArgs) -> MResult<Box<dyn MechFunction>> {
88 match args {
89 FunctionArgs::Binary(out, arg1, arg2) => {
90 let var: Ref<$kind> = unsafe { out.as_unchecked() }.clone();
91 let name: Ref<String> = unsafe { arg1.as_unchecked() }.clone();
92 let mutable: Ref<bool> = unsafe { arg2.as_unchecked() }.clone();
93 let id = hash_str(&name.borrow());
94 Ok(Box::new(Self { id, name, mutable, var }))
95 },
96 _ => Err(MechError2::new(
97 IncorrectNumberOfArguments { expected: 3, found: args.len() },
98 None
99 ).with_compiler_loc()
100 ),
101 }
102 }
103 }
104 impl MechFunctionImpl for [<VariableDefine $kind:camel>] {
105 fn solve(&self) {}
106 fn out(&self) -> Value { self.var.to_value() }
107 fn to_string(&self) -> String { format!("{:#?}", self) }
108 }
109 #[cfg(feature = "compiler")]
110 impl MechFunctionCompiler for [<VariableDefine $kind:camel>] {
111 fn compile(&self, ctx: &mut CompileCtx) -> MResult<Register> {
112 let name = format!(stringify!([<VariableDefine $kind:camel>]));
113 compile_binop!(name, self.var, self.name, self.mutable, ctx, FeatureFlag::Builtin(FeatureKind::VariableDefine) );
114 }
115 }
116 inventory::submit! {
117 FunctionDescriptor {
118 name: stringify!([<VariableDefine $kind:camel>]),
119 ptr: [<VariableDefine $kind:camel>]::new,
120 }
121 }
122 }
123 };
124}
125
126#[cfg(feature = "f64")]
127impl_variable_define_fxn!(f64);
128#[cfg(feature = "f32")]
129impl_variable_define_fxn!(f32);
130#[cfg(feature = "u8")]
131impl_variable_define_fxn!(u8);
132#[cfg(feature = "u16")]
133impl_variable_define_fxn!(u16);
134#[cfg(feature = "u32")]
135impl_variable_define_fxn!(u32);
136#[cfg(feature = "u64")]
137impl_variable_define_fxn!(u64);
138#[cfg(feature = "u128")]
139impl_variable_define_fxn!(u128);
140#[cfg(feature = "i8")]
141impl_variable_define_fxn!(i8);
142#[cfg(feature = "i16")]
143impl_variable_define_fxn!(i16);
144#[cfg(feature = "i32")]
145impl_variable_define_fxn!(i32);
146#[cfg(feature = "i64")]
147impl_variable_define_fxn!(i64);
148#[cfg(feature = "i128")]
149impl_variable_define_fxn!(i128);
150#[cfg(feature = "r64")]
151impl_variable_define_fxn!(R64);
152#[cfg(feature = "c64")]
153impl_variable_define_fxn!(C64);
154#[cfg(feature = "bool")]
155impl_variable_define_fxn!(bool);
156#[cfg(feature = "string")]
157impl_variable_define_fxn!(String);
158#[cfg(feature = "table")]
159impl_variable_define_fxn!(MechTable);
160#[cfg(feature = "set")]
161impl_variable_define_fxn!(MechSet);
162#[cfg(feature = "tuple")]
163impl_variable_define_fxn!(MechTuple);
164#[cfg(feature = "record")]
165impl_variable_define_fxn!(MechRecord);
166#[cfg(feature = "atom")]
167impl_variable_define_fxn!(MechAtom);
168
169#[macro_export]
170macro_rules! impl_variable_define_match_arms {
171 ($arg:expr, $value_kind:ty, $feature:expr) => {
172 paste::paste! {
173 match $arg {
174 #[cfg(feature = $feature)]
175 (Value::[<$value_kind:camel>](sink), name, mutable, id) => box_mech_fxn(Ok(Box::new([<VariableDefine $value_kind:camel>]{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id } ))),
176 #[cfg(all(feature = $feature, feature = "matrix1"))]
177 (Value::[<Matrix $value_kind:camel>](Matrix::Matrix1(sink)), name, mutable, id) => {
178 register_define!(VariableDefineMatrix, $value_kind, $feature, Matrix1);
179 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
180 },
181 #[cfg(all(feature = $feature, feature = "matrix2"))]
182 (Value::[<Matrix $value_kind:camel>](Matrix::Matrix2(sink)), name, mutable, id) => {
183 register_define!(VariableDefineMatrix, $value_kind, $feature, Matrix2);
184 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
185 },
186 #[cfg(all(feature = $feature, feature = "matrix2x3"))]
187 (Value::[<Matrix $value_kind:camel>](Matrix::Matrix2x3(sink)), name, mutable, id) => {
188 register_define!(VariableDefineMatrix, $value_kind, $feature, Matrix2x3);
189 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
190 },
191 #[cfg(all(feature = $feature, feature = "matrix3x2"))]
192 (Value::[<Matrix $value_kind:camel>](Matrix::Matrix3x2(sink)), name, mutable, id) => {
193 register_define!(VariableDefineMatrix, $value_kind, $feature, Matrix3x2);
194 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
195 },
196 #[cfg(all(feature = $feature, feature = "matrix3"))]
197 (Value::[<Matrix $value_kind:camel>](Matrix::Matrix3(sink)), name, mutable, id) => {
198 register_define!(VariableDefineMatrix, $value_kind, $feature, Matrix3);
199 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
200 },
201 #[cfg(all(feature = $feature, feature = "matrix4"))]
202 (Value::[<Matrix $value_kind:camel>](Matrix::Matrix4(sink)), name, mutable, id) => {
203 register_define!(VariableDefineMatrix, $value_kind, $feature, Matrix4);
204 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
205 },
206 #[cfg(all(feature = $feature, feature = "matrixd"))]
207 (Value::[<Matrix $value_kind:camel>](Matrix::DMatrix(sink)), name, mutable, id) => {
208 register_define!(VariableDefineMatrix, $value_kind, $feature, DMatrix);
209 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
210 },
211 #[cfg(all(feature = $feature, feature = "vector2"))]
212 (Value::[<Matrix $value_kind:camel>](Matrix::Vector2(sink)), name, mutable, id) => {
213 register_define!(VariableDefineMatrix, $value_kind, $feature, Vector2);
214 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
215 },
216 #[cfg(all(feature = $feature, feature = "vector3"))]
217 (Value::[<Matrix $value_kind:camel>](Matrix::Vector3(sink)), name, mutable, id) => {
218 register_define!(VariableDefineMatrix, $value_kind, $feature, Vector3);
219 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
220 },
221 #[cfg(all(feature = $feature, feature = "vector4"))]
222 (Value::[<Matrix $value_kind:camel>](Matrix::Vector4(sink)), name, mutable, id) => {
223 register_define!(VariableDefineMatrix, $value_kind, $feature, Vector4);
224 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
225 },
226 #[cfg(all(feature = $feature, feature = "vectord"))]
227 (Value::[<Matrix $value_kind:camel>](Matrix::DVector(sink)), name, mutable, id) => {
228 register_define!(VariableDefineMatrix, $value_kind, $feature, DVector);
229 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
230 },
231 #[cfg(all(feature = $feature, feature = "row_vector2"))]
232 (Value::[<Matrix $value_kind:camel>](Matrix::RowVector2(sink)), name, mutable, id) => {
233 register_define!(VariableDefineMatrix, $value_kind, $feature, RowVector2);
234 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
235 },
236 #[cfg(all(feature = $feature, feature = "row_vector3"))]
237 (Value::[<Matrix $value_kind:camel>](Matrix::RowVector3(sink)), name, mutable, id) => {
238 register_define!(VariableDefineMatrix, $value_kind, $feature, RowVector3);
239 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
240 },
241 #[cfg(all(feature = $feature, feature = "row_vector4"))]
242 (Value::[<Matrix $value_kind:camel>](Matrix::RowVector4(sink)), name, mutable, id) => {
243 register_define!(VariableDefineMatrix, $value_kind, $feature, RowVector4);
244 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
245 },
246 #[cfg(all(feature = $feature, feature = "row_vectord"))]
247 (Value::[<Matrix $value_kind:camel>](Matrix::RowDVector(sink)), name, mutable, id) => {
248 register_define!(VariableDefineMatrix, $value_kind, $feature, RowDVector);
249 box_mech_fxn(Ok(Box::new(VariableDefineMatrix{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id: *id, _marker: PhantomData::<$value_kind>::default() })))
250 },
251 (sink, name, mutable, id) => Err(MechError2::new(
252 UnhandledFunctionArgumentKind3 {arg: (sink.kind(), name.kind(), mutable.kind()), fxn_name: "var/define".to_string() },
253 None
254 ).with_compiler_loc()
255 ),
256 }
257 }
258 };
259}
260
261fn impl_var_define_fxn(var: Value, name: Value, mutable: Value, id: u64) -> MResult<Box<dyn MechFunction>> {
262 let arg = (var.clone(), name.clone(), mutable.clone(), id);
263 match arg {
264 #[cfg(feature = "table")]
265 (Value::Table(sink), name, mutable, id) => return box_mech_fxn(Ok(Box::new(VariableDefineMechTable{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id } ))),
266 #[cfg(feature = "set")]
267 (Value::Set(sink), name, mutable, id) => return box_mech_fxn(Ok(Box::new(VariableDefineMechSet{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id } ))),
268 #[cfg(feature = "tuple")]
269 (Value::Tuple(sink), name, mutable, id) => return box_mech_fxn(Ok(Box::new(VariableDefineMechTuple{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id } ))),
270 #[cfg(feature = "record")]
271 (Value::Record(sink), name, mutable, id) => return box_mech_fxn(Ok(Box::new(VariableDefineMechRecord{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id } ))),
272 #[cfg(feature = "atom")]
273 (Value::Atom(sink), name, mutable, id) => return box_mech_fxn(Ok(Box::new(VariableDefineMechAtom{ var: sink.clone(), name: name.as_string()?, mutable: mutable.as_bool()?, id } ))),
274 _ => (),
275 }
276
277
278 impl_variable_define_match_arms!(&arg, u8, "u8")
279 .or_else(|_| impl_variable_define_match_arms!(&arg, u16, "u16"))
280 .or_else(|_| impl_variable_define_match_arms!(&arg, u32, "u32"))
281 .or_else(|_| impl_variable_define_match_arms!(&arg, u64, "u64"))
282 .or_else(|_| impl_variable_define_match_arms!(&arg, u128, "u128"))
283 .or_else(|_| impl_variable_define_match_arms!(&arg, i8, "i8"))
284 .or_else(|_| impl_variable_define_match_arms!(&arg, i16, "i16"))
285 .or_else(|_| impl_variable_define_match_arms!(&arg, i32, "i32"))
286 .or_else(|_| impl_variable_define_match_arms!(&arg, i64, "i64"))
287 .or_else(|_| impl_variable_define_match_arms!(&arg, i128, "i128"))
288 .or_else(|_| impl_variable_define_match_arms!(&arg, f32, "f32"))
289 .or_else(|_| impl_variable_define_match_arms!(&arg, f64, "f64"))
290 .or_else(|_| impl_variable_define_match_arms!(&arg, R64, "rational"))
291 .or_else(|_| impl_variable_define_match_arms!(&arg, C64, "complex"))
292 .or_else(|_| impl_variable_define_match_arms!(&arg, bool, "bool"))
293 .or_else(|_| impl_variable_define_match_arms!(&arg, String, "string"))
294 .map_err(|_| MechError2::new(
295 UnhandledFunctionArgumentKind3 { arg: (var.kind(), name.kind(), mutable.kind()), fxn_name: "var/define".to_string() },
296 None
297 ).with_compiler_loc()
298 )
299}
300
301
302pub struct VarDefine{}
303impl NativeFunctionCompiler for VarDefine {
304 fn compile(&self, arguments: &Vec<Value>) -> MResult<Box<dyn MechFunction>> {
305 if arguments.len() != 3 {
306 return Err(MechError2::new(IncorrectNumberOfArguments { expected: 1, found: arguments.len() }, None).with_compiler_loc());
307 }
308 let var = arguments[0].clone();
309 let name = &arguments[1].clone();
310 let mutable = &arguments[2].clone();
311 let name_string = name.as_string()?;
312 let id = hash_str(&name_string.borrow());
313
314 match impl_var_define_fxn(var.clone(), name.clone(), mutable.clone(), id) {
315 Ok(fxn) => Ok(fxn),
316 Err(_) => {
317 match (var) {
318 (Value::MutableReference(input)) => {impl_var_define_fxn(input.borrow().clone(), name.clone(), mutable.clone(), id)}
319 _ => Err(MechError2::new(
320 UnhandledFunctionArgumentKind3 { arg: (var.kind(), name.kind(), mutable.kind()), fxn_name: "var/define".to_string() },
321 None
322 ).with_compiler_loc()
323 ),
324 }
325 }
326 }
327 }
328}