C# Class Microsoft.Cci.MutableContracts.IteratorContracts.HermansAlwaysRight.FindLocals

Inheritance: CodeTraverser
Show file Open project: visualmutator/visualmutator

Public Methods

Method Description
FindSetOfLocals ( ISourceMethodBody s ) : IBoundExpression>.Dictionary
TraverseChildren ( IAssignment assignment ) : void
TraverseChildren ( ILocalDeclarationStatement localDeclarationStatement ) : void

Private Methods

Method Description
FindLocals ( ) : System

Method Details

FindSetOfLocals() public static method

public static FindSetOfLocals ( ISourceMethodBody s ) : IBoundExpression>.Dictionary
s ISourceMethodBody
return IBoundExpression>.Dictionary

TraverseChildren() public method

public TraverseChildren ( IAssignment assignment ) : void
assignment IAssignment
return void

TraverseChildren() public method

public TraverseChildren ( ILocalDeclarationStatement localDeclarationStatement ) : void
localDeclarationStatement ILocalDeclarationStatement
return void