Package org.teavm.parsing

Class RenamingClassHolderSource

java.lang.Object

org.teavm.parsing.RenamingClassHolderSource

All Implemented Interfaces:

ClassHolderSource, ClassReaderSource, ClassDateProvider

public class RenamingClassHolderSource
extends Object
implements ClassHolderSource, ClassDateProvider

Constructor Summary

Constructors

Constructor	Description
RenamingClassHolderSource(ResourceProvider resourceProvider, ReferenceCache referenceCache, ClassHolderSource innerSource, SubstituteClassNameMapping classNameMapping)

Method Summary

Modifier and Type	Method	Description
ClassHolder	get(String name)
Date	getModificationDate(String className)

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.ClassHolderSource

getMutableAncestorClasses, getMutableAncestors, mutableOverriddenMethods, resolveMutable, resolveMutable, resolveMutableImplementation, resolveMutableImplementation

Methods inherited from interface org.teavm.model.ClassReaderSource

getAncestorClasses, getAncestors, getMethod, isSuperType, overriddenMethods, resolve, resolve, resolveImplementation, resolveImplementation

Constructor Details

RenamingClassHolderSource

public RenamingClassHolderSource(ResourceProvider resourceProvider,
 ReferenceCache referenceCache,
 ClassHolderSource innerSource,
 SubstituteClassNameMapping classNameMapping)

Method Details

get

public ClassHolder get(String name)

Specified by:

get in interface ClassHolderSource

Specified by:

get in interface ClassReaderSource

getModificationDate

public Date getModificationDate(String className)

Specified by:

getModificationDate in interface ClassDateProvider