transientcontainers

Documentation

Index

• Variables
• type TransientQueue
  • func (*TransientQueue) Dequeue(ctx *symbolic.Context) (symbolic.Value, *symbolic.Bool)
  • func (*TransientQueue) Enqueue(ctx *symbolic.Context, elem symbolic.Value)
  • func (q *TransientQueue) GetGoMethod(name string) (*symbolic.GoFunction, bool)
  • func (q *TransientQueue) IsMutable() bool
  • func (q *TransientQueue) IsSharable() (bool, string)
  • func (q *TransientQueue) IsShared() bool
  • func (*TransientQueue) IteratorElementKey() symbolic.Value
  • func (*TransientQueue) IteratorElementValue() symbolic.Value
  • func (*TransientQueue) Peek(ctx *symbolic.Context) (symbolic.Value, *symbolic.Bool)
  • func (*TransientQueue) PrettyPrint(w prettyprint.PrettyPrintWriter, config *prettyprint.PrettyPrintConfig)
  • func (q *TransientQueue) Prop(name string) symbolic.Value
  • func (*TransientQueue) PropertyNames() []string
  • func (q *TransientQueue) Share(originState *symbolic.State) symbolic.PotentiallySharable
  • func (*TransientQueue) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
  • func (*TransientQueue) WidestOfType() symbolic.Value

Variables

var (
	QUEUE_PROPNAMES = []string{"enqueue", "dequeue", "peek"}
)

Types

type TransientQueue

type TransientQueue struct {
	symbolic.UnassignablePropsMixin
	// contains filtered or unexported fields
}

func (*TransientQueue) Dequeue

func (*TransientQueue) Dequeue(ctx *symbolic.Context) (symbolic.Value, *symbolic.Bool)

func (*TransientQueue) Enqueue

func (*TransientQueue) Enqueue(ctx *symbolic.Context, elem symbolic.Value)

func (*TransientQueue) GetGoMethod

func (q *TransientQueue) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*TransientQueue) IsMutable

func (q *TransientQueue) IsMutable() bool

func (*TransientQueue) IsSharable

func (q *TransientQueue) IsSharable() (bool, string)

func (*TransientQueue) IsShared

func (q *TransientQueue) IsShared() bool

func (*TransientQueue) IteratorElementKey

func (*TransientQueue) IteratorElementKey() symbolic.Value

func (*TransientQueue) IteratorElementValue

func (*TransientQueue) IteratorElementValue() symbolic.Value

func (*TransientQueue) Peek

func (*TransientQueue) Peek(ctx *symbolic.Context) (symbolic.Value, *symbolic.Bool)

func (*TransientQueue) PrettyPrint

func (*TransientQueue) PrettyPrint(w prettyprint.PrettyPrintWriter, config *prettyprint.PrettyPrintConfig)

func (*TransientQueue) Prop

func (q *TransientQueue) Prop(name string) symbolic.Value

func (*TransientQueue) PropertyNames

func (*TransientQueue) PropertyNames() []string

func (*TransientQueue) Share

func (q *TransientQueue) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*TransientQueue) Test

func (*TransientQueue) Test(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*TransientQueue) WidestOfType

func (*TransientQueue) WidestOfType() symbolic.Value