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

package miksilo.modularLanguages.deltas.javac.methods

import miksilo.modularLanguages.core.deltas._
import miksilo.modularLanguages.core.deltas.grammars.{BodyGrammar, LanguageGrammars}
import miksilo.modularLanguages.core.deltas.path.PathRoot
import miksilo.modularLanguages.core.node.{Node, NodeField, NodeShape}
import miksilo.languageServer.core.language.{Compilation, Language}
import miksilo.modularLanguages.core.SolveConstraintsDelta
import miksilo.modularLanguages.deltas.bytecode.types.{ArrayTypeDelta, UnqualifiedObjectTypeDelta, VoidTypeDelta}
import miksilo.modularLanguages.deltas.javac.classes.skeleton.JavaClassDelta
import miksilo.modularLanguages.deltas.method.MethodDelta
import miksilo.modularLanguages.deltas.statement.{BlockDelta, StatementDelta}

object BlockLanguageDelta extends DeltaWithGrammar with DeltaWithPhase
{
  object Shape extends NodeShape
  object Statements extends NodeField

  override def inject(language: Language): Unit = {
    super.inject(language)
    SolveConstraintsDelta.constraintCollector.add(language, (compilation, builder) => {
      val block = compilation.program.asInstanceOf[PathRoot]
      BlockDelta.collectConstraints(compilation, builder, block, builder.newScope(debugName = "programScope"))
    })
  }

  override def transformGrammars(grammars: LanguageGrammars, state: Language): Unit = {
    import grammars._
    val statements = find(StatementDelta.Grammar).manyVertical.as(BlockDelta.Statements).asNode(BlockDelta.Shape)
    find(BodyGrammar).inner = statements
  }

  override def transformProgram(program: Node, compilation: Compilation): Unit = {
    val block = program
    val mainArgument: Node = MethodParameters.neww("args", ArrayTypeDelta.neww(UnqualifiedObjectTypeDelta.neww("String")))
    val method = MethodDelta.neww("main",VoidTypeDelta.voidType,Seq(mainArgument), block, static = true, AccessibilityFieldsDelta.PublicVisibility)
    val javaClass = JavaClassDelta.neww(Seq.empty,"Block",Seq(method))
    program.replaceData(javaClass)
  }

  //TODO bring back. override def dependencies: Set[Contract] = Set(ImplicitObjectSuperClass, MethodDelta)

  override def description: String = "Creates a language where the program is simply a Java block."

  override def dependencies: Set[Contract] = Set(BlockDelta)
}