cs bullshit

7mind · Oct 20, 2023 · ebe443a · ebe443a
1 parent 49350c0
commit ebe443a
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 8 deletions.
diff --git a/src/main/scala/io/septimalmind/baboon/BaboonModule.scala b/src/main/scala/io/septimalmind/baboon/BaboonModule.scala
@@ -3,7 +3,7 @@ package io.septimalmind.baboon
 import distage.{DIKey, ModuleDef}
 import io.septimalmind.baboon.BaboonCompiler.CompilerOptions
 import io.septimalmind.baboon.parser.BaboonParser
-import io.septimalmind.baboon.translator.AbstractBaboonTranslator
+import io.septimalmind.baboon.translator.BaboonAbstractTranslator
 import io.septimalmind.baboon.translator.csharp.CSValue.CSPackageId
 import io.septimalmind.baboon.translator.csharp.{
   CSBaboonTranslator,
@@ -38,7 +38,7 @@ class BaboonModule(options: CompilerOptions) extends ModuleDef {
 
   make[BLogger].from[BLogger.BLoggerImpl]
 
-  many[AbstractBaboonTranslator].ref[CSBaboonTranslator]
+  many[BaboonAbstractTranslator].ref[CSBaboonTranslator]
   make[CSBaboonTranslator]
   make[CSDefnTools].from[CSDefnTools.CSDefnToolsImpl]
   make[CSDefnTranslator].from[CSDefnTranslator.CSDefnTranslatorImpl]

diff --git a/src/main/scala/io/septimalmind/baboon/translator/AbstractBaboonTranslator.scala b/src/main/scala/io/septimalmind/baboon/translator/AbstractBaboonTranslator.scala
@@ -7,7 +7,7 @@ import izumi.fundamentals.collections.nonempty.NEList
 case class Sources(files: Map[String, String])
 case class DomainSources(domain: Domain, files: Map[String, String])
 
-trait AbstractBaboonTranslator {
+trait BaboonAbstractTranslator {
   def translate(
     family: BaboonFamily
   ): Either[NEList[BaboonIssue.TranslationIssue], Sources]

diff --git a/src/main/scala/io/septimalmind/baboon/translator/csharp/CSBaboonTranslator.scala b/src/main/scala/io/septimalmind/baboon/translator/csharp/CSBaboonTranslator.scala
@@ -6,7 +6,7 @@ import io.septimalmind.baboon.RuntimeGenOpt
 import io.septimalmind.baboon.parser.model.issues.BaboonIssue
 import io.septimalmind.baboon.translator.csharp.CSBaboonTranslator.*
 import io.septimalmind.baboon.translator.csharp.CSValue.{CSPackageId, CSType}
-import io.septimalmind.baboon.translator.{AbstractBaboonTranslator, Sources}
+import io.septimalmind.baboon.translator.{BaboonAbstractTranslator, Sources}
 import io.septimalmind.baboon.typer.model.*
 import izumi.distage.LocalContext
 import izumi.functional.IzEither.*
@@ -23,7 +23,7 @@ class CSBaboonTranslator(
   options: CompilerOptions,
   codecs: Set[CSCodecTranslator],
   tools: CSDefnTools,
-) extends AbstractBaboonTranslator {
+) extends BaboonAbstractTranslator {
 
   type Out[T] = Either[NEList[BaboonIssue.TranslationIssue], T]
 
@@ -184,12 +184,17 @@ class CSBaboonTranslator(
          |    public $csTpe TypeTo();
          |}
          |
+         |public interface IBaboonGeneratedConversion : IConversion
+         |{
+         |    public IBaboonGenerated Convert<C>(C? context, AbstractBaboonConversions conversions, IBaboonGenerated from);
+         |}
+         |
          |public interface IDynamicConversion<To> : IConversion
          |{
          |     public To Convert<C>(C? context, AbstractBaboonConversions conversions, dynamic from);
          |}
          |
-         |public abstract class AbstractConversion<From, To> : IDynamicConversion<To>
+         |public abstract class AbstractConversion<From, To> : IDynamicConversion<To>, IBaboonGeneratedConversion
          |{
          |    public abstract To Convert<C>(C? context, AbstractBaboonConversions conversions, From from);
          |
@@ -198,6 +203,23 @@ class CSBaboonTranslator(
          |        return Convert<C>(context, conversions, (From)from);
          |    }
          |
+         |    IBaboonGenerated IBaboonGeneratedConversion.Convert<C>(C? context, $abstractBaboonConversions conversions, $iBaboonGenerated from) where C : default
+         |    {
+         |        if (from is not From fr)
+         |        {
+         |            throw new Exception(
+         |                $"Can't use IBaboonGeneratedConversion interface when from is not of type {typeof(To).FullName}");
+         |        }
+         |        var res = Convert(context, conversions, fr);
+         |
+         |        if (res is not $iBaboonGenerated bg)
+         |        {
+         |            throw new $csArgumentException(
+         |                $$"Can't use IBaboonGeneratedConversion interface for non IBaboonGenerated return type To = {typeof(To).FullName}");
+         |        }
+         |        return bg;
+         |    }
+         |
          |    public $csTpe TypeFrom() {
          |         return typeof(From);
          |    }
@@ -332,13 +354,13 @@ class CSBaboonTranslator(
          |
          |    public IBaboonGenerated ConvertWithContext<C>(C? c, IBaboonGenerated from, IConversion conversion)
          |    {
-         |        var tconv = ((IDynamicConversion<IBaboonGenerated>)conversion);
+         |        var tconv = (IBaboonGeneratedConversion)conversion;
          |        return tconv.Convert<C>(c, this, from);
          |    }
          |
          |    public IBaboonGenerated Convert(IBaboonGenerated from, IConversion conversion)
          |    {
-         |        var tconv = ((IDynamicConversion<IBaboonGenerated>)conversion);
+         |        var tconv = (IBaboonGeneratedConversion)conversion;
          |        return tconv.Convert<Object>(null, this, from);
          |    }
          |