Greg
fb21881a8b
wrapper to the new type system. Intermediate commit before I rip out the old stuff, not working yet.
122 lines
2.5 KiB
Go
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
|
|
}
|
|
|