github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library@v0.2.0/FileIO/FileIO.go (about)

     1  // Package FileIO
     2  // Dafny module FileIO compiled into Go
     3  
     4  package FileIO
     5  
     6  import (
     7  	os "os"
     8  
     9  	m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts"
    10  	m_Functions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Functions"
    11  	m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_"
    12  	m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations"
    13  	m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq"
    14  	m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort"
    15  	m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings"
    16  	m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_"
    17  	m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm"
    18  	m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm"
    19  	m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
    20  	m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_"
    21  	_dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
    22  )
    23  
    24  var _ = os.Args
    25  var _ _dafny.Dummy__
    26  var _ m__System.Dummy__
    27  var _ m_Wrappers.Dummy__
    28  var _ m_Relations.Dummy__
    29  var _ m_Seq_MergeSort.Dummy__
    30  var _ m__Math.Dummy__
    31  var _ m_Seq.Dummy__
    32  var _ m_BoundedInts.Dummy__
    33  var _ m__Unicode.Dummy__
    34  var _ m_Functions.Dummy__
    35  var _ m_Utf8EncodingForm.Dummy__
    36  var _ m_Utf16EncodingForm.Dummy__
    37  var _ m_UnicodeStrings.Dummy__
    38  
    39  type Dummy__ struct{}
    40  
    41  // Definition of class Default__
    42  type Default__ struct {
    43  	dummy byte
    44  }
    45  
    46  func New_Default___() *Default__ {
    47  	_this := Default__{}
    48  
    49  	return &_this
    50  }
    51  
    52  type CompanionStruct_Default___ struct {
    53  }
    54  
    55  var Companion_Default___ = CompanionStruct_Default___{}
    56  
    57  func (_this *Default__) Equals(other *Default__) bool {
    58  	return _this == other
    59  }
    60  
    61  func (_this *Default__) EqualsGeneric(x interface{}) bool {
    62  	other, ok := x.(*Default__)
    63  	return ok && _this.Equals(other)
    64  }
    65  
    66  func (*Default__) String() string {
    67  	return "FileIO.Default__"
    68  }
    69  func (_this *Default__) ParentTraits_() []*_dafny.TraitID {
    70  	return [](*_dafny.TraitID){}
    71  }
    72  
    73  var _ _dafny.TraitOffspring = &Default__{}
    74  
    75  func (_static *CompanionStruct_Default___) ReadBytesFromFile(path _dafny.Sequence) m_Wrappers.Result {
    76  	var res m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(_dafny.EmptySeq)
    77  	_ = res
    78  	var _0_isError bool
    79  	_ = _0_isError
    80  	var _1_bytesRead _dafny.Sequence
    81  	_ = _1_bytesRead
    82  	var _2_errorMsg _dafny.Sequence
    83  	_ = _2_errorMsg
    84  	var _out0 bool
    85  	_ = _out0
    86  	var _out1 _dafny.Sequence
    87  	_ = _out1
    88  	var _out2 _dafny.Sequence
    89  	_ = _out2
    90  	_out0, _out1, _out2 = m_DafnyLibraries.FileIO.INTERNAL_ReadBytesFromFile(path)
    91  	_0_isError = _out0
    92  	_1_bytesRead = _out1
    93  	_2_errorMsg = _out2
    94  	if _0_isError {
    95  		res = m_Wrappers.Companion_Result_.Create_Failure_(_2_errorMsg)
    96  	} else {
    97  		res = m_Wrappers.Companion_Result_.Create_Success_(_1_bytesRead)
    98  	}
    99  	return res
   100  	return res
   101  }
   102  func (_static *CompanionStruct_Default___) WriteBytesToFile(path _dafny.Sequence, bytes _dafny.Sequence) m_Wrappers.Result {
   103  	var res m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(_dafny.TupleOf())
   104  	_ = res
   105  	var _0_isError bool
   106  	_ = _0_isError
   107  	var _1_errorMsg _dafny.Sequence
   108  	_ = _1_errorMsg
   109  	var _out0 bool
   110  	_ = _out0
   111  	var _out1 _dafny.Sequence
   112  	_ = _out1
   113  	_out0, _out1 = m_DafnyLibraries.FileIO.INTERNAL_WriteBytesToFile(path, bytes)
   114  	_0_isError = _out0
   115  	_1_errorMsg = _out1
   116  	if _0_isError {
   117  		res = m_Wrappers.Companion_Result_.Create_Failure_(_1_errorMsg)
   118  	} else {
   119  		res = m_Wrappers.Companion_Result_.Create_Success_(_dafny.TupleOf())
   120  	}
   121  	return res
   122  	return res
   123  }
   124  func (_static *CompanionStruct_Default___) AppendBytesToFile(path _dafny.Sequence, bytes _dafny.Sequence) m_Wrappers.Result {
   125  	var res m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(_dafny.TupleOf())
   126  	_ = res
   127  	var _0_isError bool
   128  	_ = _0_isError
   129  	var _1_errorMsg _dafny.Sequence
   130  	_ = _1_errorMsg
   131  	var _out0 bool
   132  	_ = _out0
   133  	var _out1 _dafny.Sequence
   134  	_ = _out1
   135  	_out0, _out1 = m_DafnyLibraries.FileIO.INTERNAL_AppendBytesToFile(path, bytes)
   136  	_0_isError = _out0
   137  	_1_errorMsg = _out1
   138  	if _0_isError {
   139  		res = m_Wrappers.Companion_Result_.Create_Failure_(_1_errorMsg)
   140  	} else {
   141  		res = m_Wrappers.Companion_Result_.Create_Success_(_dafny.TupleOf())
   142  	}
   143  	return res
   144  	return res
   145  }
   146  
   147  // End of class Default__