containers

package
v0.2.1 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Feb 9, 2024 License: MIT Imports: 6 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var (
	ANY_GRAPH = &Graph{}

	GRAPH_PROPNAMES      = []string{"insert_node", "remove_node", "connect"}
	GRAPH_NODE_PROPNAMES = []string{"data", "children", "parents"}
)
View Source 
var (
	MAP_PROPNAMES                = []string{"insert", "set", "remove", "get"}
	MAP_CONFIG_KEY_PATTERN_KEY   = "key"
	MAP_CONFIG_VALUE_PATTERN_KEY = "value"

	MAP_INSERT_METHOD_PARAM_NAMES = []string{"key", "value"}
	MAP_SET_METHOD_PARAM_NAMES    = []string{"key", "value"}
	MAP_REMOVE_METHOD_PARAM_NAMES = []string{"key"}
	MAP_GET_METHOD_PARAM_NAMES    = []string{"key"}

	ANY_MAP         = NewMapWithPatterns(symbolic.ANY_SERIALIZABLE_PATTERN, symbolic.ANY_SERIALIZABLE_PATTERN)
	ANY_MAP_PATTERN = NewMapPattern(symbolic.ANY_SERIALIZABLE_PATTERN, symbolic.ANY_SERIALIZABLE_PATTERN)

	ErrMapEntryListShouldHaveEvenLength = errors.New(`flat map entry list should have an even length: ["k1", 1,  "k2", 2]`)
)
View Source 
var (
	RANKING_PROPNAMES = []string{"add", "remove"}
	RANK_PROPNAMES    = []string{"values"}
)
View Source 
var (
	SET_PROPNAMES                       = []string{"has", "add", "remove", "get"}
	SET_CONFIG_ELEMENT_PATTERN_PROP_KEY = "element"
	SET_CONFIG_UNIQUE_PROP_KEY          = "unique"

	SET_ADD_METHOD_PARAM_NAMES = []string{"element"}
	SET_HAS_METHOD_PARAM_NAMES = []string{"element"}
	SET_GET_METHOD_PARAM_NAMES = []string{"key"}

	ANY_SET         = NewSetWithPattern(symbolic.ANY_PATTERN, nil)
	ANY_SET_PATTERN = NewSetPatternWithElementPatternAndUniqueness(symbolic.ANY_PATTERN, nil)
)
View Source 
var (
	THREAD_PROPNAMES            = []string{"add"}
	THREAD_ADD_METHOD_ARG_NAMES = []string{"message"}

	ANY_THREAD = NewThread(symbolic.ANY_OBJECT_PATTERN)
)
View Source 
var (
	TREE_PROPNAMES      = []string{"root"}
	TREE_NODE_PROPNAMES = []string{"data", "children", "add_child"}

	ANY_TREE              = NewTree(false)
	ANY_TREE_NODE         = NewTreeNode(ANY_TREE)
	ANY_TREE_NODE_PATTERN = &TreeNodePattern{
		valuePattern: symbolic.ANY_PATTERN,
	}
)
View Source 
var (
	ANY_THREAD_PATTERN = NewSetPatternWithElementPatternAndUniqueness(symbolic.ANY_OBJECT_PATTERN, nil)
)
View Source 
var (
	QUEUE_PROPNAMES = []string{"enqueue", "dequeue", "peek"}
)

Functions

func SetExternalData 

func SetExternalData(data ExternalData)

Types

type ExternalData 

type ExternalData struct {
	CreateConcreteSetPattern    func(uniqueness common.UniquenessConstraint, elementPattern any) any
	CreateConcreteMapPattern    func(keyPattern any, valuePattern any) any
	CreateConcreteThreadPattern func(elementPattern any) any
}

type Graph 

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

func (*Graph) Connect 

func (f *Graph) Connect(ctx *symbolic.Context, n1, n2 *GraphNode)

func (*Graph) Get 

func (f *Graph) Get(ctx *symbolic.Context, k symbolic.Value) symbolic.Value

func (*Graph) GetGoMethod 

