Documentation ¶
Index ¶
- Variables
- func SetExternalData(data ExternalData)
- type ExternalData
- type Graph
- func (f *Graph) Connect(ctx *symbolic.Context, n1, n2 *GraphNode)
- func (f *Graph) Get(ctx *symbolic.Context, k symbolic.Value) symbolic.Value
- func (f *Graph) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (f *Graph) InsertNode(ctx *symbolic.Context, v symbolic.Value) *GraphNode
- func (g *Graph) IsMutable() bool
- func (g *Graph) IteratorElementKey() symbolic.Value
- func (r *Graph) IteratorElementValue() symbolic.Value
- func (r *Graph) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (g *Graph) Prop(name string) symbolic.Value
- func (*Graph) PropertyNames() []string
- func (f *Graph) RemoveNode(ctx *symbolic.Context, k *GraphNode)
- func (r *Graph) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (r *Graph) WalkerElement() symbolic.Value
- func (r *Graph) WalkerNodeMeta() symbolic.Value
- func (r *Graph) WidestOfType() symbolic.Value
- type GraphNode
- func (f *GraphNode) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (n GraphNode) IsMutable() bool
- func (r *GraphNode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (n *GraphNode) Prop(name string) symbolic.Value
- func (*GraphNode) PropertyNames() []string
- func (r *GraphNode) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (r *GraphNode) WidestOfType() symbolic.Value
- type Map
- func (m *Map) Contains(value symbolic.Serializable) (yes bool, possible bool)
- func (m *Map) Get(ctx *symbolic.Context, k symbolic.Serializable) (symbolic.Value, *symbolic.Bool)
- func (m *Map) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (m *Map) Insert(ctx *symbolic.Context, k, v symbolic.Value) *symbolic.Error
- func (m *Map) IsMutable() bool
- func (m *Map) IsSharable() (bool, string)
- func (m *Map) IsShared() bool
- func (m *Map) IteratorElementKey() symbolic.Value
- func (m *Map) IteratorElementValue() symbolic.Value
- func (*Map) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (m *Map) Prop(name string) symbolic.Value
- func (*Map) PropertyNames() []string
- func (m *Map) Remove(ctx *symbolic.Context, k symbolic.Value)
- func (m *Map) Set(ctx *symbolic.Context, k, v symbolic.Value)
- func (m *Map) Share(originState *symbolic.State) symbolic.PotentiallySharable
- func (m *Map) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (m *Map) URL() (*symbolic.URL, bool)
- func (*Map) WidestOfType() symbolic.Value
- func (m *Map) WithURL(url *symbolic.URL) symbolic.UrlHolder
- type MapPattern
- func (p *MapPattern) Concretize(ctx symbolic.ConcreteContext) any
- func (p *MapPattern) HasUnderlyingPattern() bool
- func (p *MapPattern) IsConcretizable() bool
- func (p *MapPattern) IsMutable() bool
- func (*MapPattern) IteratorElementKey() symbolic.Value
- func (*MapPattern) IteratorElementValue() symbolic.Value
- func (p *MapPattern) MigrationInitialValue() (symbolic.Serializable, bool)
- func (p *MapPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (p *MapPattern) StringPattern() (symbolic.StringPattern, bool)
- func (p *MapPattern) SymbolicValue() symbolic.Value
- func (p *MapPattern) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (p *MapPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (*MapPattern) WidestOfType() symbolic.Value
- type MessageThread
- func (t *MessageThread) Add(ctx *symbolic.Context, elem *symbolic.Object)
- func (t *MessageThread) Contains(value symbolic.Serializable) (yes bool, possible bool)
- func (t *MessageThread) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (t *MessageThread) IsMutable() bool
- func (t *MessageThread) IsSharable() (bool, string)
- func (t *MessageThread) IsShared() bool
- func (t *MessageThread) IteratorElementKey() symbolic.Value
- func (t *MessageThread) IteratorElementValue() symbolic.Value
- func (*MessageThread) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (t *MessageThread) Prop(name string) symbolic.Value
- func (*MessageThread) PropertyNames() []string
- func (t *MessageThread) Share(originState *symbolic.State) symbolic.PotentiallySharable
- func (t *MessageThread) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (s *MessageThread) URL() (*symbolic.URL, bool)
- func (*MessageThread) WidestOfType() symbolic.Value
- func (t *MessageThread) WithURL(url *symbolic.URL) symbolic.UrlHolder
- type MessageThreadPattern
- func (p *MessageThreadPattern) Concretize(ctx symbolic.ConcreteContext) any
- func (p *MessageThreadPattern) HasUnderlyingPattern() bool
- func (p *MessageThreadPattern) IsConcretizable() bool
- func (p *MessageThreadPattern) IsMutable() bool
- func (*MessageThreadPattern) IteratorElementKey() symbolic.Value
- func (p *MessageThreadPattern) IteratorElementValue() symbolic.Value
- func (p *MessageThreadPattern) MigrationInitialValue() (symbolic.Serializable, bool)
- func (p *MessageThreadPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (p *MessageThreadPattern) StringPattern() (symbolic.StringPattern, bool)
- func (p *MessageThreadPattern) SymbolicValue() symbolic.Value
- func (p *MessageThreadPattern) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (p *MessageThreadPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (*MessageThreadPattern) WidestOfType() symbolic.Value
- type Queue
- func (*Queue) Dequeue(ctx *symbolic.Context) (symbolic.Value, *symbolic.Bool)
- func (*Queue) Enqueue(ctx *symbolic.Context, elems symbolic.Value)
- func (q *Queue) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (q *Queue) IsMutable() bool
- func (*Queue) IteratorElementKey() symbolic.Value
- func (*Queue) IteratorElementValue() symbolic.Value
- func (*Queue) Peek(ctx *symbolic.Context) (symbolic.Value, *symbolic.Bool)
- func (*Queue) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (q *Queue) Prop(name string) symbolic.Value
- func (*Queue) PropertyNames() []string
- func (*Queue) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (*Queue) WidestOfType() symbolic.Value
- type Rank
- func (r *Rank) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (r *Rank) IsMutable() bool
- func (r *Rank) IteratorElementKey() symbolic.Value
- func (r *Rank) IteratorElementValue() symbolic.Value
- func (r *Rank) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (r *Rank) Prop(name string) symbolic.Value
- func (*Rank) PropertyNames() []string
- func (r *Rank) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (r *Rank) WidestOfType() symbolic.Value
- type Ranking
- func (f *Ranking) Add(ctx *symbolic.Context, v symbolic.Serializable, score *symbolic.Float)
- func (r *Ranking) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (r *Ranking) IsMutable() bool
- func (r *Ranking) IteratorElementKey() symbolic.Value
- func (r *Ranking) IteratorElementValue() symbolic.Value
- func (r *Ranking) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (r *Ranking) Prop(name string) symbolic.Value
- func (*Ranking) PropertyNames() []string
- func (f *Ranking) Remove(ctx *symbolic.Context, v symbolic.Serializable)
- func (r *Ranking) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (r *Ranking) WidestOfType() symbolic.Value
- type Set
- func (s *Set) Add(ctx *symbolic.Context, v symbolic.Serializable)
- func (s *Set) Contains(value symbolic.Serializable) (yes bool, possible bool)
- func (s *Set) Get(ctx *symbolic.Context, k symbolic.StringLike) (symbolic.Value, *symbolic.Bool)
- func (s *Set) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (s *Set) Has(ctx *symbolic.Context, v symbolic.Serializable) *symbolic.Bool
- func (s *Set) IsMutable() bool
- func (s *Set) IsSharable() (bool, string)
- func (s *Set) IsShared() bool
- func (*Set) IteratorElementKey() symbolic.Value
- func (s *Set) IteratorElementValue() symbolic.Value
- func (s *Set) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (s *Set) Prop(name string) symbolic.Value
- func (*Set) PropertyNames() []string
- func (s *Set) Remove(ctx *symbolic.Context, v symbolic.Serializable)
- func (s *Set) Share(originState *symbolic.State) symbolic.PotentiallySharable
- func (s *Set) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (s *Set) URL() (*symbolic.URL, bool)
- func (set *Set) WatcherElement() symbolic.Value
- func (*Set) WidestOfType() symbolic.Value
- func (s *Set) WithURL(url *symbolic.URL) symbolic.UrlHolder
- type SetPattern
- func (p *SetPattern) Concretize(ctx symbolic.ConcreteContext) any
- func (p *SetPattern) HasUnderlyingPattern() bool
- func (p *SetPattern) IsConcretizable() bool
- func (p *SetPattern) IsMutable() bool
- func (*SetPattern) IteratorElementKey() symbolic.Value
- func (*SetPattern) IteratorElementValue() symbolic.Value
- func (p *SetPattern) MigrationInitialValue() (symbolic.Serializable, bool)
- func (p *SetPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (p *SetPattern) StringPattern() (symbolic.StringPattern, bool)
- func (p *SetPattern) SymbolicValue() symbolic.Value
- func (p *SetPattern) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (p *SetPattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (*SetPattern) WidestOfType() symbolic.Value
- type Tree
- func (t *Tree) Connect(ctx *symbolic.Context, n1, n2 *TreeNode)
- func (t *Tree) Get(ctx *symbolic.Context, k symbolic.Value) symbolic.Value
- func (t *Tree) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (t *Tree) InsertNode(ctx *symbolic.Context, v symbolic.Value) *TreeNode
- func (t *Tree) IsMutable() bool
- func (t *Tree) IsSharable() (bool, string)
- func (t *Tree) IsShared() bool
- func (t *Tree) IteratorElementKey() symbolic.Value
- func (t *Tree) IteratorElementValue() symbolic.Value
- func (t *Tree) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (t *Tree) Prop(name string) symbolic.Value
- func (*Tree) PropertyNames() []string
- func (t *Tree) RemoveNode(ctx *symbolic.Context, k *TreeNode)
- func (t *Tree) Share(originState *symbolic.State) symbolic.PotentiallySharable
- func (t *Tree) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (t *Tree) WalkerElement() symbolic.Value
- func (t *Tree) WalkerNodeMeta() symbolic.Value
- func (r *Tree) WidestOfType() symbolic.Value
- type TreeNode
- func (n *TreeNode) AddChild(ctx *symbolic.Context, data symbolic.Value)
- func (f *TreeNode) GetGoMethod(name string) (*symbolic.GoFunction, bool)
- func (n TreeNode) IsMutable() bool
- func (n *TreeNode) IsSharable() (bool, string)
- func (t *TreeNode) IsShared() bool
- func (n *TreeNode) IteratorElementKey() symbolic.Value
- func (n *TreeNode) IteratorElementValue() symbolic.Value
- func (r *TreeNode) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (t *TreeNode) Prop(name string) symbolic.Value
- func (*TreeNode) PropertyNames() []string
- func (t *TreeNode) Share(originState *symbolic.State) symbolic.PotentiallySharable
- func (r *TreeNode) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (r *TreeNode) WidestOfType() symbolic.Value
- type TreeNodePattern
- func (p *TreeNodePattern) HasUnderlyingPattern() bool
- func (p *TreeNodePattern) IsMutable() bool
- func (p *TreeNodePattern) IteratorElementKey() symbolic.Value
- func (p *TreeNodePattern) IteratorElementValue() symbolic.Value
- func (p *TreeNodePattern) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
- func (p *TreeNodePattern) StringPattern() (symbolic.StringPattern, bool)
- func (p *TreeNodePattern) SymbolicValue() symbolic.Value
- func (patt *TreeNodePattern) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (p *TreeNodePattern) TestValue(v symbolic.Value, state symbolic.RecTestCallState) bool
- func (p *TreeNodePattern) WidestOfType() symbolic.Value
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 Graph ¶
type Graph struct { symbolic.UnassignablePropsMixin // contains filtered or unexported fields }
func (*Graph) GetGoMethod ¶
func (f *Graph) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*Graph) InsertNode ¶
func (*Graph) IteratorElementKey ¶
func (*Graph) IteratorElementValue ¶
func (*Graph) PrettyPrint ¶
func (r *Graph) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Graph) PropertyNames ¶
func (*Graph) WalkerElement ¶
func (*Graph) WalkerNodeMeta ¶
func (*Graph) WidestOfType ¶
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) PrettyPrint ¶
func (r *GraphNode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*GraphNode) PropertyNames ¶
func (*GraphNode) WidestOfType ¶
type Map ¶
type Map struct { symbolic.UnassignablePropsMixin symbolic.SerializableMixin symbolic.CollectionMixin // contains filtered or unexported fields }
func NewMapWithPatterns ¶
func (*Map) Contains ¶
func (m *Map) Contains(value symbolic.Serializable) (yes bool, possible bool)
func (*Map) GetGoMethod ¶
func (m *Map) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*Map) IsSharable ¶
func (*Map) IteratorElementKey ¶
func (*Map) IteratorElementValue ¶
func (*Map) PrettyPrint ¶
func (*Map) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Map) PropertyNames ¶
func (*Map) WidestOfType ¶
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) 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) WidestOfType ¶
func (*MessageThread) WidestOfType() symbolic.Value
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) GetGoMethod ¶
func (q *Queue) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*Queue) IteratorElementKey ¶
func (*Queue) IteratorElementValue ¶
func (*Queue) PrettyPrint ¶
func (*Queue) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Queue) PropertyNames ¶
func (*Queue) WidestOfType ¶
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) IteratorElementKey ¶
func (*Rank) IteratorElementValue ¶
func (*Rank) PrettyPrint ¶
func (r *Rank) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Rank) PropertyNames ¶
func (*Rank) WidestOfType ¶
type Ranking ¶
type Ranking struct { symbolic.UnassignablePropsMixin // contains filtered or unexported fields }
func (*Ranking) GetGoMethod ¶
func (r *Ranking) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*Ranking) IteratorElementKey ¶
func (*Ranking) IteratorElementValue ¶
func (*Ranking) PrettyPrint ¶
func (r *Ranking) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Ranking) PropertyNames ¶
func (*Ranking) WidestOfType ¶
type Set ¶
type Set struct { symbolic.UnassignablePropsMixin symbolic.SerializableMixin symbolic.CollectionMixin // contains filtered or unexported fields }
func NewSetWithPattern ¶
func NewSetWithPattern(elementPattern symbolic.Pattern, uniqueness *common.UniquenessConstraint) *Set
func (*Set) Contains ¶
func (s *Set) Contains(value symbolic.Serializable) (yes bool, possible bool)
func (*Set) GetGoMethod ¶
func (s *Set) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*Set) IsSharable ¶
func (*Set) IteratorElementKey ¶
func (*Set) IteratorElementValue ¶
func (*Set) PrettyPrint ¶
func (s *Set) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Set) PropertyNames ¶
func (*Set) WatcherElement ¶
func (*Set) WidestOfType ¶
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 (*Tree) GetGoMethod ¶
func (t *Tree) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*Tree) InsertNode ¶
func (*Tree) IsSharable ¶
func (*Tree) IteratorElementKey ¶
func (*Tree) IteratorElementValue ¶
func (*Tree) PrettyPrint ¶
func (t *Tree) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*Tree) PropertyNames ¶
func (*Tree) WalkerElement ¶
func (*Tree) WalkerNodeMeta ¶
func (*Tree) WidestOfType ¶
type TreeNode ¶
type TreeNode struct { symbolic.UnassignablePropsMixin // contains filtered or unexported fields }
func NewTreeNode ¶
func (*TreeNode) GetGoMethod ¶
func (f *TreeNode) GetGoMethod(name string) (*symbolic.GoFunction, bool)
func (*TreeNode) IsSharable ¶
func (*TreeNode) IteratorElementKey ¶
func (*TreeNode) IteratorElementValue ¶
func (*TreeNode) PrettyPrint ¶
func (r *TreeNode) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
func (*TreeNode) PropertyNames ¶
func (*TreeNode) Share ¶
func (t *TreeNode) Share(originState *symbolic.State) symbolic.PotentiallySharable
func (*TreeNode) WidestOfType ¶
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
Click to show internal directories.
Click to hide internal directories.