bool IDfirNodeVisitor <bool> .VisitStructFieldAccessorNode(StructFieldAccessorNode structFieldAccessorNode)
{
TypeVariableReference mutabilityType = _typeVariableSet.CreateReferenceToMutabilityType();
var lifetimeVariableGroup = LifetimeTypeVariableGroup.CreateFromNode(structFieldAccessorNode);
ReferenceInputTerminalLifetimeGroup inputTerminalGroup = CreateTerminalLifetimeGroup(
InputReferenceMutability.Polymorphic,
lifetimeVariableGroup);
var fieldTypes = new Dictionary <string, TypeVariableReference>();
foreach (var terminalPair in structFieldAccessorNode.OutputTerminals.Zip(structFieldAccessorNode.FieldNames))
{
string fieldName = terminalPair.Value;
TypeVariableReference fieldType;
if (string.IsNullOrEmpty(fieldName))
{
fieldType = _typeVariableSet.CreateReferenceToNewTypeVariable();
}
else if (!fieldTypes.TryGetValue(fieldName, out fieldType))
{
fieldType = _typeVariableSet.CreateReferenceToNewTypeVariable();
fieldTypes[fieldName] = fieldType;
}
TypeVariableReference terminalTypeVariable = _typeVariableSet.CreateReferenceToPolymorphicReferenceType(
mutabilityType,
fieldType,
inputTerminalGroup.LifetimeType);
Terminal outputTerminal = terminalPair.Key;
_nodeFacade[outputTerminal] = new SimpleTerminalFacade(outputTerminal, terminalTypeVariable);
}
TypeVariableReference fieldedType = _typeVariableSet.CreateReferenceToIndefiniteFieldedType(fieldTypes);
inputTerminalGroup.AddTerminalFacade(
structFieldAccessorNode.StructInputTerminal,
fieldedType,
mutabilityType);
return(true);
}