func (f *Graph) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*Graph) InsertNode 

func (f *Graph) InsertNode(ctx *symbolic.Context, v symbolic.Value) *GraphNode

func (*Graph) IsMutable 

func (g *Graph) IsMutable() bool

func (*Graph) IteratorElementKey 

func (g *Graph) IteratorElementKey() symbolic.Value

func (*Graph) IteratorElementValue 

func (r *Graph) IteratorElementValue() symbolic.Value

func (*Graph) PrettyPrint 

func (r *Graph) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*Graph) Prop 

func (g *Graph) Prop(name string) symbolic.Value

func (*Graph) PropertyNames 

func (*Graph) PropertyNames() []string

func (*Graph) RemoveNode 

func (f *Graph) RemoveNode(ctx *symbolic.Context, k *GraphNode)

func (*Graph) Test 

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

func (*Graph) WalkerElement 

func (r *Graph) WalkerElement() symbolic.Value

func (*Graph) WalkerNodeMeta 

func (r *Graph) WalkerNodeMeta() symbolic.Value

func (*Graph) WidestOfType 

func (r *Graph) WidestOfType() symbolic.Value

type GraphNode 

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

func (*GraphNode) GetGoMethod 

func (f *GraphNode) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (GraphNode) IsMutable 

func (n GraphNode) IsMutable() bool

func (*GraphNode) PrettyPrint 

func (r *GraphNode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*GraphNode) Prop 

func (n *GraphNode) Prop(name string) symbolic.Value

func (*GraphNode) PropertyNames 

func (*GraphNode) PropertyNames() []string

func (*GraphNode) Test 

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

func (*GraphNode) WidestOfType 

func (r *GraphNode) WidestOfType() symbolic.Value

type Map 

type Map struct {
	symbolic.UnassignablePropsMixin
	symbolic.SerializableMixin
	symbolic.CollectionMixin
	// contains filtered or unexported fields
}

func NewMap 

func NewMap(ctx *symbolic.Context, flatEntryList symbolic.Indexable, config *symbolic.OptionalParam[*symbolic.Object]) *Map

func NewMapWithPatterns 

func NewMapWithPatterns(keyPattern, valuePattern symbolic.Pattern) *Map

func (*Map) Contains 

func (m *Map) Contains(value symbolic.Serializable) (yes bool, possible bool)

func (*Map) Get 

func (m *Map) Get(ctx *symbolic.Context, k symbolic.Serializable) (symbolic.Value, *symbolic.Bool)

func (*Map) GetGoMethod 

func (m *Map) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*Map) Insert 

func (m *Map) Insert(ctx *symbolic.Context, k, v symbolic.Value) *symbolic.Error

func (*Map) IsMutable 

func (m *Map) IsMutable() bool

func (*Map) IsSharable 

func (m *Map) IsSharable() (bool, string)

func (*Map) IsShared 

func (m *Map) IsShared() bool

func (*Map) IteratorElementKey 

func (m *Map) IteratorElementKey() symbolic.Value

func (*Map) IteratorElementValue 

func (m *Map) IteratorElementValue() symbolic.Value

func (*Map) PrettyPrint 

func (*Map) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*Map) Prop 

func (m *Map) Prop(name string) symbolic.Value

func (*Map) PropertyNames 

func (*Map) PropertyNames() []string

func (*Map) Remove 

func (m *Map) Remove(ctx *symbolic.Context, k symbolic.Value)

func (*Map) Set 

func (m *Map) Set(ctx *symbolic.Context, k, v symbolic.Value)

func (*Map) Share 

func (m *Map) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*Map) Test 

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

func (*Map) URL 

func (m *Map) URL() (*symbolic.URL, bool)

func (*Map) WidestOfType 

func (*Map) WidestOfType() symbolic.Value

func (*Map) WithURL 

func (m *Map) WithURL(url *symbolic.URL) symbolic.UrlHolder

type MapPattern 

type MapPattern struct {
	symbolic.UnassignablePropsMixin

	symbolic.NotCallablePatternMixin
	symbolic.SerializableMixin
	// contains filtered or unexported fields
}

