cspinfo

Documentation

Index

• type Channel
• type Goroutine

Types

type Channel

type Channel struct {
	State       int // index in vector of the beggining of State's array
	Length      int // length of the array (times two for both vectors)
	InitialSize int // initial length
}

A Channel contains informations related to a channel's representation inside go2pins

type Goroutine

type Goroutine struct {
	Status      int    // index in vector for status variable
	LineCounter int    // index in vector for line counter variable
	Name        string // duplicated function name in transformed program
}

A Goroutine contains information related to a goroutine's representation inside go2pins