com.oracle.truffle.dsl.processor.model

Class SpecializationData

java.lang.Object

com.oracle.truffle.dsl.processor.model.MessageContainer

com.oracle.truffle.dsl.processor.model.TemplateMethod

com.oracle.truffle.dsl.processor.model.SpecializationData

All Implemented Interfaces:

Comparable<TemplateMethod>, Iterable<MessageContainer>

public final class SpecializationData
extends TemplateMethod

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SpecializationData.SpecializationKind

Nested classes/interfaces inherited from class com.oracle.truffle.dsl.processor.model.TemplateMethod

TemplateMethod.TypeSignature

Nested classes/interfaces inherited from class com.oracle.truffle.dsl.processor.model.MessageContainer

MessageContainer.Message

Field Summary

Fields inherited from class com.oracle.truffle.dsl.processor.model.TemplateMethod

FRAME_NAME, NO_NATURAL_ORDER

Fields inherited from class com.oracle.truffle.dsl.processor.model.MessageContainer

types

Constructor Summary

Constructors

Constructor and Description
SpecializationData(NodeData node, TemplateMethod template, SpecializationData.SpecializationKind kind)
SpecializationData(NodeData node, TemplateMethod template, SpecializationData.SpecializationKind kind, List<SpecializationThrowsData> exceptions, boolean hasUnexpectedResultRewrite)

Method Summary

Modifier and Type	Method and Description
int	compareTo(TemplateMethod other)
SpecializationData	copy()
Parameter	findByVariable(VariableElement variable)
CacheExpression	findCache(Parameter resolvedParameter)
protected List<MessageContainer>	findChildContainers()
SpecializationData	findNextSpecialization()
List<AssumptionExpression>	getAssumptionExpressions()
Set<CacheExpression>	getBoundCaches(DSLExpression guardExpression)
List<CacheExpression>	getCaches()
List<SpecializationThrowsData>	getExceptions()
SpecializationData	getExcludeCompanion()
Set<SpecializationData>	getExcludedBy()
List<GuardExpression>	getGuards()
int	getIndex()
SpecializationData	getInsertBefore()
String	getInsertBeforeName()
DSLExpression	getLimitExpression()
int	getMaximumNumberOfInstances()
NodeData	getNode()
Set<SpecializationData>	getReplaces()
Set<String>	getReplacesNames()
boolean	hasMultipleInstances()
boolean	hasUnexpectedResultRewrite()
boolean	isCacheBoundByGuard(CacheExpression cacheExpression)
boolean	isConstantLimit()
boolean	isDynamicParameterBound(DSLExpression expression, boolean transitive)
boolean	isFallback()
boolean	isFrameUsedByGuard()
boolean	isGuardBindsCache()
boolean	isGuardBoundWithCache(GuardExpression guardExpression)
boolean	isPolymorphic()
boolean	isReachable()
boolean	isReachableAfter(SpecializationData prev)
boolean	isReachesFallback()
boolean	isSpecialized()
boolean	isTrivialExpression(DSLExpression expression)
boolean	isUninitialized()
boolean	needsRewrite(ProcessorContext context)
void	setAssumptionExpressions(List<AssumptionExpression> assumptionExpressions)
void	setCaches(List<CacheExpression> caches)
void	setExcludeCompanion(SpecializationData removeCompanion)
void	setIndex(int order)
void	setInsertBefore(SpecializationData insertBefore)
void	setInsertBeforeName(String insertBeforeName)
void	setKind(SpecializationData.SpecializationKind kind)
void	setLimitExpression(DSLExpression limitExpression)
void	setReachable(boolean reachable)
void	setReachesFallback(boolean reachesFallback)
String	toString()

Methods inherited from class com.oracle.truffle.dsl.processor.model.TemplateMethod

addParameter, compareBySignature, createReferenceName, findByExecutionData, findParameter, findParameterOrDie, getDynamicParameters, getDynamicTypes, getFrame, getId, getMarkerAnnotation, getMessageAnnotation, getMessageElement, getMethod, getMethodName, getNaturalOrder, getParameters, getPreviousParam, getReturnType, getReturnTypeAndParameters, getSignatureParameters, getSignatureSize, getSpecification, getTemplate, getTypeSignature, removeParameter, replaceParameter, setId, updateSignature