func NewMapPattern 

func NewMapPattern(keyPattern, valuePattern symbolic.Pattern) *MapPattern

func (*MapPattern) Concretize 

func (p *MapPattern) Concretize(ctx symbolic.ConcreteContext) any

func (*MapPattern) HasUnderlyingPattern 

func (p *MapPattern) HasUnderlyingPattern() bool

func (*MapPattern) IsConcretizable 

func (p *MapPattern) IsConcretizable() bool

func (*MapPattern) IsMutable 

func (p *MapPattern) IsMutable() bool

func (*MapPattern) IteratorElementKey 

func (*MapPattern) IteratorElementKey() symbolic.Value

func (*MapPattern) IteratorElementValue 

func (*MapPattern) IteratorElementValue() symbolic.Value

func (*MapPattern) MigrationInitialValue 

func (p *MapPattern) MigrationInitialValue() (symbolic.Serializable, bool)

func (*MapPattern) PrettyPrint 

func (p *MapPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*MapPattern) StringPattern 

func (p *MapPattern) StringPattern() (symbolic.StringPattern, bool)

func (*MapPattern) SymbolicValue 

func (p *MapPattern) SymbolicValue() symbolic.Value

func (*MapPattern) Test 

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

func (*MapPattern) TestValue 

func (p *MapPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*MapPattern) WidestOfType 

func (*MapPattern) WidestOfType() symbolic.Value

type MessageThread 

type MessageThread struct {
	symbolic.CollectionMixin
	symbolic.SerializableMixin
	symbolic.UnassignablePropsMixin
	// contains filtered or unexported fields
}

func NewThread 

func NewThread(elementPattern *symbolic.ObjectPattern) *MessageThread

func (*MessageThread) Add 

func (t *MessageThread) Add(ctx *symbolic.Context, elem *symbolic.Object)

func (*MessageThread) Contains 

func (t *MessageThread) Contains(value symbolic.Serializable) (yes bool, possible bool)

func (*MessageThread) GetGoMethod 

func (t *MessageThread) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*MessageThread) IsMutable 

func (t *MessageThread) IsMutable() bool

func (*MessageThread) IsSharable 

func (t *MessageThread) IsSharable() (bool, string)

func (*MessageThread) IsShared 

func (t *MessageThread) IsShared() bool

func (*MessageThread) IteratorElementKey 

func (t *MessageThread) IteratorElementKey() symbolic.Value

func (*MessageThread) IteratorElementValue 

func (t *MessageThread) IteratorElementValue() symbolic.Value

func (*MessageThread) PrettyPrint 

func (*MessageThread) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*MessageThread) Prop 

func (t *MessageThread) Prop(name string) symbolic.Value

func (*MessageThread) PropertyNames 

func (*MessageThread) PropertyNames() []string

func (*MessageThread) Share 

func (t *MessageThread) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*MessageThread) Test 

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

func (*MessageThread) URL 

func (s *MessageThread) URL() (*symbolic.URL, bool)

func (*MessageThread) WidestOfType 

func (*MessageThread) WidestOfType() symbolic.Value

func (*MessageThread) WithURL 

func (t *MessageThread) WithURL(url *symbolic.URL) symbolic.UrlHolder

type MessageThreadPattern 

type MessageThreadPattern struct {
	symbolic.UnassignablePropsMixin

	symbolic.NotCallablePatternMixin
	symbolic.SerializableMixin
	// contains filtered or unexported fields
}

func NewMessageThreadPattern 

func NewMessageThreadPattern(elementPattern *symbolic.ObjectPattern) *MessageThreadPattern

func (*MessageThreadPattern) Concretize 

func (p *MessageThreadPattern) Concretize(ctx symbolic.ConcreteContext) any

func (*MessageThreadPattern) HasUnderlyingPattern 

func (p *MessageThreadPattern) HasUnderlyingPattern() bool

func (*MessageThreadPattern) IsConcretizable 

func (p *MessageThreadPattern) IsConcretizable() bool

