Package org.teavm.cache
Class DiskCachedClassReaderSource
- java.lang.Object
-
- org.teavm.cache.DiskCachedClassReaderSource
-
- All Implemented Interfaces:
CacheStatus,ClassReaderSource
public class DiskCachedClassReaderSource extends java.lang.Object implements ClassReaderSource, CacheStatus
-
-
Constructor Summary
Constructors Constructor Description DiskCachedClassReaderSource(java.io.File directory, ReferenceCache referenceCache, SymbolTable symbolTable, SymbolTable fileTable, SymbolTable variableTable, ClassHolderSource innerSource, ClassDateProvider classDateProvider)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidflush()ClassReaderget(java.lang.String name)booleanisStaleClass(java.lang.String className)booleanisStaleMethod(MethodReference method)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.teavm.model.ClassReaderSource
getAncestorClasses, getAncestors, isSuperType, overriddenMethods, resolve, resolve, resolveImplementation, resolveImplementation
-
-
-
-
Constructor Detail
-
DiskCachedClassReaderSource
public DiskCachedClassReaderSource(java.io.File directory, ReferenceCache referenceCache, SymbolTable symbolTable, SymbolTable fileTable, SymbolTable variableTable, ClassHolderSource innerSource, ClassDateProvider classDateProvider)
-
-
Method Detail
-
get
public ClassReader get(java.lang.String name)
- Specified by:
getin interfaceClassReaderSource
-
isStaleClass
public boolean isStaleClass(java.lang.String className)
- Specified by:
isStaleClassin interfaceCacheStatus
-
isStaleMethod
public boolean isStaleMethod(MethodReference method)
- Specified by:
isStaleMethodin interfaceCacheStatus
-
flush
public void flush() throws java.io.IOException- Throws:
java.io.IOException
-
-