org.teavm.cache

Class DiskCachedClassHolderSource

java.lang.Object

org.teavm.cache.DiskCachedClassHolderSource

All Implemented Interfaces:

ClassHolderSource, ClassReaderSource

public class DiskCachedClassHolderSource
extends Object
implements ClassHolderSource

Author:

Alexey Andreev

Constructor Summary

Constructors

Constructor and Description
DiskCachedClassHolderSource(File directory, SymbolTable symbolTable, SymbolTable fileTable, ClassHolderSource innerSource, ClassDateProvider classDateProvider)

Method Summary

Modifier and Type	Method and Description
void	flush()
ClassHolder	get(String name)

Methods inherited from class java.lang.Object

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

Constructor Detail

DiskCachedClassHolderSource

public DiskCachedClassHolderSource(File directory,
                                   SymbolTable symbolTable,
                                   SymbolTable fileTable,
                                   ClassHolderSource innerSource,
                                   ClassDateProvider classDateProvider)

Method Detail

get

public ClassHolder get(String name)

Specified by:

get in interface ClassHolderSource

Specified by:

get in interface ClassReaderSource

flush

public void flush()
           throws IOException

Throws:

IOException