expression.operators.DepthClosureFunction.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of Treepat Show documentation

Treepat is a language to recognise patterns in trees in a similar way as regular expressions recognize patterns in strings. Treepat includes analogous operators to regex union, concatenation, and closure, which are extended to the notion of trees.

There is a newer version: 2.0.0

Show newest version

package expression.operators

import target_tree.TargetTreeNode

fun depthClosureFunction(
    expression: VisitorFunction
): VisitorFunction {
    fun go(targetTreeNode: TargetTreeNode?): VisitorFunctionResponse {
        val currentAnswer = expression.invoke(targetTreeNode)
        if (targetTreeNode == null || !currentAnswer.hasMatch) {
            return VisitorFunctionResponseFactory.createResponseWithZeroMatches(targetTreeNode)
        }
        val answer = mutableListOf()
        answer.addAll(currentAnswer.responses.map {
            val response = go(it.depthTerm)
            VisitorFunctionResponseFactory.createMergeResponse(it, response, hasMatch = true)
        })
        val response = VisitorFunctionResponseFactory.createResponse(answer, targetTreeNode)
        val depthClosureFixed =
            response.responses.map { it.copy(lastVisitedSibling = targetTreeNode, depthTerm = null) }
        return VisitorFunctionResponse(depthClosureFixed, response.hasMatch)
    }
    return ::go
}