Display the source code in dmd/dfa/fast/statement.d from which thispage was generated on github.

If you spot a problem with this page, click here to create aGitHub issue.

Quickly fork, edit online, and submit a pull request for this page.Requires a signed-in GitHub account. This works well for small changes.If you'd like to make larger changes you may want to consider usinglocal clone.

Class `dmd.dfa.fast.statement.StatementWalker`

Visits Statement nodes to drive the Data Flow Analysis.


						
				class StatementWalker
  : SemanticTimeTransitiveVisitor;

This class navigates the structure of the function. When it encounters control flow (like an if statement), it acts as a traffic director: 1. It creates a new Scope for the "True" branch. 2. It analyzes that branch. 3. It creates a new Scope for the "False" branch. 4. It analyzes that branch. 5. It calls analyzer.converge... to merge the results back together.

Methods

Name	Description
`isBranchTaken` (condition, stmt)	Check if a statement will be branched into either by a goto or by the condition.
`isBranchTaken` (stmt)	Check if a statement will be branched into either by a goto.
`isBranchTakenIf` (trueLR, falseLR, ifs, forTrue, forFalse)	Check if a if statement will be branched into by a goto or by the condition
`factory` (classname)	Create instance of class specified by the fully qualified name classname. The class must either have no constructors or have a default constructor.
`opCmp` (o)	Compare with another Object obj.
`opEquals` (o)	Test whether `this` is equal to `o`. The default implementation only compares by identity (using the `is` operator). Generally, overrides and overloads for `opEquals` should attempt to compare objects by their contents. A class will most likely want to add an overload that takes your specific type as the argument and does the content comparison. Then you can override this and forward it to your specific typed overload with a cast. Remember to check for `null` on the typed overload.
`toHash` ()	Compute hash function for Object.
`toString` ()	Convert Object to a human readable string.

Authors

Richard (Rikki) Andrew Cattermole

License

Boost License 1.0