Module aya.cli.impl

Package org.aya.cli.library.incremental

Class DiskCompilerAdvisor

java.lang.Object

org.aya.cli.library.incremental.DiskCompilerAdvisor

All Implemented Interfaces:

AutoCloseable, CompilerAdvisor

public class DiskCompilerAdvisor
extends Object
implements CompilerAdvisor

Constructor Summary

Constructors

Constructor	Description
DiskCompilerAdvisor()

Method Summary

Modifier and Type	Method	Description
void	clearLibraryOutput(@NotNull LibraryOwner owner)
void	clearModuleOutput(@NotNull LibrarySource source)
void	close()
@Nullable org.aya.resolve.ResolveInfo	doLoadCompiledCore(@NotNull org.aya.util.reporter.Reporter reporter, @NotNull LibraryOwner owner, @NotNull org.aya.syntax.ref.ModulePath mod, @Nullable Path sourcePath, @Nullable Path corePath, @NotNull org.aya.resolve.module.ModuleLoader recurseLoader)	Try to load the compiled core.
@NotNull org.aya.resolve.ResolveInfo	doSaveCompiledCore(@NotNull LibrarySource file, @NotNull org.aya.resolve.ResolveInfo resolveInfo, @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.def.TyckDef> defs, @NotNull org.aya.resolve.module.ModuleLoader recurseLoader)	Save the well-typed defs as compiled defs
boolean	isSourceModified(@NotNull LibrarySource source)
void	prepareLibraryOutput(@NotNull LibraryOwner owner)
void	updateLastModified(@NotNull LibrarySource source)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.aya.cli.library.incremental.CompilerAdvisor

createParser, loadCompiledCore, notifyIncrementalJob, saveCompiledCore

Constructor Details

DiskCompilerAdvisor

public DiskCompilerAdvisor()

Method Details

close

public void close()
           throws Exception

Specified by:

close in interface AutoCloseable

Specified by:

close in interface CompilerAdvisor

Throws:

Exception

isSourceModified

public boolean isSourceModified(@NotNull
 @NotNull LibrarySource source)

Specified by:

isSourceModified in interface CompilerAdvisor

updateLastModified

public void updateLastModified(@NotNull
 @NotNull LibrarySource source)

Specified by:

updateLastModified in interface CompilerAdvisor

prepareLibraryOutput

public void prepareLibraryOutput(@NotNull
 @NotNull LibraryOwner owner)
                          throws IOException

Specified by:

prepareLibraryOutput in interface CompilerAdvisor

Throws:

IOException

clearLibraryOutput

public void clearLibraryOutput(@NotNull
 @NotNull LibraryOwner owner)
                        throws IOException

Specified by:

clearLibraryOutput in interface CompilerAdvisor

Throws:

IOException

clearModuleOutput

public void clearModuleOutput(@NotNull
 @NotNull LibrarySource source)
                       throws IOException

Specified by:

clearModuleOutput in interface CompilerAdvisor

Throws:

IOException

doLoadCompiledCore

@Nullable
public @Nullable org.aya.resolve.ResolveInfo doLoadCompiledCore(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @NotNull
 @NotNull LibraryOwner owner,
 @NotNull
 @NotNull org.aya.syntax.ref.ModulePath mod,
 @Nullable
 @Nullable Path sourcePath,
 @Nullable
 @Nullable Path corePath,
 @NotNull
 @NotNull org.aya.resolve.module.ModuleLoader recurseLoader)
                                                         throws IOException,
ClassNotFoundException

Description copied from interface: CompilerAdvisor

Try to load the compiled core. For DiskCompilerAdvisor, returns null if the core path does not exist or either source or core path is null. For InMemoryCompilerAdvisor, returns null if the mod does not store in memory.

Specified by:

doLoadCompiledCore in interface CompilerAdvisor

Throws:

IOException

ClassNotFoundException

doSaveCompiledCore

@NotNull
public @NotNull org.aya.resolve.ResolveInfo doSaveCompiledCore(@NotNull
 @NotNull LibrarySource file,
 @NotNull
 @NotNull org.aya.resolve.ResolveInfo resolveInfo,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.core.def.TyckDef> defs,
 @NotNull
 @NotNull org.aya.resolve.module.ModuleLoader recurseLoader)
                                                        throws IOException,
ClassNotFoundException

Description copied from interface: CompilerAdvisor

Save the well-typed defs as compiled defs

Specified by:

doSaveCompiledCore in interface CompilerAdvisor

Parameters:

file - the source file

resolveInfo - the resolve info of the module

defs - the well-typed definitions

Throws:

IOException

ClassNotFoundException