public MethodType(IConvertableFrontendType <IVerifiableType> inputType, IConvertableFrontendType <IVerifiableType> outputType)
{
InputType = inputType ?? throw new ArgumentNullException(nameof(inputType));
OutputType = outputType ?? throw new ArgumentNullException(nameof(outputType));
}
public ImplementationType(IConvertableFrontendType <IVerifiableType> inputType, IConvertableFrontendType <IVerifiableType> outputType, IConvertableFrontendType <IVerifiableType> contextType)
{
InputType = inputType ?? throw new ArgumentNullException(nameof(inputType));
OutputType = outputType ?? throw new ArgumentNullException(nameof(outputType));
ContextType = contextType ?? throw new ArgumentNullException(nameof(contextType));
}
public static IConvertableFrontendType <IMethodType> CreateMethodType(IConvertableFrontendType <IVerifiableType> inputType, IConvertableFrontendType <IVerifiableType> outputType)
{
return(new MethodType(inputType, outputType));
}
public static IConvertableFrontendType <IImplementationType> CreateImplementationType(IConvertableFrontendType <IVerifiableType> inputType, IConvertableFrontendType <IVerifiableType> outputType, IConvertableFrontendType <IVerifiableType> contextType)
{
return(new ImplementationType(inputType, outputType, contextType));
}
