miksilo.modularLanguages.deltas.verilog.AlwaysDelta.scala Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of modularlanguages_sjs0.6_2.13 Show documentation
modularLanguages
The newest version!
package miksilo.modularLanguages.deltas.verilog

import miksilo.modularLanguages.core.bigrammar.BiGrammar
import miksilo.modularLanguages.core.deltas.{Contract, DeltaWithGrammar}
import miksilo.modularLanguages.core.deltas.grammars.LanguageGrammars
import miksilo.modularLanguages.core.deltas.path.NodePath
import miksilo.modularLanguages.core.node._
import miksilo.languageServer.core.language.{Compilation, Language}
import miksilo.languageServer.core.smarts.ConstraintBuilder
import miksilo.languageServer.core.smarts.scopes.objects.Scope
import miksilo.modularLanguages.deltas.ConstraintSkeleton
import miksilo.modularLanguages.deltas.classes.HasConstraintsDelta
import miksilo.modularLanguages.deltas.statement.StatementDelta
import miksilo.modularLanguages.deltas.verilog.SensitivityVariableDelta.SensitivityVariable

object AlwaysDelta extends DeltaWithGrammar with HasConstraintsDelta {
  object Shape extends NodeShape
  object SensitivityVariables extends NodeField
  object Body extends NodeField

  def neww(variables: Seq[Node], body: Node): Node = Shape.create(SensitivityVariables -> variables, Body -> body)

  implicit class Always[T <: NodeLike](val node: T) extends NodeWrapper[T] {
    def variables: Seq[SensitivityVariable[T]] = NodeWrapper.wrapList(node(SensitivityVariables).asInstanceOf[Seq[T]])
    def body: T = node(Body).asInstanceOf[T]
  }

  override def transformGrammars(grammars: LanguageGrammars, language: Language): Unit = {
    val _grammar = grammars
    import grammars._

    val member = find(VerilogModuleDelta.MemberShape)
    val statement = find(StatementDelta.Grammar)
    val always: BiGrammar = "always" ~~ SensitivityVariableDelta.getListGrammar(_grammar) % statement.as(Body) asNode Shape
    member.addAlternative(always)
  }

  override def description: String = "Adds the always statement"

  override def shape: NodeShape = Shape

  override def collectConstraints(compilation: Compilation, builder: ConstraintBuilder, path: NodePath, parentScope: Scope): Unit = {
    val always: Always[NodePath] = path
    for(variable <- always.variables) {
      builder.resolve(variable.name, parentScope, variable.getField(SensitivityVariableDelta.Name))
    }
    ConstraintSkeleton.constraints(compilation, builder, always.body, parentScope)
  }

  override def dependencies: Set[Contract] = Set(StatementDelta, VerilogModuleDelta)
}