Method VisitClauseBody

parse/parse.go:346–365

VisitClauseBody visits a parse tree produced by MangleParser#clauseBody.

(ctx *gen.ClauseBodyContext)

// VisitClauseBody visits a parse tree produced by MangleParser#clauseBody.
func (p Parser) VisitClauseBody(ctx *gen.ClauseBodyContext) any {
	var premises []ast.Term
	for _, litOrFml := range ctx.AllLiteralOrFml() {
		premises = append(premises, p.Visit(litOrFml).(ast.Term))
	}
	clause := ast.NewClause(ast.Atom{}, premises)
	var lastTransform *ast.Transform = nil
	for _, l := range ctx.AllTransform() {
		t := p.Visit(l).(ast.Transform)
		if clause.Transform == nil {
			clause.Transform = &t
			lastTransform = &t
		} else {
			lastTransform.Next = &t
			lastTransform = &t
		}
	}

	return clause
}

// VisitTransform visits a parse tree produced by MangleParser#transform.
func (p Parser) VisitTransform(ctx *gen.TransformContext) any {