miksilo.modularLanguages.deltas.expression.VariableDelta.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.expression

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._
import miksilo.languageServer.core.language.{Compilation, Language}
import miksilo.languageServer.core.smarts.objects.Reference
import miksilo.languageServer.core.smarts.scopes.objects.Scope
import miksilo.languageServer.core.smarts.types.objects.Type
import miksilo.languageServer.core.smarts.{ConstraintBuilder, ResolvesTo}
import miksilo.modularLanguages.deltas.HasNameDelta
import miksilo.modularLanguages.deltas.javac.methods.call.ReferenceExpressionDelta
import miksilo.modularLanguages.deltas.javac.methods.{VariableInfo}
import miksilo.modularLanguages.deltas.method.MethodDelta

object VariableDelta extends DeltaWithGrammar with ExpressionInstance with ReferenceExpressionDelta {

  import HasNameDelta._

  implicit class Variable[T <: NodeLike](val node: T) extends HasName[T] {
  }

  def neww(name: String) = new Node(Shape, Name -> name)

  object Shape extends NodeShape

  override def transformGrammars(grammars: LanguageGrammars, state: Language): Unit = {
    import grammars._
    val core = find(ExpressionDelta.LastPrecedenceGrammar)
    val variableGrammar = create(Shape, find(Name) asNode Shape)
    core.addAlternative(variableGrammar)
  }

  override def description: String = "Enables referencing a variable."

  def getVariableInfo(variable: NodePath, compilation: Compilation): VariableInfo = {
    MethodDelta.getMethodCompiler(compilation).getVariables(variable)(variable.name)
  }

  override def shape: NodeShape = Shape

  override def constraints(compilation: Compilation, builder: ConstraintBuilder, variable: NodePath, _type: Type, parentScope: Scope): Unit = {
    val reference = getReference(compilation, builder, variable, parentScope)
    val declaration = builder.declarationVariable(_type)
    builder.add(ResolvesTo(reference, declaration))
  }

  override def getReference(compilation: Compilation, builder: ConstraintBuilder, expression: NodePath, parentScope: Scope): Reference = {
    val variable: Variable[NodePath] = expression
    builder.refer(variable.name, parentScope, Some(expression.getField(Name)))
  }
}