func (*MessageThreadPattern) IsMutable 

func (p *MessageThreadPattern) IsMutable() bool

func (*MessageThreadPattern) IteratorElementKey 

func (*MessageThreadPattern) IteratorElementKey() symbolic.Value

func (*MessageThreadPattern) IteratorElementValue 

func (p *MessageThreadPattern) IteratorElementValue() symbolic.Value

func (*MessageThreadPattern) MigrationInitialValue 

func (p *MessageThreadPattern) MigrationInitialValue() (symbolic.Serializable, bool)

func (*MessageThreadPattern) PrettyPrint 

func (p *MessageThreadPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*MessageThreadPattern) StringPattern 

func (p *MessageThreadPattern) StringPattern() (symbolic.StringPattern, bool)

func (*MessageThreadPattern) SymbolicValue 

func (p *MessageThreadPattern) SymbolicValue() symbolic.Value

func (*MessageThreadPattern) Test 

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

func (*MessageThreadPattern) TestValue 

func (p *MessageThreadPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*MessageThreadPattern) WidestOfType 

func (*MessageThreadPattern) WidestOfType() symbolic.Value

type Queue 

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

func (*Queue) Dequeue 

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

func (*Queue) Enqueue 

func (*Queue) Enqueue(ctx *symbolic.Context, elems symbolic.Value)

func (*Queue) GetGoMethod 

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

func (*Queue) IsMutable 

func (q *Queue) IsMutable() bool

func (*Queue) IteratorElementKey 

func (*Queue) IteratorElementKey() symbolic.Value

func (*Queue) IteratorElementValue 

func (*Queue) IteratorElementValue() symbolic.Value

func (*Queue) Peek 

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

func (*Queue) PrettyPrint 

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

func (*Queue) Prop 

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

func (*Queue) PropertyNames 

func (*Queue) PropertyNames() []string

func (*Queue) Test 

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

func (*Queue) WidestOfType 

func (*Queue) WidestOfType() symbolic.Value

type Rank 

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

func (*Rank) GetGoMethod 

func (r *Rank) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*Rank) IsMutable 

func (r *Rank) IsMutable() bool

func (*Rank) IteratorElementKey 

func (r *Rank) IteratorElementKey() symbolic.Value

func (*Rank) IteratorElementValue 

func (r *Rank) IteratorElementValue() symbolic.Value

func (*Rank) PrettyPrint 

func (r *Rank) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*Rank) Prop 

func (r *Rank) Prop(name string) symbolic.Value

func (*Rank) PropertyNames 

func (*Rank) PropertyNames() []string

func (*Rank) Test 

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

func (*Rank) WidestOfType 

func (r *Rank) WidestOfType() symbolic.Value

type Ranking 

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

func (*Ranking) Add 

func (f *Ranking) Add(ctx *symbolic.Context, v symbolic.Serializable, score *symbolic.Float)

func (*Ranking) GetGoMethod 

func (r *Ranking) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*Ranking) IsMutable 

func (r *Ranking) IsMutable() bool

func (*Ranking) IteratorElementKey 

func (r *Ranking) IteratorElementKey() symbolic.Value

func (*Ranking) IteratorElementValue 

func (r *Ranking) IteratorElementValue() symbolic.Value

func (*Ranking) PrettyPrint 

func (r *Ranking) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*Ranking) Prop 

func (r *Ranking) Prop(name string) symbolic.Value

func (*Ranking) PropertyNames 

func (*Ranking) PropertyNames() []string

func (*Ranking) Remove 

func (f *Ranking) Remove(ctx *symbolic.Context, v symbolic.Serializable)

func (*Ranking) Test 

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

func (*Ranking) WidestOfType 

func (r *Ranking) WidestOfType() symbolic.Value

type Set 

type Set struct {
	symbolic.UnassignablePropsMixin
	symbolic.SerializableMixin
	symbolic.CollectionMixin
	// contains filtered or unexported fields
}

func NewSet 

func NewSet(ctx *symbolic.Context, elements symbolic.Iterable, config *symbolic.OptionalParam[*symbolic.Object]) *Set

