• Home
• com.github.keyboardDrummer
• modularlanguages_sjs0.6_2.13
• 0.1.6
• source code
• EmitStatementDelta.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.solidity.EmitStatementDelta.scala Maven / Gradle / Ivy

package miksilo.modularLanguages.deltas.solidity

import miksilo.modularLanguages.core.deltas.DeltaWithGrammar
import miksilo.modularLanguages.core.deltas.grammars.LanguageGrammars
import miksilo.modularLanguages.core.deltas.path.NodePath
import miksilo.modularLanguages.core.node.{NodeGrammar, NodeShape}
import miksilo.languageServer.core.language.{Compilation, Language}
import miksilo.languageServer.core.smarts.scopes.objects.Scope
import miksilo.languageServer.core.smarts.types.objects.TypeApplication
import miksilo.languageServer.core.smarts.{ConstraintBuilder, ResolvesToType}
import miksilo.modularLanguages.deltas.expression.ExpressionDelta
import miksilo.modularLanguages.deltas.classes.HasConstraintsDelta
import miksilo.modularLanguages.deltas.javac.methods.call.{ReferenceExpressionSkeleton}
import miksilo.modularLanguages.deltas.method.call.CallDelta
import miksilo.modularLanguages.deltas.method.call.CallDelta.Call
import miksilo.modularLanguages.deltas.statement.StatementDelta

object EmitStatementDelta extends DeltaWithGrammar with HasConstraintsDelta {

  object Shape extends NodeShape

  override def transformGrammars(grammars: LanguageGrammars, language: Language): Unit = {
    import grammars._
    val call = find(CallDelta.Shape)
    val callGrammar = call.inner.asInstanceOf[NodeGrammar].inner
    val grammar = "emit" ~~ callGrammar ~ ";" asNode Shape
    find(StatementDelta.Grammar).addAlternative(grammar)
  }

  override def description = "Adds the emit statement"

  override def dependencies = Set(StatementDelta, CallDelta)

  override def collectConstraints(compilation: Compilation, builder: ConstraintBuilder, path: NodePath, parentScope: Scope): Unit = {
    val call: Call[NodePath] = path
    val methodReference = ReferenceExpressionSkeleton.getReference(compilation, builder, call.callee, parentScope)

    val callTypes = call.arguments.map(argument => ExpressionDelta.getType(compilation, builder, argument, parentScope))
    val functionType = TypeApplication(EventDelta.eventConstructor, callTypes, call)
    builder.add(new ResolvesToType(methodReference, builder.declarationVariable(), functionType))

    ExpressionDelta.constraintType(call.callee) = functionType
  }

  override def shape = Shape
}