Method formatValue

sup/formatter.go:137–191

(indent int, typ super.Type, bytes scode.Bytes, parentKnown, decorate bool)

}

func (f *Formatter) formatValue(indent int, typ super.Type, bytes scode.Bytes, parentKnown, decorate bool) {
	known := parentKnown || f.hasName(typ)
	var empty bool
	switch t := typ.(type) {
	default:
		f.startColorPrimitive(typ)
		formatPrimitive(&f.builder, typ, bytes)
		f.endColor()
	case *super.TypeNamed:
		f.formatValue(indent, t.Type, bytes, known, false)
	case *super.TypeRecord:
		f.formatRecord(indent, t, bytes, known)
	case *super.TypeArray:
		empty = f.formatVector(indent, "[", "]", t.Type, super.NewValue(t, bytes), known)
	case *super.TypeSet:
		empty = f.formatVector(indent, "|[", "]|", t.Type, super.NewValue(t, bytes), known)
	case *super.TypeUnion:
		f.formatUnion(indent, t, bytes)
	case *super.TypeMap:
		empty = f.formatMap(indent, t, bytes, known)
	case *super.TypeEnum:
		f.build("\"")
		f.build(t.Symbols[super.DecodeUint(bytes)])
		f.build("\"")
	case *super.TypeError:
		f.startColor(color.Red)
		f.build("error")
		f.endColor()
		f.build("(")
		f.formatValue(indent, t.Type, bytes, known, true)
		f.build(")")
	case *super.TypeFusion:
		f.startColor(color.Green)
		f.build("fusion")
		f.endColor()
		f.build("(")
		it := bytes.Iter()
		f.formatValue(indent, t.Type, it.Next(), known, true)
		f.build(",<")
		f.formatTypeValue(indent, it.Next(), false)
		f.build(">)")
		// We don't need to decorate a fusion value because
		// its type is always implied by its value.
		return
	case *super.TypeOfType:
		f.startColor(color.Gray(200))
		f.build("<")
		f.formatTypeValue(indent, bytes, false)
		f.build(">")
		f.endColor()
	}
	if decorate && !parentKnown {
		f.decorate(typ, empty)
	}
}

func (f *Formatter) formatTypeValue(indent int, tv scode.Bytes, isComponentType bool) scode.Bytes {
	n, tv := super.DecodeLength(tv)