/// <inheritdoc/> public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { ValidationPolicy policy = DeterminismPolicy.Default; var validator = new ModulePolicyValidator(policy); IEnumerable <ValidationResult> validationResults = validator.Validate(decompilation.ModuleDefinition); return(new SmartContractValidationResult(validationResults)); }
public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var policy = ValidationPolicy.FromExisting(new[] { FormatPolicy.Default, DeterminismPolicy.Default }); var validator = new ModulePolicyValidator(policy); var results = validator.Validate(decompilation.ModuleDefinition).ToList(); return(new SmartContractValidationResult(results)); }
public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { ValidationPolicy policy = FormatPolicy.Default; var validator = new ModulePolicyValidator(policy); var results = validator.Validate(decompilation.ModuleDefinition).ToList(); return(new SmartContractValidationResult(results)); }
public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var errors = new List <ValidationResult>(); foreach (IModuleDefinitionValidator moduleDefValidator in ModuleDefinitionValidators) { errors.AddRange(moduleDefValidator.Validate(decompilation.ModuleDefinition)); } return(new SmartContractValidationResult(errors)); }
public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var errors = new List <ValidationResult>(); foreach (ISmartContractValidator validator in this.validators) { SmartContractValidationResult result = validator.Validate(decompilation); errors.AddRange(result.Errors); } return(new SmartContractValidationResult(errors)); }
public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var warnings = new List <ValidationResult>(); var contractType = Enumerable.FirstOrDefault <TypeDefinition>(decompilation.ModuleDefinition.Types, x => x.FullName != "<Module>"); foreach (ITypeDefinitionValidator typeDefinitionValidator in TypeDefinitionValidators) { warnings.AddRange(typeDefinitionValidator.Validate(contractType)); } return(new SmartContractValidationResult(warnings)); }
public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var warnings = new List <ValidationResult>(); IEnumerable <TypeDefinition> contractTypes = decompilation.ModuleDefinition.GetDevelopedTypes(); foreach (TypeDefinition contractType in contractTypes) { foreach (ITypeDefinitionValidator typeDefinitionValidator in TypeDefinitionValidators) { warnings.AddRange(typeDefinitionValidator.Validate(contractType)); } } return(new SmartContractValidationResult(warnings)); }
/// <inheritdoc/> public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var errors = new List <ValidationResult>(); var visited = new Dictionary <string, List <ValidationResult> >(); var contractType = Enumerable.FirstOrDefault <TypeDefinition>(decompilation.ModuleDefinition.Types, x => x.FullName != "<Module>"); List <MethodDefinition> userMethods = contractType.Methods.Where(method => method.Body != null).ToList(); foreach (MethodDefinition userMethod in userMethods) { ValidateUserMethod(errors, visited, userMethod); ValidatedReferencedMethods(errors, visited, userMethods, userMethod); } return(new SmartContractValidationResult(errors)); }
/// <inheritdoc/> public SmartContractValidationResult Validate(SmartContractDecompilation decompilation) { var errors = new List <ValidationResult>(); var visited = new Dictionary <string, List <ValidationResult> >(); IEnumerable <TypeDefinition> contractTypes = decompilation.ModuleDefinition.GetDevelopedTypes(); foreach (TypeDefinition contractType in contractTypes) { List <MethodDefinition> userMethods = contractType.Methods.Where(method => method.Body != null).ToList(); foreach (MethodDefinition userMethod in userMethods) { ValidateUserMethod(errors, visited, userMethod); ValidatedReferencedMethods(errors, visited, userMethods, userMethod); } } return(new SmartContractValidationResult(errors)); }