fn test_ident_from_str()

in z3tracer/src/lexer.rs [462:488]


fn test_ident_from_str() {
    use std::str::FromStr;
    assert_eq!(
        Ident::from_str("#123").unwrap(),
        Ident {
            namespace: None,
            id: Some(123),
            version: 0,
        }
    );
    assert_eq!(
        Ident::from_str("foo#123").unwrap(),
        Ident {
            namespace: Some("foo".to_string()),
            id: Some(123),
            version: 0,
        }
    );
    assert_eq!(
        Ident::from_str("foo#").unwrap(),
        Ident {
            namespace: Some("foo".to_string()),
            id: None,
            version: 0,
        }
    );
}