func NewSetWithPattern 

func NewSetWithPattern(elementPattern symbolic.Pattern, uniqueness *common.UniquenessConstraint) *Set

func (*Set) Add 

func (s *Set) Add(ctx *symbolic.Context, v symbolic.Serializable)

func (*Set) Contains 

func (s *Set) Contains(value symbolic.Serializable) (yes bool, possible bool)

func (*Set) Get 

func (s *Set) Get(ctx *symbolic.Context, k symbolic.StringLike) (symbolic.Value, *symbolic.Bool)

func (*Set) GetGoMethod 

func (s *Set) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*Set) Has 

func (s *Set) Has(ctx *symbolic.Context, v symbolic.Serializable) *symbolic.Bool

func (*Set) IsMutable 

func (s *Set) IsMutable() bool

func (*Set) IsSharable 

func (s *Set) IsSharable() (bool, string)

func (*Set) IsShared 

func (s *Set) IsShared() bool

func (*Set) IteratorElementKey 

func (*Set) IteratorElementKey() symbolic.Value

func (*Set) IteratorElementValue 

func (s *Set) IteratorElementValue() symbolic.Value

func (*Set) PrettyPrint 

func (s *Set) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*Set) Prop 

func (s *Set) Prop(name string) symbolic.Value

func (*Set) PropertyNames 

func (*Set) PropertyNames() []string

func (*Set) Remove 

func (s *Set) Remove(ctx *symbolic.Context, v symbolic.Serializable)

func (*Set) Share 

func (s *Set) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*Set) Test 

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

func (*Set) URL 

func (s *Set) URL() (*symbolic.URL, bool)

func (*Set) WatcherElement 

func (set *Set) WatcherElement() symbolic.Value

func (*Set) WidestOfType 

func (*Set) WidestOfType() symbolic.Value

func (*Set) WithURL 

func (s *Set) WithURL(url *symbolic.URL) symbolic.UrlHolder

type SetPattern 

type SetPattern struct {
	symbolic.UnassignablePropsMixin

	symbolic.NotCallablePatternMixin
	symbolic.SerializableMixin
	// contains filtered or unexported fields
}

func NewSetPatternWithElementPatternAndUniqueness 

func NewSetPatternWithElementPatternAndUniqueness(elementPattern symbolic.Pattern, uniqueness *common.UniquenessConstraint) *SetPattern

func (*SetPattern) Concretize 

func (p *SetPattern) Concretize(ctx symbolic.ConcreteContext) any

func (*SetPattern) HasUnderlyingPattern 

func (p *SetPattern) HasUnderlyingPattern() bool

func (*SetPattern) IsConcretizable 

func (p *SetPattern) IsConcretizable() bool

func (*SetPattern) IsMutable 

func (p *SetPattern) IsMutable() bool

func (*SetPattern) IteratorElementKey 

func (*SetPattern) IteratorElementKey() symbolic.Value

func (*SetPattern) IteratorElementValue 

func (*SetPattern) IteratorElementValue() symbolic.Value

func (*SetPattern) MigrationInitialValue 

func (p *SetPattern) MigrationInitialValue() (symbolic.Serializable, bool)

func (*SetPattern) PrettyPrint 

func (p *SetPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*SetPattern) StringPattern 

func (p *SetPattern) StringPattern() (symbolic.StringPattern, bool)

func (*SetPattern) SymbolicValue 

func (p *SetPattern) SymbolicValue() symbolic.Value

func (*SetPattern) Test 

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

func (*SetPattern) TestValue 

func (p *SetPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*SetPattern) WidestOfType 

func (*SetPattern) WidestOfType() symbolic.Value

type Tree 

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

func NewTree 

func NewTree(shared bool) *Tree

func (*Tree) Connect 

func (t *Tree) Connect(ctx *symbolic.Context, n1, n2 *TreeNode)

func (*Tree) Get 

func (t *Tree) Get(ctx *symbolic.Context, k symbolic.Value) symbolic.Value

