/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver) => freezableStepData
.TryGetStep(nameof(Log <object> .Value), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver))
.Map(x => x == TypeReference.Any.Instance ? TypeReference.Actual.String : x);
GetVariablesSet(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var vn = freezableStepData.TryGetVariableName(
nameof(SetVariable <object> .Variable),
StepType
);
if (vn.IsFailure)
{
yield break;
}
var memberType = GetGenericTypeParameter(
expectedTypeReference,
freezableStepData,
typeResolver
);
if (memberType.IsFailure)
{
yield return(vn.Value, TypeReference.Unknown.Instance);
}
else
{
yield return(vn.Value, memberType.Value);
}
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
return(expectedTypeReference);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var checkResult = expectedTypeReference
.CheckAllows(TypeReference.Actual.Bool, StepType, typeResolver)
.MapError(x => x.WithLocation(freezableStepData));
if (checkResult.IsFailure)
{
return(checkResult.ConvertFailure <TypeReference>());
}
var result = freezableStepData
.TryGetStep(nameof(Terms), StepType)
.Bind(
x => x.TryGetOutputTypeReference(
new TypeReference.Array(TypeReference.Any.Instance),
typeResolver
)
)
.Bind(
x => x.TryGetArrayMemberTypeReference(typeResolver)
.MapError(e => e.WithLocation(freezableStepData))
);
return(result);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var variableName = freezableStepData
.TryGetVariableName(nameof(GetVariable <object> .Variable), StepType);
if (variableName.IsFailure)
{
return(variableName.ConvertFailure <TypeReference>());
}
if (expectedTypeReference != TypeReference.Unknown.Instance &&
typeResolver.Dictionary.TryGetValue(variableName.Value, out var tr))
{
if (tr.Allow(expectedTypeReference, typeResolver))
{
return(expectedTypeReference);
}
else if (expectedTypeReference.Allow(tr, typeResolver))
{
return(tr);
}
return(Result.Failure <TypeReference, IError>(
ErrorCode.WrongOutputType
.ToErrorBuilder(TypeName, tr.Name, expectedTypeReference.Name)
.WithLocation(freezableStepData)
));
}
return(new TypeReference.Variable(variableName.Value));
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var left = freezableStepData
.TryGetStep(nameof(Left), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver));
if (left.IsFailure)
{
return(left.ConvertFailure <TypeReference>());
}
var right = freezableStepData
.TryGetStep(nameof(Right), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver));
if (right.IsFailure)
{
return(right.ConvertFailure <TypeReference>());
}
var r = TypeReference.Create(new[] { left.Value, right.Value });
return(r);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
return(freezableStepData
.TryGetStep(nameof(Repeat <object> .Element), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver)));
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var r =
freezableStepData
.TryGetStep(nameof(SetVariable <object> .Value), StepType)
.Bind(
x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver)
);
return(r);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var expectedMemberType = expectedTypeReference
.TryGetArrayMemberTypeReference(typeResolver)
.MapError(x => x.WithLocation(freezableStepData));
if (expectedMemberType.IsFailure)
{
return(expectedMemberType.ConvertFailure <TypeReference>());
}
var arraysStep = freezableStepData.TryGetStep(
nameof(ArrayConcat <object> .Arrays),
StepType
);
if (arraysStep.IsFailure)
{
return(arraysStep.ConvertFailure <TypeReference>());
}
var expectedArraysStepType =
new TypeReference.Array(new TypeReference.Array(expectedMemberType.Value));
var arraysStepGenericType = arraysStep.Value.TryGetOutputTypeReference(
expectedArraysStepType,
typeResolver
)
.Bind(
x => x.TryGetArrayMemberTypeReference(typeResolver)
.MapError(e => e.WithLocation(freezableStepData))
)
.Bind(
x => x.TryGetArrayMemberTypeReference(typeResolver)
.MapError(e => e.WithLocation(freezableStepData))
)
;
if (arraysStepGenericType.IsFailure)
{
return(arraysStepGenericType.ConvertFailure <TypeReference>());
}
return(arraysStepGenericType);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver) => freezableStepData
.TryGetStep(nameof(Then), StepType)
.Compose(() => freezableStepData.TryGetStep(nameof(Else), StepType))
.Bind(
x => x.Item1.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver)
.Compose(
() => x.Item2.TryGetOutputTypeReference(
TypeReference.Any.Instance,
typeResolver
)
)
)
.Map(x => TypeReference.Create(new[] { x.Item1, x.Item2 }));
GetVariablesSet(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var vn = freezableStepData.TryGetVariableName(nameof(AppendString.Variable), StepType);
if (vn.IsFailure)
{
yield break;
}
yield return(
vn.Value,
TypeReference.Actual.String);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
if (!expectedTypeReference.Allow(TypeReference.Actual.Entity, typeResolver))
{
return(Result.Failure <TypeReference, IError>(
ErrorCode.WrongParameterType.ToErrorBuilder(
StepType.Name,
expectedTypeReference.Name,
nameof(Entity)
)
.WithLocation(freezableStepData)
));
}
var r1 = freezableStepData.TryGetStep(nameof(EntitySetValue <object> .Value), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver));
return(r1);
}
GetVariablesSet(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var export = freezableStepData.TryGetStep(nameof(Export), StepType)
.Bind(
x => x.TryFreeze(
new TypeReference.Array(TypeReference.Actual.String),
typeResolver
)
)
;
if (export.IsSuccess)
{
var ev = export.Value.TryConvertToEntityValue();
if (ev.HasValue && ev.Value is EntityValue.NestedList nestedList)
{
foreach (var entityValue in nestedList.Value)
{
var name = entityValue.GetPrimitiveString();
yield return(new VariableName(name !), TypeReference.Any.Instance);
}
}
}
foreach (var pair in base.GetVariablesSet(
expectedTypeReference,
freezableStepData,
typeResolver
))
{
yield return(pair);
}
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var mtr = expectedTypeReference.TryGetArrayMemberTypeReference(typeResolver)
.MapError(x => x.WithLocation(freezableStepData));
if (mtr.IsFailure)
{
return(mtr.ConvertFailure <TypeReference>());
}
var result =
freezableStepData.TryGetStepList(nameof(ArrayNew <object> .Elements), StepType)
.Bind(
x => x.Select(r => r.TryGetOutputTypeReference(mtr.Value, typeResolver))
.Combine(ErrorList.Combine)
)
.Map(TypeReference.Create);
return(result);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver)
{
var checkResult =
expectedTypeReference.CheckAllows(
TypeReference.Unit.Instance,
StepType,
typeResolver
);
if (checkResult.IsFailure)
{
return(checkResult.ConvertFailure <TypeReference>()
.MapError(x => x.WithLocation(freezableStepData)));
}
var stepTypeReference = freezableStepData.TryGetStep(nameof(Step), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver));
return(stepTypeReference);
}
/// <inheritdoc />
protected override Result <TypeReference, IError> GetGenericTypeParameter(
TypeReference expectedTypeReference,
FreezableStepData freezableStepData,
TypeResolver typeResolver) => freezableStepData
.TryGetStep(nameof(Sequence <object> .FinalStep), StepType)
.Bind(x => x.TryGetOutputTypeReference(TypeReference.Any.Instance, typeResolver));
/// <summary> /// Add a FreezableErrorLocation /// </summary> public static IError WithLocation(this IErrorBuilder errorBuilder, FreezableStepData data) => errorBuilder.WithLocation(data.Location ?? ErrorLocation.EmptyLocation);
