public static class RecoderModelTransformer.TransformerCache
extends java.lang.Object
Constructor and Description |
---|
TransformerCache(java.util.List<CompilationUnit> cUnits) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ClassType> |
getAllSupertypes(TypeDeclaration td) |
java.util.Set<ClassDeclaration> |
getClassDeclarations() |
java.util.HashMap<ClassType,java.util.List<Variable>> |
getLocalClass2FinalVarMapping() |
java.util.List<CompilationUnit> |
getUnits() |
protected void |
init() |
void |
invalidateClasses()
if the class declaration set changes, the cache must be invalidated
|
public TransformerCache(java.util.List<CompilationUnit> cUnits)
public java.util.List<ClassType> getAllSupertypes(TypeDeclaration td)
public java.util.List<CompilationUnit> getUnits()
public java.util.Set<ClassDeclaration> getClassDeclarations()
protected void init()
public java.util.HashMap<ClassType,java.util.List<Variable>> getLocalClass2FinalVarMapping()
public void invalidateClasses()
Copyright © 2003-2019 The KeY-Project.