dregex.impl.Operations.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of dregex_2.11 Show documentation

Deterministic Regular Expression Engine

There is a newer version: 0.7.0

package dregex.impl

import dregex.Universe
import dregex.impl.MetaTrees.MetaTree
import dregex.impl.MetaTrees.TreeOperation
import dregex.impl.MetaTrees.AtomTree
import com.typesafe.scalalogging.slf4j.StrictLogging

object Operations extends StrictLogging {

  def resolve(meta: MetaTree, universe: Universe): Dfa = {
    meta match {
      case TreeOperation(op, left, right) =>
        logger.trace("op: " + meta)
        val operated = op(resolve(left, universe), resolve(right, universe))
        logger.trace("operated: " + operated)
        operated
      case AtomTree(metaTree) =>
        logger.trace("metaTree: " + metaTree)
        val norm = Normalizer.normalize(metaTree, universe.alphabet)
        logger.trace("norm: " + norm)
        val nfa = Nfa.fromTree(norm)
        logger.trace("nfa: " + nfa)
        val dfa = Dfa.fromNfa(nfa)
        logger.trace("dfa: " + nfa)
        dfa
    }
  }

  type Operation = (Dfa, Dfa) => Dfa

}