Package edu.kit.ipd.sdq.dataflow.systemmodel

Class TranslationCache

java.lang.Object

edu.kit.ipd.sdq.dataflow.systemmodel.TranslationCache

public class TranslationCache
extends Object

Caches translation information which is potentially expensive to compute.

Constructor Summary

Constructors

Constructor	Description
TranslationCache()

Method Summary

Modifier and Type	Method	Description
void	clear()
Set<Attribute>	getDataTypeAttributes(DataType dt)
TypeRestrictions	getTermTypeRestrictions(LogicTerm term)

Methods inherited from class java.lang.Object

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

Constructor Detail

TranslationCache

public TranslationCache()

Method Detail

clear

public void clear()

getDataTypeAttributes

public Set<Attribute> getDataTypeAttributes(DataType dt)

getTermTypeRestrictions

public TypeRestrictions getTermTypeRestrictions(LogicTerm term)