process

Documentation

Index

• type Process
  • func NewProcess(id int, ports []string, clock clock.LogicalClock) *Process
  • func (p *Process) ExternalEvent(clockStr string)
  • func (p *Process) InternalEvent()
  • func (p *Process) InterpretCommand(cmdString string)
  • func (p *Process) InterpretMessage(msg string)
  • func (p *Process) Serve(ch chan string)
• type State

Types

type Process

type Process struct {
	// contains filtered or unexported fields
}

func NewProcess

func NewProcess(
	id int,
	ports []string,
	clock clock.LogicalClock,
) *Process

func (*Process) ExternalEvent

func (p *Process) ExternalEvent(clockStr string)

func (*Process) InternalEvent

func (p *Process) InternalEvent()

func (*Process) InterpretCommand

func (p *Process) InterpretCommand(cmdString string)

func (*Process) InterpretMessage

func (p *Process) InterpretMessage(msg string)

func (*Process) Serve

func (p *Process) Serve(ch chan string)

type State

type State string

const (
	Released State = "released"
	Wanted   State = "wanted"
	Held     State = "held"

	ConsumeCmd = "x"
)