Module aya.cli.impl

Class ColorTheme

java.lang.Object
org.aya.cli.render.vscode.ColorTheme

public class ColorTheme extends Object
  • Field Details

    • include

      @Nullable public final @Nullable Path include
    • colorTheme

      @NotNull public final @NotNull kala.collection.immutable.ImmutableMap<String,VscColorTheme.TokenColor.Settings> colorTheme
    • parent

      public final kala.control.Option<kala.value.LazyValue<kala.control.Try<ColorTheme>>> parent
  • Constructor Details

    • ColorTheme

      public ColorTheme(@Nullable @Nullable Path include, @NotNull @NotNull kala.collection.immutable.ImmutableMap<String,VscColorTheme.TokenColor.Settings> colorTheme)
      Parameters:
      include - an absolute path
  • Method Details

    • loadFrom

      public static kala.control.Try<ColorTheme> loadFrom(@NotNull @NotNull Path path) throws com.google.gson.JsonParseException
      Throws:
      com.google.gson.JsonParseException
    • newGsonBuilder

      @NotNull public static @NotNull com.google.gson.GsonBuilder newGsonBuilder()
    • find

      public kala.control.Option<VscColorTheme.TokenColor.Settings> find(@NotNull @NotNull String scope)
    • buildColorScheme

      @NotNull public @NotNull org.aya.pretty.printer.ColorScheme buildColorScheme(@Nullable @Nullable org.aya.pretty.printer.ColorScheme fallback)
    • findAndPut

      public void findAndPut(@NotNull @NotNull kala.collection.mutable.MutableMap<String,Integer> putTo, @NotNull @NotNull String key, @NotNull @NotNull kala.collection.Seq<String> scope, @NotNull @NotNull kala.collection.Map<String,Integer> fallback)