|
| 1 | +use crate::mutation::{ |
| 2 | + mutant::{Mutant, MutationType}, |
| 3 | + mutators::{assignement_mutator::AssignmentMutator, MutationContext, Mutator}, |
| 4 | + visitor::AssignVarTypes, |
| 5 | +}; |
| 6 | +use solar_parse::{ |
| 7 | + ast::{ |
| 8 | + Arena, ElementaryType, Expr, ExprKind, Ident, Lit, LitKind, Span, Symbol, Type, TypeKind, |
| 9 | + VariableDefinition, |
| 10 | + }, |
| 11 | + interface::BytePos, |
| 12 | +}; |
| 13 | + |
| 14 | +use num_bigint::BigInt; |
| 15 | +use std::path::PathBuf; |
| 16 | + |
| 17 | +use crate::mutation::Session; |
| 18 | + |
| 19 | +fn create_span(start: u32, end: u32) -> Span { |
| 20 | + Span::new(BytePos(start), BytePos(end)) |
| 21 | +} |
| 22 | + |
| 23 | +fn create_ident<'ident>(ident: String) -> ExprKind<'ident> { |
| 24 | + ExprKind::Ident(Ident::from_str(&ident)) |
| 25 | +} |
| 26 | + |
| 27 | +#[test] |
| 28 | +fn test_is_applicable_for_assign_expr() { |
| 29 | + let sess = Session::builder().with_silent_emitter(None).build(); |
| 30 | + |
| 31 | + let _ = sess.enter(|| -> solar_parse::interface::Result<()> { |
| 32 | + let arena = Arena::new(); |
| 33 | + let span = create_span(10, 20); |
| 34 | + |
| 35 | + // x = 23 |
| 36 | + let left = arena.alloc(Expr { kind: create_ident("x".into()), span }); |
| 37 | + |
| 38 | + let mut val = Lit { span, symbol: Symbol::DUMMY, kind: LitKind::Number(23.into()) }; |
| 39 | + |
| 40 | + let right = arena.alloc(Expr { kind: ExprKind::Lit(&mut val, None), span }); |
| 41 | + |
| 42 | + let expr = arena.alloc(Expr { kind: ExprKind::Assign(left, None, right), span }); |
| 43 | + |
| 44 | + let context = MutationContext { expr: Some(expr), var_definition: None, span }; |
| 45 | + |
| 46 | + let mutator = AssignmentMutator; |
| 47 | + assert!(mutator.is_applicable(&context)); |
| 48 | + |
| 49 | + Ok(()) |
| 50 | + }); |
| 51 | +} |
| 52 | + |
| 53 | +#[test] |
| 54 | +fn test_is_applicable_for_var_definition() { |
| 55 | + let arena = Arena::new(); |
| 56 | + let span = create_span(10, 20); |
| 57 | + |
| 58 | + let lit = arena.alloc(Lit { span, symbol: Symbol::DUMMY, kind: LitKind::Number(23.into()) }); |
| 59 | + |
| 60 | + let init = arena.alloc(Expr { kind: ExprKind::Lit(lit, None), span }); |
| 61 | + |
| 62 | + let var_def = VariableDefinition { |
| 63 | + name: None, |
| 64 | + initializer: Some(init), |
| 65 | + span, |
| 66 | + ty: Type { kind: TypeKind::Elementary(ElementaryType::Bool), span }, |
| 67 | + visibility: None, |
| 68 | + mutability: None, |
| 69 | + data_location: None, |
| 70 | + override_: None, |
| 71 | + indexed: false, |
| 72 | + }; |
| 73 | + |
| 74 | + let context = MutationContext { expr: None, var_definition: Some(&var_def), span }; |
| 75 | + |
| 76 | + let mutator = AssignmentMutator; |
| 77 | + assert!(mutator.is_applicable(&context)); |
| 78 | +} |
| 79 | + |
| 80 | +#[test] |
| 81 | +fn test_is_not_applicable_no_initializer() { |
| 82 | + let arena = Arena::new(); |
| 83 | + let span = create_span(10, 20); |
| 84 | + |
| 85 | + let var_def = VariableDefinition { |
| 86 | + name: None, |
| 87 | + initializer: None, |
| 88 | + span, |
| 89 | + ty: Type { kind: TypeKind::Elementary(ElementaryType::Bool), span }, |
| 90 | + visibility: None, |
| 91 | + mutability: None, |
| 92 | + data_location: None, |
| 93 | + override_: None, |
| 94 | + indexed: false, |
| 95 | + }; |
| 96 | + |
| 97 | + let context = MutationContext { expr: None, var_definition: Some(&var_def), span }; |
| 98 | + |
| 99 | + let mutator = AssignmentMutator; |
| 100 | + assert!(!mutator.is_applicable(&context)); |
| 101 | +} |
0 commit comments