Package com.oracle.truffle.dsl.processor.bytecode.model

Class BytecodeDSLModel

java.lang.Object

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

com.oracle.truffle.dsl.processor.model.Template

com.oracle.truffle.dsl.processor.bytecode.model.BytecodeDSLModel

All Implemented Interfaces:

PrettyPrintable, Iterable<MessageContainer>

public class BytecodeDSLModel
extends Template
implements PrettyPrintable

Nested Class Summary

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

MessageContainer.Message

Nested classes/interfaces inherited from interface com.oracle.truffle.dsl.processor.bytecode.model.PrettyPrintable

PrettyPrintable.PrettyPrinter

Field Summary

Fields

Modifier and Type	Field	Description
final TypeMirror	abstractBuilderType
boolean	allowUnsafe
OperationModel	blockOperation
Set<TypeMirror>	boxingEliminatedTypes
InstructionModel	branchBackwardInstruction
InstructionModel	branchFalseInstruction
InstructionModel	branchInstruction
InstructionModel	clearLocalInstruction
OperationModel	conditionalOperation
String	defaultLocalValue
DSLExpression	defaultLocalValueExpression
InstructionModel	dupInstruction
boolean	enableBlockScoping
boolean	enableQuickening
boolean	enableRootBodyTagging
boolean	enableRootTagging
boolean	enableSerialization
boolean	enableSpecializationIntrospection
boolean	enableTagInstrumentation
boolean	enableUncachedInterpreter
boolean	enableYield
CustomOperationModel	epilogExceptional
CustomOperationModel	epilogReturn
ExecutableElement	fdBuilderConstructor
ExecutableElement	fdConstructor
OperationModel	finallyHandlerOperation
OperationModel	ifThenElseOperation
OperationModel	ifThenOperation
final List<CustomOperationModel>	instrumentations
ExecutableElement	interceptControlFlowException
ExecutableElement	interceptInternalException
ExecutableElement	interceptTruffleException
DeclaredType	languageClass
InstructionModel	loadConstantInstruction
OperationModel	loadConstantOperation
OperationModel	loadLocalMaterializedOperation
OperationModel	loadLocalOperation
InstructionModel	loadNullInstruction
OperationModel	loadNullOperation
InstructionModel[]	loadVariadicInstruction
InstructionModel	mergeVariadicInstruction
final String	modelName
InstructionModel	nullInstruction
InstructionModel	popInstruction
CustomOperationModel	prolog
InstructionModel	returnInstruction
OperationModel	returnOperation
OperationModel	rootOperation
List<VariableElement>	serializedFields
OperationModel	sourceOperation
OperationModel	sourceSectionOperation
boolean	specializationDebugListener
boolean	storeBciInFrame
InstructionModel	storeLocalInstruction
OperationModel	storeLocalMaterializedOperation
OperationModel	storeLocalOperation
InstructionModel	storeNullInstruction
InstructionModel	tagEnterInstruction
InstructionModel	tagLeaveValueInstruction
InstructionModel	tagLeaveVoidInstruction
OperationModel	tagOperation
InstructionModel	tagResumeInstruction
ExportsData	tagTreeNodeLibrary
InstructionModel	tagYieldInstruction
final TypeElement	templateType
InstructionModel	throwInstruction
OperationModel	tryCatchOperation
OperationModel	tryCatchOtherwiseOperation
OperationModel	tryFinallyOperation
TypeSystemData	typeSystem
OperationModel	whileOperation
InstructionModel	yieldInstruction

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

types

Constructor Summary

Constructors

Constructor	Description
BytecodeDSLModel(ProcessorContext context, TypeElement templateType, AnnotationMirror mirror, String name, TypeMirror abstractBuilderType)

Method Summary

