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

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)

Method Summary

Modifier and Type	Method and Description
int	compareTo(TemplateMethod other)
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()
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	hasRewrite(ProcessorContext context)
boolean	isCacheBoundByGuard(CacheExpression cacheExpression)
boolean	isConstantLimit()
boolean	isDynamicParameterBound(DSLExpression expression)
boolean	isFallback()
boolean	isFrameUsedByGuard()
boolean	isGuardBindsCache()
boolean	isGuardBoundWithCache(GuardExpression guardExpression)
boolean	isPolymorphic()
boolean	isReachable()
boolean	isReachableAfter(SpecializationData prev)
boolean	isReachesFallback()
boolean	isSpecialized()
boolean	isUninitialized()
void	setAssumptionExpressions(List<AssumptionExpression> assumptionExpressions)
void	setCaches(List<CacheExpression> caches)
void	setGuards(List<GuardExpression> guards)
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, addWarning, addWarning, collectMessages, emitMessages, getBaseContainer, getMessageAnnotationValue, getMessages, hasErrors, iterator

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)

SpecializationData

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

Method Detail

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)

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

hasRewrite

public boolean hasRewrite(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()

setGuards

public void setGuards(List<GuardExpression> guards)

isSpecialized

public boolean isSpecialized()

isFallback

public boolean isFallback()

isUninitialized

public boolean isUninitialized()

getExceptions

public List<SpecializationThrowsData> getExceptions()

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)