Module CfgNodes

Provides sub classes of CfgNode.

An assignment expression, for example

A block expression. For example: rust { let x = 42; } rust 'label: { let x = 42; x }

A break expression. For example: rust loop { if not_ready() { break; } } rust let x = 'label: loop { if done() { break 'label 42; } }; rust let x = 'label: { if exit() { break 'label 42; } 0; };

A CFG node that calls a function.

An expression with parenthesized arguments. For example: rust foo(42); foo::<u32, u64>(42); foo[0](42); foo(1) = 4; Option::Some(42);

A compound assignment expression, for example: rust x += y;

A FormatArgsExpr. For example: rust format_args!("no args"); format_args!("{} foo {:?}", 1, 2); format_args!("{b} foo {a:?}", a=1, b=2); let (x, y) = (1, 42); format_args!("{x}, {y}");

A MacroCall. For example: rust todo!()

A match expression. For example: rust match x { Option::Some(y) => y, Option::None => 0, } rust match x { Some(y) if y != 0 => 1 / y, _ => 0, }

A method call expression. For example: rust x.foo(42); x.foo::<u32, u64>(42);

A record expression. For example: rust let first = Foo { a: 1, b: 2 }; let second = Foo { a: 2, ..first }; Foo { a: 1, b: 2 }[2] = 10; Foo { .. } = second;

A record pattern. For example: rust match x { Foo { a: 1, b: 2 } => "ok", Foo { .. } => "fail", }

A variable access.

A variable read.

A variable write.

An exit node for a given scope, annotated with the type of exit.

A node for an AST node.

An exit node for a given scope.