nswrap/types/node.go
Greg fb21881a8b Add type conversion functions to types package. Start moving the
wrapper to the new type system. Intermediate commit before I rip
out the old stuff, not working yet.
2019-04-26 09:04:53 -04:00

122 lines
2.5 KiB
Go

package types
import (
"fmt"
"os"
"strings"
)
// Type definition and basic functions for Nodes
type Node struct {
Kind, Content string
Children []*Node
}
func NewNode(k string,cs ...string) *Node {
c := ""
if len(cs) > 0 {
c = cs[0]
}
ret := &Node{ Kind: k, Content: c, Children: []*Node{} }
dbg("NewNode(%p) %s\n",ret,ret.Kind)
return ret
}
func (n *Node) String(ls ...int) string {
if n == nil {
return ""
}
var ret strings.Builder
level := 0
if len(ls) > 0 {
level = ls[0]
if level > 100 {
fmt.Println("(*Node)String(): Recursion too deep")
os.Exit(-1)
}
}
prefix := strings.Repeat("-",level)
ret.WriteString(fmt.Sprintf("%s<%s> '%s'\n",prefix, n.Kind, n.Content))
for _,c := range n.Children {
ret.WriteString(c.String(level+1))
}
return ret.String()
}
func (n *Node) AddChild(c *Node) *Node {
erp := func(s string) {
dbg("(%p)AddChild(%p): %s\n",n,c,s)
os.Exit(-1)
}
if n == nil { erp("Called on nil node") }
if c == nil { erp("Child is nil") }
if n == c { erp("Node cannot be its own child") }
// Skip literals
if c.Kind == "Lit" { return n }
// Do we already have this child? (FIXME: Not needed?)
for _,d := range n.Children {
if c == d {
return n
}
}
dbg("(%p)AddChild(%p)\n",n,c)
n.Children = append(n.Children,c)
return n
}
func (n *Node) CtypeSimplified() string {
ignore := map[string]bool{
"NullableAnnotation": true,
"TypeQualifier": true,
"GenericList": true,
}
return n._Ctype(ignore)
}
func (n *Node) Ctype() string {
return n._Ctype(map[string]bool{})
}
func (n *Node) _Ctype(ignore map[string]bool) string {
if n == nil || ignore[n.Kind] {
return ""
}
var ret strings.Builder
childStrings := func(n *Node) []string {
ret := []string{}
if n == nil { return ret }
for _,c := range n.Children {
if x := c._Ctype(ignore); x != "" {
ret = append(ret, x)
}
}
return ret
}
switch n.Kind {
case "Parenthesized":
ret.WriteString("(" + strings.Join(childStrings(n)," ") + ")")
case "Function":
ret.WriteString("(" + strings.Join(childStrings(n),", ") + ")")
case "GenericList":
ret.WriteString("<" + strings.Join(childStrings(n),", ") + ">")
case "Array":
ret.WriteString("[" + strings.Join(childStrings(n)," ") + "]")
default:
ret.WriteString(n.Content)
cc := strings.Join(childStrings(n)," ")
if n.Content != "" && cc != "" {
ret.WriteString(" ")
}
ret.WriteString(cc)
}
s := ret.String()
s = strings.ReplaceAll(s," *","*")
s = strings.ReplaceAll(s," [","[")
s = strings.ReplaceAll(s,") (",")(")
return s
}