func (*Tree) GetGoMethod 

func (t *Tree) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*Tree) InsertNode 

func (t *Tree) InsertNode(ctx *symbolic.Context, v symbolic.Value) *TreeNode

func (*Tree) IsMutable 

func (t *Tree) IsMutable() bool

func (*Tree) IsSharable 

func (t *Tree) IsSharable() (bool, string)

func (*Tree) IsShared 

func (t *Tree) IsShared() bool

func (*Tree) IteratorElementKey 

func (t *Tree) IteratorElementKey() symbolic.Value

func (*Tree) IteratorElementValue 

func (t *Tree) IteratorElementValue() symbolic.Value

func (*Tree) PrettyPrint 

func (t *Tree) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*Tree) Prop 

func (t *Tree) Prop(name string) symbolic.Value

func (*Tree) PropertyNames 

func (*Tree) PropertyNames() []string

func (*Tree) RemoveNode 

func (t *Tree) RemoveNode(ctx *symbolic.Context, k *TreeNode)

func (*Tree) Share 

func (t *Tree) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*Tree) Test 

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

func (*Tree) WalkerElement 

func (t *Tree) WalkerElement() symbolic.Value

func (*Tree) WalkerNodeMeta 

func (t *Tree) WalkerNodeMeta() symbolic.Value

func (*Tree) WidestOfType 

func (r *Tree) WidestOfType() symbolic.Value

type TreeNode 

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

func NewTreeNode 

func NewTreeNode(t *Tree) *TreeNode

func (*TreeNode) AddChild 

func (n *TreeNode) AddChild(ctx *symbolic.Context, data symbolic.Value)

func (*TreeNode) GetGoMethod 

func (f *TreeNode) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (TreeNode) IsMutable 

func (n TreeNode) IsMutable() bool

func (*TreeNode) IsSharable 

func (n *TreeNode) IsSharable() (bool, string)

func (*TreeNode) IsShared 

func (t *TreeNode) IsShared() bool

func (*TreeNode) IteratorElementKey 

func (n *TreeNode) IteratorElementKey() symbolic.Value

func (*TreeNode) IteratorElementValue 

func (n *TreeNode) IteratorElementValue() symbolic.Value

func (*TreeNode) PrettyPrint 

func (r *TreeNode) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*TreeNode) Prop 

func (t *TreeNode) Prop(name string) symbolic.Value

func (*TreeNode) PropertyNames 

func (*TreeNode) PropertyNames() []string

func (*TreeNode) Share 

func (t *TreeNode) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*TreeNode) Test 

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

func (*TreeNode) WidestOfType 

func (r *TreeNode) WidestOfType() symbolic.Value

type TreeNodePattern 

type TreeNodePattern struct {
	symbolic.NotCallablePatternMixin
	symbolic.Serializable
	// contains filtered or unexported fields
}

func NewTreeNodePattern 

func NewTreeNodePattern(valuePattern symbolic.Pattern) (*TreeNodePattern, error)

func (*TreeNodePattern) HasUnderlyingPattern 

func (p *TreeNodePattern) HasUnderlyingPattern() bool

func (*TreeNodePattern) IsMutable 

func (p *TreeNodePattern) IsMutable() bool

func (*TreeNodePattern) IteratorElementKey 

func (p *TreeNodePattern) IteratorElementKey() symbolic.Value

func (*TreeNodePattern) IteratorElementValue 

func (p *TreeNodePattern) IteratorElementValue() symbolic.Value

func (*TreeNodePattern) PrettyPrint 

func (p *TreeNodePattern) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*TreeNodePattern) StringPattern 

func (p *TreeNodePattern) StringPattern() (symbolic.StringPattern, bool)

func (*TreeNodePattern) SymbolicValue 

func (p *TreeNodePattern) SymbolicValue() symbolic.Value

func (*TreeNodePattern) Test 

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

func (*TreeNodePattern) TestValue 

func (p *TreeNodePattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*TreeNodePattern) WidestOfType 

func (p *TreeNodePattern) WidestOfType() symbolic.Value

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.