Module aya.cli.impl

Package org.aya.cli.interactive

Class ReplConfig

java.lang.Object

org.aya.cli.interactive.ReplConfig

All Implemented Interfaces:

AutoCloseable

public class ReplConfig
extends Object
implements AutoCloseable

Field Summary

Fields

Modifier and Type	Field	Description
final kala.control.Option<Path>	configFile
boolean	enableUnicode
@NotNull LiteratePrettierOptions	literatePrettier
boolean	loadPrelude
@NotNull org.aya.syntax.literate.CodeOptions.NormalizeMode	normalizeMode
@NotNull String	prompt
boolean	quiet	Disables welcome message, echoing info, etc.

Constructor Summary

Constructors

Constructor	Description
ReplConfig(@NotNull kala.control.Option<Path> file)

Method Summary

Modifier and Type	Method	Description
void	close()
static @NotNull ReplConfig	loadFrom(@NotNull Path file)
static @NotNull ReplConfig	loadFrom(@NotNull kala.control.Option<Path> file, @NotNull String jsonText)
static @NotNull ReplConfig	loadFromDefault()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

configFile

public final transient kala.control.Option<Path> configFile

prompt

@NotNull
public @NotNull String prompt

normalizeMode

@NotNull
public @NotNull org.aya.syntax.literate.CodeOptions.NormalizeMode normalizeMode

literatePrettier

@NotNull
public @NotNull LiteratePrettierOptions literatePrettier

enableUnicode

public boolean enableUnicode

quiet

public boolean quiet

Disables welcome message, echoing info, etc.

loadPrelude

public boolean loadPrelude

Constructor Details

ReplConfig

public ReplConfig(@NotNull
 @NotNull kala.control.Option<Path> file)

Method Details

loadFromDefault

@NotNull
public static @NotNull ReplConfig loadFromDefault()
                                           throws IOException,
com.google.gson.JsonParseException

Throws:

IOException

com.google.gson.JsonParseException

loadFrom

@NotNull
public static @NotNull ReplConfig loadFrom(@NotNull
 @NotNull Path file)
                                    throws IOException,
com.google.gson.JsonParseException

Throws:

IOException

com.google.gson.JsonParseException

loadFrom

@VisibleForTesting
@NotNull
public static @NotNull ReplConfig loadFrom(@NotNull
 @NotNull kala.control.Option<Path> file,
 @NotNull
 @NotNull String jsonText)
                                    throws com.google.gson.JsonParseException

Throws:

com.google.gson.JsonParseException

close

public void close()
           throws IOException

Specified by:

close in interface AutoCloseable

Throws:

IOException