Modifier and Type	Method	Description
CustomOperationModel	customRegularOperation(OperationModel.OperationKind kind, String name, String javadoc, TypeElement typeElement, AnnotationMirror mirror)
CustomOperationModel	customShortCircuitOperation(OperationModel.OperationKind kind, String name, String javadoc, AnnotationMirror mirror)
void	finalizeInstructions()
protected List<MessageContainer>	findChildContainers()
OperationModel	findOperation(OperationModel.OperationKind kind)
TypeMirror	findProvidedTag(TypeMirror searchTag)
CustomOperationModel	getCustomOperationForOperation(OperationModel op)
CustomOperationModel	getCustomOperationForType(TypeElement typeElement)
InstructionModel	getInstructionByName(String name)
Collection<InstructionModel>	getInstructions()
List<CustomOperationModel>	getInstrumentations()
InstructionModel	getInvalidateInstruction(int length)
InstructionModel[]	getInvalidateInstructions()
Element	getMessageElement()
String	getName()
OperationModel	getOperationByName(String name)
Collection<OperationModel>	getOperations()
TypeMirror	getProvidedRootBodyTag()
TypeMirror	getProvidedRootTag()
List<TypeMirror>	getProvidedTags()
Collection<OperationModel>	getUserOperations()
InstructionModel	instruction(InstructionModel.InstructionKind kind, String name, Signature signature)
boolean	isBoxingEliminated(TypeMirror mirror)
boolean	isBytecodeUpdatable()
boolean	isTagProvided(TypeMirror tagClass)
boolean	materializedAccessesNeedLocalIndex()
boolean	needsBciSlot()
OperationModel	operation(OperationModel.OperationKind kind, String name, String javadoc)
void	pp(PrettyPrintable.PrettyPrinter printer)
InstructionModel	quickenInstruction(InstructionModel base, Signature signature, String specializationName)
InstructionModel	shortCircuitInstruction(String name, ShortCircuitInstructionModel shortCircuitModel)
Signature	signature(Class<?> returnType, Class<?>... argumentTypes)
String	toString()
boolean	usesBoxingElimination()

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

dump, getContext, getTemplateType, getTemplateTypeAnnotation

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

addError, addError, addError, addError, addSuppressableWarning, addSuppressableWarning, addWarning, addWarning, addWarning, addWarning, collectMessages, emitMessages, getMessageAnnotation, getMessageAnnotationValue, getMessages, getMessagesForModification, hasErrors, hasErrorsOrWarnings, iterator, redirectMessages, 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

Methods inherited from interface com.oracle.truffle.dsl.processor.bytecode.model.PrettyPrintable

pp

Field Details

templateType

public final TypeElement templateType

modelName

public final String modelName

abstractBuilderType

public final TypeMirror abstractBuilderType

languageClass

public DeclaredType languageClass

enableUncachedInterpreter

public boolean enableUncachedInterpreter

enableSerialization

public boolean enableSerialization

enableQuickening

public boolean enableQuickening

allowUnsafe

public boolean allowUnsafe

enableYield

public boolean enableYield

storeBciInFrame

public boolean storeBciInFrame

specializationDebugListener

public boolean specializationDebugListener

enableSpecializationIntrospection

public boolean enableSpecializationIntrospection

enableTagInstrumentation

public boolean enableTagInstrumentation

enableRootTagging

public boolean enableRootTagging

enableRootBodyTagging

public boolean enableRootBodyTagging

enableBlockScoping

public boolean enableBlockScoping

defaultLocalValue

public String defaultLocalValue

defaultLocalValueExpression

public DSLExpression defaultLocalValueExpression

fdConstructor

public ExecutableElement fdConstructor

fdBuilderConstructor

public ExecutableElement fdBuilderConstructor

interceptControlFlowException

public ExecutableElement interceptControlFlowException

interceptInternalException

public ExecutableElement interceptInternalException

interceptTruffleException

public ExecutableElement interceptTruffleException

typeSystem

public TypeSystemData typeSystem

boxingEliminatedTypes

public Set<TypeMirror> boxingEliminatedTypes

serializedFields

public List<VariableElement> serializedFields

blockOperation

public OperationModel blockOperation

rootOperation

public OperationModel rootOperation

conditionalOperation

public OperationModel conditionalOperation

whileOperation

public OperationModel whileOperation

tryCatchOperation

public OperationModel tryCatchOperation

tryFinallyOperation

public OperationModel tryFinallyOperation

tryCatchOtherwiseOperation

public OperationModel tryCatchOtherwiseOperation

finallyHandlerOperation

public OperationModel finallyHandlerOperation

loadConstantOperation

public OperationModel loadConstantOperation

loadNullOperation

public OperationModel loadNullOperation

loadLocalOperation

public OperationModel loadLocalOperation

loadLocalMaterializedOperation

public OperationModel loadLocalMaterializedOperation

tagOperation

public OperationModel tagOperation

storeLocalOperation

public OperationModel storeLocalOperation

storeLocalMaterializedOperation

public OperationModel storeLocalMaterializedOperation

ifThenOperation

public OperationModel ifThenOperation

ifThenElseOperation

public OperationModel ifThenElseOperation

returnOperation

public OperationModel returnOperation

sourceSectionOperation

public OperationModel sourceSectionOperation

sourceOperation

public OperationModel sourceOperation

prolog

public CustomOperationModel prolog

epilogReturn

public CustomOperationModel epilogReturn

epilogExceptional

public CustomOperationModel epilogExceptional

nullInstruction

public InstructionModel nullInstruction

popInstruction

public InstructionModel popInstruction

