public void Convert() { var contract = ContractParser.FromDasFile("C:\\Users\\Johny\\Downloads\\mortgage.dascontract"); var contractConverter = new ContractConverter(contract); contractConverter.ConvertContract(); File.WriteAllText("C:\\Users\\Johny\\Downloads\\mortgage.sol", contractConverter.GetSolidityCode()); }