Inference/src/Semantic/SSAAlgorithm/SSAHelper.cs
/// <summary>
/// Updates the type of every symbol in the referencesUsedInTrueBranch with the mapped type expression hold by the references parameter
/// </summary>
/// <param name="source">The references used to be copy.</param>
/// <param name="destination">The sybols wher the referecence types are to be cloned.</param>
/// <param name="references">Maps a symbol with the new type we want it to have</param>
Updates the type of every symbol in the referencesUsedInTrueBranch with the mapped type expression hold by the references parameter
Updates the type of every symbol in the referencesUsedInTrueBranch with the mapped type expression hold by the references parameter
public static void SetTypesOfReferences(IDictionary<SingleIdentifierExpression, TypeExpression> source, IList<SingleIdentifierExpression> destination) {
            foreach (SingleIdentifierExpression singleId in destination)
                if (source.ContainsKey(singleId))
                    singleId.IdSymbol.SymbolType = source[singleId];
        }
public static void SetTypesOfReferences ( IDictionary < SingleIdentifierExpression , TypeExpression > source , IList < SingleIdentifierExpression > destination ) { foreach ( SingleIdentifierExpression singleId in destination ) if ( source . ContainsKey ( singleId ) ) singleId . IdSymbol . SymbolType = source [ singleId ] ; }
Updates the type of every symbol in the referencesUsedInTrueBranch with the mapped type expression hold by the references parameter
Updates the type of every symbol in the referencesUsedInTrueBranch with the mapped type expression hold by the references parameter
source
IDictionary<SingleIdentifierExpression, TypeExpression>
The references used to be copy.
The references used to be copy .
destination
IList<SingleIdentifierExpression>
The sybols wher the referecence types are to be cloned.
The sybols wher the referecence types are to be cloned .
references
Maps a symbol with the new type we want it to have
Maps a symbol with the new type we want it to have