model

Documentation

Index

• Constants
• type Action
  • func NewActionFromString(actionString string) (Action, error)
  • func (a Action) String() string
  • func (a Action) Subject() string
• type Model
  • func MakeModel(semanticModel SemanticModel) Model
  • func MakeModelWithLogger(semanticModel SemanticModel, logger *zap.Logger) Model
  • func (m *Model) AcceptTrace(participant string, traces []Action)
  • func (m *Model) IsStuck() bool
• type SemanticModel

Constants

const (
	NORMAL modelState = iota
	STUCK
	TERMINATED
)

Types

type Action

type Action struct {
	Src    string
	Dest   string
	Label  string
	IsSend bool
}

func NewActionFromString

func NewActionFromString(actionString string) (Action, error)

func (Action) String

func (a Action) String() string

func (Action) Subject

func (a Action) Subject() string

type Model

type Model struct {
	SemanticModel
	// contains filtered or unexported fields
}

func MakeModel

func MakeModel(semanticModel SemanticModel) Model

func MakeModelWithLogger

func MakeModelWithLogger(semanticModel SemanticModel, logger *zap.Logger) Model

func (*Model) AcceptTrace

func (m *Model) AcceptTrace(participant string, traces []Action)

func (*Model) IsStuck

func (m *Model) IsStuck() bool

type SemanticModel

type SemanticModel interface {
	IsTerminated() bool
	TryReduce(action Action) bool
	GetEnabledActions() []Action
	SetLogger(logger *zap.Logger)
	Shutdown()
}