parsley.internal.deepembedding.frontend.debugger.Debugged.scala Maven / Gradle / Ivy

Go to download
/*
 * Copyright 2020 Parsley Contributors 
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
package parsley.internal.deepembedding.frontend.debugger

import parsley.XAssert
import parsley.debugger.internal.DebugContext

import parsley.internal.deepembedding.{backend, ContOps}
import parsley.internal.deepembedding.ContOps.{suspend, ContAdapter}
import parsley.internal.deepembedding.backend.StrictParsley
import parsley.internal.deepembedding.frontend.{LazyParsley, LazyParsleyIVisitor, LetFinderState, LetMap}

// Wrapper class signifying debugged classes
private [parsley] final class Debugged[A]
    (val origin: LazyParsley[A], var par: Option[LazyParsley[A]], val optName: Option[String])
    (dbgCtx: DebugContext) extends LazyParsley[A] {
    XAssert.assert(!origin.isInstanceOf[Debugged[_]], "Debugged parsers should not be nested within each other directly.")

    def make(p: StrictParsley[A]): StrictParsley[A] =
        new backend.debugger.Debugged(origin, p, optName)(dbgCtx)

    override def findLetsAux[M[_, +_] : ContOps, R](seen: Set[LazyParsley[_]])(implicit state: LetFinderState): M[R, Unit] =
        suspend(par.get.findLets(seen))

    override def preprocess[M[_, +_] : ContOps, R, A_ >: A](implicit lets: LetMap): M[R, StrictParsley[A_]] =
        for (p <- suspend[M, R, StrictParsley[A]](par.get.optimised[M, R, A])) yield make(p)

    // $COVERAGE-OFF$
    private [frontend] def withName(name: String): Debugged[A] =
        new Debugged(origin, par, Some(name))(dbgCtx)

    override def visit[T, U[+_]](visitor: LazyParsleyIVisitor[T, U], context: T): U[A] =
        visitor.visitUnknown(this, context)
    // $COVERAGE-ON$

    override private [parsley] def prettyName = optName.getOrElse(origin.prettyName)
}