Inference/src/Semantic/SSAAlgorithm/SSAHelper.cs
/// <summary>
/// Gets the type expressions of the references obtained in the SSA algorithm
/// </summary>
/// <param name="references">The references used in a block.</param>
/// <returns>A mapping container of tmpName=symbol value=type</returns>
Gets the type expressions of the references obtained in the SSA algorithm
Gets the type expressions of the references obtained in the SSA algorithm
public static IDictionary<SingleIdentifierExpression, TypeExpression> GetTypesOfReferences(IList<SingleIdentifierExpression> references) {
            IDictionary<SingleIdentifierExpression, TypeExpression> typeExpressions = new Dictionary<SingleIdentifierExpression, TypeExpression>();
            foreach (SingleIdentifierExpression singleId in references)
                if (singleId.IdSymbol!=null)
                    typeExpressions[singleId] = singleId.IdSymbol.SymbolType;
            return typeExpressions;
        }
public static IDictionary < SingleIdentifierExpression , TypeExpression > GetTypesOfReferences ( IList < SingleIdentifierExpression > references ) { IDictionary < SingleIdentifierExpression , TypeExpression > typeExpressions = new Dictionary < SingleIdentifierExpression , TypeExpression > ( ) ; foreach ( SingleIdentifierExpression singleId in references ) if ( singleId . IdSymbol != null ) typeExpressions [ singleId ] = singleId . IdSymbol . SymbolType ; return typeExpressions ; }
Gets the type expressions of the references obtained in the SSA algorithm
Gets the type expressions of the references obtained in the SSA algorithm
A mapping container of tmpName=symbol value=type
A mapping container of tmpName = symbol value = type
references
IList<SingleIdentifierExpression>
The references used in a block.
The references used in a block .