miksilo.modularLanguages.deltas.solidity.FileImportDelta.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.solidity

import miksilo.modularLanguages.core.bigrammar.grammars.StringLiteralGrammar
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.ConstraintBuilder
import miksilo.languageServer.core.smarts.scopes.objects.Scope
import miksilo.modularLanguages.deltas.classes.HasConstraintsDelta
import miksilo.modularLanguages.deltas.solidity.MultiFileDelta.HasFileReferences

object FileImportDelta extends DeltaWithGrammar with HasConstraintsDelta {

  object Shape extends NodeShape
  object FileName extends NodeField
  object NewName extends NodeField

  implicit class FileImport[T <: NodeLike](val node: T) extends NodeWrapper[T] {
    def fileName: String = node.getValue(FileName).asInstanceOf[String]
    def fileName_=(value: String): Unit = node(FileName) = value

    def newName: String = node.getValue(FileName).asInstanceOf[String]
    def newName_=(value: String): Unit = node(FileName) = value
  }

  override def inject(language: Language): Unit = {
    MultiFileDelta.getFile.add(language, Shape, new HasFileReferences {
      override def getReferences(node: Node) = Seq(FileImport(node).fileName)
    })
    super.inject(language)
  }

  override def transformGrammars(grammars: LanguageGrammars, language: Language): Unit = {
    import grammars._
    val newName = create(NewName, (printSpace ~> "as" ~~> identifier).option.as(NewName))
    val simpleImport = "import" ~~ StringLiteralGrammar.as(FileName) ~~ (printSpace ~> "as" ~~> identifier).option.as(NewName) ~ ";" asNode Shape
    find(FileWithMembersDelta.Members).addAlternative(simpleImport)
  }

  override def description = "Adds importing an entire file"

  override def dependencies = Set(FileWithMembersDelta)

  override def collectConstraints(compilation: Compilation, builder: ConstraintBuilder, path: NodePath, parentScope: Scope): Unit = {
    val fileImport: FileImport[NodePath] = path
    val fileDeclaration = builder.resolve(fileImport.fileName, parentScope, fileImport.getField(FileName), Some(FileWithMembersDelta.fileType))
    val fileScope = builder.getDeclaredScope(fileDeclaration)
    builder.importScope(parentScope, fileScope)
  }

  override def shape = Shape
}