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

     1  package OsLang
     2  
     3  import (
     4  	"runtime"
     5  
     6  	"github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
     7  )
     8  
     9  var m_OsLang = CompanionStruct_Default___{}
    10  
    11  func (CompanionStruct_Default___) GetOsShort() dafny.Sequence {
    12  	return GetOsShort()
    13  }
    14  func GetOsShort() dafny.Sequence {
    15  	var x = runtime.GOOS
    16  	if x == "darwin" {
    17  		x = "MacOS"
    18  	} else if x == "windows" {
    19  		x = "Windows"
    20  	} else if x == "netbsd" {
    21  		x = "Unix"
    22  	} else if x == "openbsd" {
    23  		x = "Unix"
    24  	} else if x == "linux" {
    25  		x = "Unix"
    26  	} else if x == "freebsd" {
    27  		x = "Unix"
    28  	} else {
    29  		x = "Other"
    30  	}
    31  	return dafny.SeqOfChars([]dafny.Char(x)...)
    32  }
    33  
    34  func (CompanionStruct_Default___) GetLanguageShort() dafny.Sequence {
    35  	return GetLanguageShort()
    36  }
    37  func GetLanguageShort() dafny.Sequence {
    38  	return dafny.SeqOfChars([]dafny.Char("Go")...)
    39  }
    40  
    41  func (CompanionStruct_Default___) GetOsLong() dafny.Sequence {
    42  	return GetOsLong()
    43  }
    44  func GetOsLong() dafny.Sequence {
    45  	return dafny.SeqOfChars([]dafny.Char(runtime.GOOS + " " + runtime.GOARCH)...)
    46  }
    47  
    48  func (CompanionStruct_Default___) GetLanguageLong() dafny.Sequence {
    49  	return GetLanguageLong()
    50  }
    51  func GetLanguageLong() dafny.Sequence {
    52  	return dafny.SeqOfChars([]dafny.Char(runtime.Version())...)
    53  }