transition

Documentation

Index

• type Broadcast
  • func (t Broadcast) Hash() uint32
  • func (t Broadcast) PrettyPrint()
  • func (t Broadcast) String() string
• type Close
  • func (t Close) Hash() uint32
  • func (t Close) PrettyPrint()
  • func (t Close) String() (str string)
• type In
  • func (t In) Hash() uint32
  • func (t In) PrettyPrint()
  • func (t In) String() string
• type Lock
  • func (t Lock) Hash() uint32
  • func (t Lock) PrettyPrint()
  • func (t Lock) String() (str string)
• type RLock
  • func (t RLock) Hash() uint32
  • func (t RLock) PrettyPrint()
  • func (t RLock) String() (str string)
• type RUnlock
  • func (t RUnlock) Hash() uint32
  • func (t RUnlock) PrettyPrint()
  • func (t RUnlock) String() (str string)
• type Receive
  • func (t Receive) Hash() uint32
  • func (t Receive) PrettyPrint()
  • func (t Receive) String() (str string)
• type Send
  • func (t Send) Hash() uint32
  • func (t Send) PrettyPrint()
  • func (t Send) String() (str string)
• type Signal
  • func (t Signal) Hash() uint32
  • func (t Signal) Missed() bool
  • func (t Signal) PrettyPrint()
  • func (t Signal) String() string
• type Sync
  • func (t Sync) Hash() uint32
  • func (t Sync) PrettyPrint()
  • func (t Sync) String() (str string)
• type Transition
• type Unlock
  • func (t Unlock) Hash() uint32
  • func (t Unlock) PrettyPrint()
  • func (t Unlock) String() (str string)
• type Wait
  • func (t Wait) Hash() uint32
  • func (t Wait) PrettyPrint()
  • func (t Wait) String() string
• type Wake
  • func (t Wake) Hash() uint32
  • func (t Wake) PrettyPrint()
  • func (t Wake) String() string

Types

type Broadcast

type Broadcast struct {
	Broadcaster  defs.Goro
	Broadcastees map[defs.Goro]struct{}
	Cond         loc.Location
}

func (Broadcast) Hash

func (t Broadcast) Hash() uint32

func (Broadcast) PrettyPrint

func (t Broadcast) PrettyPrint()

func (Broadcast) String

func (t Broadcast) String() string

type Close

type Close struct {
	Progressed defs.Goro
	Op         ssa.Value
}

func (Close) Hash

func (t Close) Hash() uint32

func (Close) PrettyPrint

func (t Close) PrettyPrint()

func (Close) String

func (t Close) String() (str string)

type In

type In struct {
	Progressed defs.Goro
}

func (In) Hash

func (t In) Hash() uint32

func (In) PrettyPrint

func (t In) PrettyPrint()

func (In) String

func (t In) String() string

type Lock

type Lock struct {
	Progressed defs.Goro
	Mu         loc.Location
}

func (Lock) Hash

func (t Lock) Hash() uint32

func (Lock) PrettyPrint

func (t Lock) PrettyPrint()

func (Lock) String

func (t Lock) String() (str string)

type RLock

type RLock struct {
	Progressed defs.Goro
	Mu         loc.Location
}

func (RLock) Hash

func (t RLock) Hash() uint32

func (RLock) PrettyPrint

func (t RLock) PrettyPrint()

func (RLock) String

func (t RLock) String() (str string)

type RUnlock

type RUnlock struct {
	Progressed defs.Goro
	Mu         loc.Location
}

func (RUnlock) Hash

func (t RUnlock) Hash() uint32

func (RUnlock) PrettyPrint

func (t RUnlock) PrettyPrint()

func (RUnlock) String

func (t RUnlock) String() (str string)

type Receive

type Receive struct {
	Progressed defs.Goro
	Chan       loc.Location
}

func (Receive) Hash

func (t Receive) Hash() uint32

func (Receive) PrettyPrint

func (t Receive) PrettyPrint()

func (Receive) String

func (t Receive) String() (str string)

type Send

type Send struct {
	Progressed defs.Goro
	Chan       loc.Location
}

func (Send) Hash

func (t Send) Hash() uint32

func (Send) PrettyPrint

func (t Send) PrettyPrint()

func (Send) String

func (t Send) String() (str string)

type Signal

type Signal struct {
	Progressed1 defs.Goro
	Progressed2 defs.Goro
	Cond        loc.Location
}

func (Signal) Hash

func (t Signal) Hash() uint32

func (Signal) Missed

func (t Signal) Missed() bool

func (Signal) PrettyPrint

func (t Signal) PrettyPrint()

func (Signal) String

func (t Signal) String() string

type Sync

type Sync struct {
	Channel     loc.Location
	Progressed1 defs.Goro
	Progressed2 defs.Goro
}

func (Sync) Hash

func (t Sync) Hash() uint32

func (Sync) PrettyPrint

func (t Sync) PrettyPrint()

func (Sync) String

func (t Sync) String() (str string)

type Transition

type Transition interface {
	Hash() uint32
	String() string
	PrettyPrint()
}

type Unlock

type Unlock struct {
	Progressed defs.Goro
	Mu         loc.Location
}

func (Unlock) Hash

func (t Unlock) Hash() uint32

func (Unlock) PrettyPrint

func (t Unlock) PrettyPrint()

func (Unlock) String

func (t Unlock) String() (str string)

type Wait

type Wait struct {
	Progressed defs.Goro
	Cond       loc.Location
}

func (Wait) Hash

func (t Wait) Hash() uint32

func (Wait) PrettyPrint

func (t Wait) PrettyPrint()

func (Wait) String

func (t Wait) String() string

type Wake

type Wake struct {
	Progressed defs.Goro
	Cond       loc.Location
}

func (Wake) Hash

func (t Wake) Hash() uint32

func (Wake) PrettyPrint

func (t Wake) PrettyPrint()

func (Wake) String

func (t Wake) String() string