Methods inherited from class com.oracle.truffle.dsl.processor.model.MessageContainer

addError, addError, addError, addError, addWarning, addWarning, collectMessages, emitMessages, getBaseContainer, getMessageAnnotationValue, getMessages, hasErrors, hasErrorsOrWarnings, iterator, redirectMessages, redirectMessagesNotEnclosedIn, redirectMessagesOnGeneratedElements

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

SpecializationData

public SpecializationData(NodeData node,
                          TemplateMethod template,
                          SpecializationData.SpecializationKind kind,
                          List<SpecializationThrowsData> exceptions,
                          boolean hasUnexpectedResultRewrite)

SpecializationData

public SpecializationData(NodeData node,
                          TemplateMethod template,
                          SpecializationData.SpecializationKind kind)

Method Detail

copy

public SpecializationData copy()

setExcludeCompanion

public void setExcludeCompanion(SpecializationData removeCompanion)

getExcludeCompanion

public SpecializationData getExcludeCompanion()

isTrivialExpression

public boolean isTrivialExpression(DSLExpression expression)

setReachesFallback

public void setReachesFallback(boolean reachesFallback)

isReachesFallback

public boolean isReachesFallback()

isCacheBoundByGuard

public boolean isCacheBoundByGuard(CacheExpression cacheExpression)

isGuardBoundWithCache

public boolean isGuardBoundWithCache(GuardExpression guardExpression)

getBoundCaches

public Set<CacheExpression> getBoundCaches(DSLExpression guardExpression)

setKind

public void setKind(SpecializationData.SpecializationKind kind)

isDynamicParameterBound

public boolean isDynamicParameterBound(DSLExpression expression,
                                       boolean transitive)

findByVariable

public Parameter findByVariable(VariableElement variable)

getLimitExpression

public DSLExpression getLimitExpression()

setLimitExpression

public void setLimitExpression(DSLExpression limitExpression)

setInsertBefore

public void setInsertBefore(SpecializationData insertBefore)

setInsertBeforeName

public void setInsertBeforeName(String insertBeforeName)

getInsertBefore

public SpecializationData getInsertBefore()

getInsertBeforeName

public String getInsertBeforeName()

getReplacesNames

public Set<String> getReplacesNames()

getReplaces

public Set<SpecializationData> getReplaces()

getExcludedBy

public Set<SpecializationData> getExcludedBy()

setReachable

public void setReachable(boolean reachable)

isReachable

public boolean isReachable()

isPolymorphic

public boolean isPolymorphic()

findChildContainers

protected List<MessageContainer> findChildContainers()

Overrides:

findChildContainers in class TemplateMethod

needsRewrite

public boolean needsRewrite(ProcessorContext context)

compareTo

public int compareTo(TemplateMethod other)

Specified by:

compareTo in interface Comparable<TemplateMethod>

Overrides:

compareTo in class TemplateMethod

setIndex

public void setIndex(int order)

getIndex

public int getIndex()

getNode

public NodeData getNode()

isSpecialized

public boolean isSpecialized()

isFallback

public boolean isFallback()

isUninitialized

public boolean isUninitialized()

getExceptions

public List<SpecializationThrowsData> getExceptions()

hasUnexpectedResultRewrite

public boolean hasUnexpectedResultRewrite()

getGuards

public List<GuardExpression> getGuards()

findNextSpecialization

public SpecializationData findNextSpecialization()

toString

public String toString()

Overrides:

toString in class TemplateMethod

isFrameUsedByGuard

public boolean isFrameUsedByGuard()

getCaches

public List<CacheExpression> getCaches()

setCaches

public void setCaches(List<CacheExpression> caches)

setAssumptionExpressions

public void setAssumptionExpressions(List<AssumptionExpression> assumptionExpressions)

getAssumptionExpressions

public List<AssumptionExpression> getAssumptionExpressions()

hasMultipleInstances

public boolean hasMultipleInstances()

isGuardBindsCache

public boolean isGuardBindsCache()

isConstantLimit

public boolean isConstantLimit()

getMaximumNumberOfInstances

public int getMaximumNumberOfInstances()

isReachableAfter

public boolean isReachableAfter(SpecializationData prev)

findCache

public CacheExpression findCache(Parameter resolvedParameter)