Skip to content

Commit

Permalink
symb: update the GoString interface
Browse files Browse the repository at this point in the history
  • Loading branch information
GraphR00t committed May 1, 2024
1 parent bf0761b commit d51edec
Show file tree
Hide file tree
Showing 5 changed files with 12 additions and 12 deletions.
6 changes: 3 additions & 3 deletions internal/core/symbolic/pattern.go
Original file line number Diff line number Diff line change
Expand Up @@ -467,7 +467,7 @@ func (p *PathPattern) IteratorElementValue() Value {
return p.SymbolicValue()
}

func (p *PathPattern) underlyingString() *String {
func (p *PathPattern) UnderlyingString() *String {
return ANY_STRING
}

Expand Down Expand Up @@ -626,7 +626,7 @@ func (p *URLPattern) IteratorElementValue() Value {
return p.SymbolicValue()
}

func (p *URLPattern) underlyingString() *String {
func (p *URLPattern) UnderlyingString() *String {
return ANY_STRING
}

Expand Down Expand Up @@ -811,7 +811,7 @@ func (p *HostPattern) IteratorElementValue() Value {
return p.SymbolicValue()
}

func (p *HostPattern) underlyingString() *String {
func (p *HostPattern) UnderlyingString() *String {
return ANY_STRING
}

Expand Down
8 changes: 4 additions & 4 deletions internal/core/symbolic/resource.go
Original file line number Diff line number Diff line change
Expand Up @@ -231,7 +231,7 @@ func (p *Path) Prop(name string) Value {
}
}

func (p *Path) underlyingString() *String {
func (p *Path) UnderlyingString() *String {
return ANY_STRING
}

Expand Down Expand Up @@ -359,7 +359,7 @@ func (u *URL) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrint
}
}

func (u *URL) underlyingString() *String {
func (u *URL) UnderlyingString() *String {
return ANY_STRING
}

Expand Down Expand Up @@ -461,7 +461,7 @@ func (s *Scheme) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPr
}
}

func (s *Scheme) underlyingString() *String {
func (s *Scheme) UnderlyingString() *String {
return ANY_STRING
}

Expand Down Expand Up @@ -590,7 +590,7 @@ func (*Host) Prop(name string) Value {
}
}

func (h *Host) underlyingString() *String {
func (h *Host) UnderlyingString() *String {
return ANY_STRING
}

Expand Down
4 changes: 2 additions & 2 deletions internal/core/symbolic/string.go
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ var (
// A GoString represents a symbolic GoString.
type GoString interface {
Value
underlyingString() *String
UnderlyingString() *String
}

// A StringLike represents a symbolic StringLike.
Expand Down Expand Up @@ -216,7 +216,7 @@ func (s *String) IteratorElementValue() Value {
return ANY_BYTE
}

func (s *String) underlyingString() *String {
func (s *String) UnderlyingString() *String {
return ANY_STRING
}

Expand Down
4 changes: 2 additions & 2 deletions internal/core/symbolic/value.go
Original file line number Diff line number Diff line change
Expand Up @@ -368,7 +368,7 @@ func (i *Identifier) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.Pret
w.WriteStringF("#%s", i.name)
}

func (i *Identifier) underlyingString() *String {
func (i *Identifier) UnderlyingString() *String {
return &String{}
}

Expand Down Expand Up @@ -1418,7 +1418,7 @@ func (r *AnyResourceName) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint
w.WriteName("resource-name")
}

func (r *AnyResourceName) underlyingString() *String {
func (r *AnyResourceName) UnderlyingString() *String {
return &String{}
}

Expand Down
2 changes: 1 addition & 1 deletion internal/core/symbolic/value_path.go
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ func (n *PropertyName) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.Pr
w.WriteString(n.name)
}

func (n *PropertyName) underlyingString() *String {
func (n *PropertyName) UnderlyingString() *String {
return &String{}
}

Expand Down

0 comments on commit d51edec

Please sign in to comment.