dupInstruction

public InstructionModel dupInstruction

returnInstruction

public InstructionModel returnInstruction

branchInstruction

public InstructionModel branchInstruction

branchBackwardInstruction

public InstructionModel branchBackwardInstruction

branchFalseInstruction

public InstructionModel branchFalseInstruction

storeLocalInstruction

public InstructionModel storeLocalInstruction

throwInstruction

public InstructionModel throwInstruction

loadConstantInstruction

public InstructionModel loadConstantInstruction

loadNullInstruction

public InstructionModel loadNullInstruction

yieldInstruction

public InstructionModel yieldInstruction

loadVariadicInstruction

public InstructionModel[] loadVariadicInstruction

mergeVariadicInstruction

public InstructionModel mergeVariadicInstruction

storeNullInstruction

public InstructionModel storeNullInstruction

tagEnterInstruction

public InstructionModel tagEnterInstruction

tagLeaveValueInstruction

public InstructionModel tagLeaveValueInstruction

tagLeaveVoidInstruction

public InstructionModel tagLeaveVoidInstruction

tagYieldInstruction

public InstructionModel tagYieldInstruction

tagResumeInstruction

public InstructionModel tagResumeInstruction

clearLocalInstruction

public InstructionModel clearLocalInstruction

instrumentations

public final List<CustomOperationModel> instrumentations

tagTreeNodeLibrary

public ExportsData tagTreeNodeLibrary

Constructor Details

BytecodeDSLModel

public BytecodeDSLModel(ProcessorContext context,
 TypeElement templateType,
 AnnotationMirror mirror,
 String name,
 TypeMirror abstractBuilderType)

Method Details

getName

public String getName()

getProvidedTags

public List<TypeMirror> getProvidedTags()

isTagProvided

public boolean isTagProvided(TypeMirror tagClass)

signature

public Signature signature(Class<?> returnType,
 Class<?>... argumentTypes)

findProvidedTag

public TypeMirror findProvidedTag(TypeMirror searchTag)

getProvidedRootTag

public TypeMirror getProvidedRootTag()

getProvidedRootBodyTag

public TypeMirror getProvidedRootBodyTag()

isBytecodeUpdatable

public boolean isBytecodeUpdatable()

getInvalidateInstruction

public InstructionModel getInvalidateInstruction(int length)

getInvalidateInstructions

public InstructionModel[] getInvalidateInstructions()

operation

public OperationModel operation(OperationModel.OperationKind kind,
 String name,
 String javadoc)

getInstrumentations

public List<CustomOperationModel> getInstrumentations()

customRegularOperation

public CustomOperationModel customRegularOperation(OperationModel.OperationKind kind,
 String name,
 String javadoc,
 TypeElement typeElement,
 AnnotationMirror mirror)

customShortCircuitOperation

public CustomOperationModel customShortCircuitOperation(OperationModel.OperationKind kind,
 String name,
 String javadoc,
 AnnotationMirror mirror)

getCustomOperationForType

public CustomOperationModel getCustomOperationForType(TypeElement typeElement)

quickenInstruction

public InstructionModel quickenInstruction(InstructionModel base,
 Signature signature,
 String specializationName)

instruction

public InstructionModel instruction(InstructionModel.InstructionKind kind,
 String name,
 Signature signature)

shortCircuitInstruction

public InstructionModel shortCircuitInstruction(String name,
 ShortCircuitInstructionModel shortCircuitModel)

getMessageElement

public Element getMessageElement()

Overrides:

getMessageElement in class Template

finalizeInstructions

public void finalizeInstructions()

findChildContainers

protected List<MessageContainer> findChildContainers()

Overrides:

findChildContainers in class Template

usesBoxingElimination

public boolean usesBoxingElimination()

isBoxingEliminated

public boolean isBoxingEliminated(TypeMirror mirror)

getOperationByName

public OperationModel getOperationByName(String name)

getOperations

public Collection<OperationModel> getOperations()

getUserOperations

public Collection<OperationModel> getUserOperations()

getInstructions

public Collection<InstructionModel> getInstructions()

getInstructionByName

public InstructionModel getInstructionByName(String name)

getCustomOperationForOperation

public CustomOperationModel getCustomOperationForOperation(OperationModel op)

needsBciSlot

public boolean needsBciSlot()

materializedAccessesNeedLocalIndex

public boolean materializedAccessesNeedLocalIndex()

pp

public void pp(PrettyPrintable.PrettyPrinter printer)

Specified by:

pp in interface PrettyPrintable

toString

public String toString()

Overrides:

toString in class Template

findOperation

public OperationModel findOperation(OperationModel.OperationKind kind)