/// <inheritdoc/>
public SmartContractValidationResult Validate(ModuleDefinition moduleDefinition)
{
ValidationPolicy policy = DeterminismPolicy.Default;
var validator = new ModulePolicyValidator(policy);
IEnumerable <ValidationResult> validationResults = validator.Validate(moduleDefinition);
return(new SmartContractValidationResult(validationResults));
}
public SmartContractValidationResult Validate(ModuleDefinition moduleDefinition)
{
ValidationPolicy policy = ValidationPolicy.FromExisting(new[] { FormatPolicy.Default, DeterminismPolicy.Default });
var validator = new ModulePolicyValidator(policy);
List <ValidationResult> results = validator.Validate(moduleDefinition).ToList();
return(new SmartContractValidationResult(results));
}
public SmartContractValidationResult Validate(ModuleDefinition moduleDefinition)
{
ValidationPolicy policy = FormatPolicy.Default;
var validator = new ModulePolicyValidator(policy);
List <ValidationResult> results = validator.Validate(moduleDefinition).ToList();
return(new SmartContractValidationResult(results));
}
public TypePolicyValidator(ValidationPolicy policy)
{
this.policy = policy;
}
public ModulePolicyValidator(ValidationPolicy policy)
{
this.policy = policy;
this.typePolicyValidator = new TypePolicyValidator(policy);
}