// Package states contains a stateful schema-v2 for Repl.
// Bootstrapped with am-gen. Edit manually or re-gen & merge.
package states

import (
	am 
	ss 
	. 
)

// ReplStatesDef contains all the states of the Repl state machine.
type ReplStatesDef struct {
	*am.StatesBase

	ErrSyntax string

	// PIPES

	RpcConn    string
	RpcDisconn string

	// REPL CMDS

	CmdAdd         string
	CmdRemove      string
	CmdGroupAdd    string
	CmdGroupRemove string
	CmdList        string
	CmdScript      string
	CmdWhenTime    string
	CmdWhen        string
	CmdWhenNot     string
	CmdInspect     string
	CmdStatus      string

	// REST

	// REPL is running in a TUI mode
	ReplMode string
	// List fully connected machines, with filters.
	ListMachines string
	// Watch mode detected a change in address files
	AddrChanged string

	// inherit from BasicStatesDef
	*ss.BasicStatesDef
	// inherit from ConnPoolStatesDef
	*ss.ConnPoolStatesDef
	// inherit from DisposedStatesDef
	*ss.DisposedStatesDef
}

// ReplGroupsDef contains all the state groups Repl state machine.
type ReplGroupsDef struct {
	*ss.ConnectedGroupsDef

	Cmds S
}

// ReplSchema represents all relations and properties of ReplStates.
var ReplSchema = SchemaMerge(
	// inherit from BasicStruct
	ss.BasicSchema,
	// inherit from ConnPoolSchema
	ss.ConnPoolSchema,
	// inherit from DisposedStruct
	ss.DisposedSchema,
	am.Schema{

		ssC.ErrSyntax: {
			Multi:   true,
			Require: S{Exception},
		},

		ssC.ErrNetwork: {
			Multi:   true,
			Require: S{Exception},
			Remove:  S{ssC.ConnectedFully},
		},

		// PIPES

		ssC.RpcConn:    {Multi: true},
		ssC.RpcDisconn: {Multi: true},

		// CMDS

		ssC.CmdAdd: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdRemove: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdGroupAdd: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdGroupRemove: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdList: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdScript: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdWhenTime: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdWhen: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdWhenNot: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdInspect: {
			Multi:   true,
			Require: S{ssC.Connected},
		},
		ssC.CmdStatus: {
			Multi:   true,
			Require: S{ssC.Connected},
		},

		// STATUS

		ssC.ReplMode: {},

		// ACTIONS

		ssC.ListMachines: {
			Multi:   true,
			Require: S{ssC.Start},
		},

		ssC.AddrChanged: {
			Multi:   true,
			Require: S{ssC.Start},
		},
	})

// EXPORTS AND GROUPS

var (
	ssC = am.NewStates(ReplStatesDef{})
	sgC = am.NewStateGroups(ReplGroupsDef{
		Cmds: S{ssC.CmdAdd, ssC.CmdRemove, ssC.CmdList, ssC.CmdScript,
			ssC.CmdWhenTime, ssC.CmdWhen, ssC.CmdWhenNot, ssC.CmdInspect,
			ssC.CmdStatus},
	}, ss.ConnectedGroups)

	// ReplStates contains all the states for the Repl machine.
	ReplStates = ssC
	// ReplGroups contains all the state groups for the Repl machine.
	ReplGroups = sgC
)