Path	Lines of Code
cli/build.gradle.kts	40
cli/src/main/java/org/arend/frontend/BaseCliFrontend.java	671
cli/src/main/java/org/arend/frontend/ConcreteReferableProvider.java	60
cli/src/main/java/org/arend/frontend/ConsoleMain.java	8
cli/src/main/java/org/arend/frontend/FileLibraryResolver.java	124
cli/src/main/java/org/arend/frontend/PositionComparator.java	43
cli/src/main/java/org/arend/frontend/PreludeBinaryGenerator.java	34
cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java	115
cli/src/main/java/org/arend/frontend/library/FileLoadableHeaderLibrary.java	67
cli/src/main/java/org/arend/frontend/library/FileSourceLibrary.java	90
cli/src/main/java/org/arend/frontend/library/PreludeFileLibrary.java	41
cli/src/main/java/org/arend/frontend/library/TimedLibraryManager.java	38
cli/src/main/java/org/arend/frontend/library/ZipSourceLibrary.java	154
cli/src/main/java/org/arend/frontend/parser/BuildVisitor.java	1720
cli/src/main/java/org/arend/frontend/parser/ParseException.java	3
cli/src/main/java/org/arend/frontend/parser/ParserError.java	30
cli/src/main/java/org/arend/frontend/parser/Position.java	14
cli/src/main/java/org/arend/frontend/parser/ReporterErrorListener.java	19
cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java	23
cli/src/main/java/org/arend/frontend/repl/CommonCliRepl.java	286
cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java	61
cli/src/main/java/org/arend/frontend/repl/ReplConfig.java	9
cli/src/main/java/org/arend/frontend/repl/action/CdCommand.java	32
cli/src/main/java/org/arend/frontend/repl/action/CliReplCommand.java	15
cli/src/main/java/org/arend/frontend/repl/action/ListLoadedModulesAction.java	88
cli/src/main/java/org/arend/frontend/repl/action/LoadLibraryCommand.java	30
cli/src/main/java/org/arend/frontend/repl/action/LoadModuleCommand.java	67
cli/src/main/java/org/arend/frontend/repl/action/PwdCommand.java	15
cli/src/main/java/org/arend/frontend/repl/action/UnloadModuleCommand.java	29
cli/src/main/java/org/arend/frontend/repl/jline/ArendReplParser.java	108
cli/src/main/java/org/arend/frontend/repl/jline/CommandsCompleter.java	20
cli/src/main/java/org/arend/frontend/repl/jline/Completers.java	163
cli/src/main/java/org/arend/frontend/repl/jline/ImportCompleter.java	25
cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java	145
cli/src/main/java/org/arend/frontend/repl/jline/KeywordCompleter.java	35
cli/src/main/java/org/arend/frontend/repl/jline/ScopeCompleter.java	33
cli/src/main/java/org/arend/frontend/repl/jline/SpecialCommandCompleter.java	31
cli/src/main/java/org/arend/frontend/source/FileRawSource.java	32
cli/src/main/java/org/arend/frontend/source/StreamRawSource.java	74
cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java	28
cli/src/main/java/org/arend/frontend/ui/ArendCliUI.java	41
cli/src/main/java/org/arend/frontend/ui/CliSession.java	181