• Home
• com.github.keyboardDrummer
• modularlanguages_sjs0.6_2.13
• 0.1.6
• source code
• StatementFlowAnalysis.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

miksilo.modularLanguages.deltas.statement.StatementFlowAnalysis.scala Maven / Gradle / Ivy

package miksilo.modularLanguages.deltas.javac.statements

import miksilo.modularLanguages.core.deltas.path.{NodePath, PathRoot}
import miksilo.languageServer.core.language.Language
import miksilo.languageServer.util.DataFlowAnalysis
import miksilo.modularLanguages.core.node.Node
import miksilo.modularLanguages.deltas.statement.ControlFlowGraph

abstract class StatementFlowAnalysis[State](language: Language, body: Node, initialState: State)
  extends DataFlowAnalysis[NodePath, State]
{
  val bodyPath = PathRoot(body)
  private val instances = ControlFlowGraph.instances.get(language)
  private val labels = getLabels
  private val controlFlowGraph = ControlFlowGraph.getControlFlowGraph(language, bodyPath, labels)

  private val rootNode: NodePath = controlFlowGraph.root.get
  addRootNode(rootNode, initialState)

  def getLabels: Map[Any, NodePath] = {
    val statements: Seq[NodePath] = bodyPath.selfAndDescendants.filter(node => instances.contains(node.shape))
    statements.flatMap(statement => instances(statement.shape).getLabels(language, statement)).toMap
  }

  override def getOutgoingNodes(node: NodePath): Set[NodePath] = {
    controlFlowGraph(node)
  }
}