transition

package

v1.0.0 Latest Latest Go to latest Published: Sep 22, 2022 License: Apache-2.0 Imports: 7 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/cs-au-dk/goat

Links

Open Source Insights

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

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

This section is empty.

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

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL