Method showPredicate

interpreter/interpreter.go:123–141

(p ast.PredicateSym)

}

func (i *Interpreter) showPredicate(p ast.PredicateSym) {
	const docStringMargin = 50
	decl := i.knownPredicates[p]
	atomText := decl.DeclaredAtom.DisplayString()
	if docLines := decl.Doc(); len(docLines) != 0 && docLines[0] != "" {
		prefixLen := 0
		if len(atomText) < docStringMargin {
			prefixLen = len(atomText)
		}
		spacer := strings.Repeat(" ", docStringMargin-prefixLen)
		if len(atomText) < docStringMargin {
			fmt.Fprintf(i.out, "%s%s%s\n", atomText, spacer, docLines[0])
		} else {
			fmt.Fprintf(i.out, "%s\n%s%s\n", atomText, spacer, docLines[0])
		}
	} else {
		fmt.Fprintf(i.out, "%s\n", atomText)
	}
}

// Show shows information about predicates.
// If arg = "all", it lists all predicate.