public static ValidationServiceResult Validate(string fileName, ContractCompilationResult compilationResult, IConsole console, string[] parameters) { var validationServiceResult = new ValidationServiceResult(); byte[] compilation = compilationResult.Compilation; IContractModuleDefinition moduleDefinition = BuildModuleDefinition(console, compilation); console.WriteLine($"Validating file {fileName}..."); Assembly smartContract = Assembly.Load(compilation); // Network does not matter here as we are only checking the deserialized Types of the params. var serializer = new MethodParameterStringSerializer(new SmartContractsRegTest()); object[] methodParameters = null; if (parameters.Length != 0) { methodParameters = serializer.Deserialize(parameters); } validationServiceResult.ConstructorExists = Contract.ConstructorExists(smartContract.ExportedTypes.FirstOrDefault(), methodParameters); if (!validationServiceResult.ConstructorExists) { console.WriteLine("Smart contract construction failed."); console.WriteLine("No constructor exists with the provided parameters."); } validationServiceResult.DeterminismValidationResult = new SctDeterminismValidator().Validate(moduleDefinition); validationServiceResult.FormatValidationResult = new SmartContractFormatValidator().Validate(moduleDefinition.ModuleDefinition); if (!validationServiceResult.DeterminismValidationResult.IsValid || !validationServiceResult.FormatValidationResult.IsValid) { console.WriteLine("Smart Contract failed validation. Run validate [FILE] for more info."); } console.WriteLine(); return(validationServiceResult); }
private static void ValidateContract(string fileName, IConsole console, string[] parameters, ValidationServiceResult validationServiceResult) { byte[] compilation; IContractModuleDefinition moduleDefinition; BuildModuleDefinition(console, validationServiceResult, out compilation, out moduleDefinition); console.WriteLine($"Validating file {fileName}..."); Assembly smartContract = Assembly.Load(compilation); var serializer = new MethodParameterStringSerializer(); object[] methodParameters = null; if (parameters.Length != 0) { methodParameters = serializer.Deserialize(parameters); } validationServiceResult.ConstructorExists = Contract.ConstructorExists(smartContract.ExportedTypes.FirstOrDefault(), methodParameters); if (!validationServiceResult.ConstructorExists) { console.WriteLine("Smart contract construction failed."); console.WriteLine("No constructor exists with the provided parameters."); } validationServiceResult.DeterminismValidationResult = new SctDeterminismValidator().Validate(moduleDefinition); validationServiceResult.FormatValidationResult = new SmartContractFormatValidator().Validate(moduleDefinition.ModuleDefinition); if (!validationServiceResult.DeterminismValidationResult.IsValid || !validationServiceResult.FormatValidationResult.IsValid) { console.WriteLine("Smart Contract failed validation. Run validate [FILE] for more info."); } console.WriteLine(); }