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

     1  package _Time
     2  
     3  import (
     4  	"syscall"
     5  	"time"
     6  
     7  	"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
     8  	"github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
     9  )
    10  
    11  var m__Time = CompanionStruct_Default___{}
    12  
    13  func (CompanionStruct_Default___) CurrentRelativeTimeMilli() int64 {
    14  	return CurrentRelativeTimeMilli()
    15  }
    16  
    17  func (CompanionStruct_Default___) CurrentRelativeTime() int64 {
    18  	return CurrentRelativeTime()
    19  }
    20  func CurrentRelativeTime() int64 {
    21  	return int64(time.Now().Unix())
    22  }
    23  
    24  func (CompanionStruct_Default___) GetCurrentTimeStamp() Wrappers.Result {
    25  	return GetCurrentTimeStamp()
    26  }
    27  
    28  func GetCurrentTimeStamp() Wrappers.Result {
    29  	return Wrappers.Companion_Result_.Create_Success_(dafny.SeqOfChars([]dafny.Char(time.Now().Format("2006-01-02T15:04:05.000000Z"))...))
    30  }
    31  
    32  func CurrentRelativeTimeMilli() int64 {
    33  	return time.Now().UnixMilli()
    34  }
    35  
    36  func (CompanionStruct_Default___) GetProcessCpuTimeMillis() int64 {
    37  	return GetProcessCpuTimeMillis()
    38  }
    39  
    40  func GetProcessCpuTimeMillis() int64 {
    41  	var usage syscall.Rusage
    42  	err := syscall.Getrusage(syscall.RUSAGE_SELF, &usage)
    43  	if err != nil {
    44  		return 0
    45  	}
    46  	return (usage.Utime.Nano() + usage.Stime.Nano()) / 1000000
    47  }