Method VisitClause

parse/parse.go:327–343

VisitClause visits a parse tree produced by MangleParser#clause.

(ctx *gen.ClauseContext)

// VisitClause visits a parse tree produced by MangleParser#clause.
func (p Parser) VisitClause(ctx *gen.ClauseContext) any {
	head := p.Visit(ctx.Atom()).(ast.Atom)

	// Check for temporal annotation on head
	var headTime *ast.Interval
	if tempAnnot := ctx.TemporalAnnotation(); tempAnnot != nil {
		headTime = p.Visit(tempAnnot).(*ast.Interval)
	}

	if (ctx.COLONDASH() != nil) || (ctx.LONGLEFTDOUBLEARROW() != nil) {
		body := p.Visit(ctx.ClauseBody()).(ast.Clause)
		body.Head = head
		body.HeadTime = headTime
		return body
	}
	return ast.NewTemporalClause(head, headTime, nil)
}

// VisitClauseBody visits a parse tree produced by MangleParser#clauseBody.
func (p Parser) VisitClauseBody(ctx *gen.ClauseBodyContext) any {