Package de.monticore.types.check

Class SynthesizeCompKindFromMCSimpleGenericTypes

java.lang.Object

de.monticore.types.check.SynthesizeCompKindFromMCSimpleGenericTypes

All Implemented Interfaces:

MCSimpleGenericTypesHandler, de.monticore.visitor.IHandler

public class SynthesizeCompKindFromMCSimpleGenericTypes
extends Object
implements MCSimpleGenericTypesHandler

A visitor (a handler indeed) that creates a CompKindOfComponentType from an ASTMCBasicGenericType, given that there is a matching resolvable component type symbol.

Field Summary

Fields

Modifier and Type	Field	Description
protected CompKindCheckResult	resultWrapper	Common state with other visitors, if this visitor is part of a visitor composition.
protected MCSimpleGenericTypesTraverser	traverser

Constructor Summary

Constructors

Constructor	Description
SynthesizeCompKindFromMCSimpleGenericTypes(@NonNull CompKindCheckResult result)

Method Summary

Modifier and Type	Method	Description
MCSimpleGenericTypesTraverser	getTraverser()
void	handle(@NonNull ASTMCBasicGenericType mcType)
void	setTraverser(@NonNull MCSimpleGenericTypesTraverser traverser)
protected List<ASTMCType>	typeArgumentsToTypes(@NonNull List<ASTMCTypeArgument> typeArgs)	Given that all ASTMCTypeArguments in typeArgs are ASTMCTypes, this method returns a list with these ASTMCTypes in the same order.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.visitor.IHandler

handle, handle, handle, handle, handle, traverse, traverse

Methods inherited from interface de.monticore.types.mcsimplegenerictypes._visitor.MCSimpleGenericTypesHandler

handle, handle, handle, handle, handle, handle, traverse, traverse, traverse, traverse, traverse, traverse

Field Details

traverser

protected MCSimpleGenericTypesTraverser traverser

resultWrapper

protected CompKindCheckResult resultWrapper

Common state with other visitors, if this visitor is part of a visitor composition.

Constructor Details

SynthesizeCompKindFromMCSimpleGenericTypes

public SynthesizeCompKindFromMCSimpleGenericTypes(@NonNull CompKindCheckResult result)

Method Details

getTraverser

public MCSimpleGenericTypesTraverser getTraverser()

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCSimpleGenericTypesHandler

setTraverser

public void setTraverser(@NonNull MCSimpleGenericTypesTraverser traverser)

Specified by:

setTraverser in interface MCSimpleGenericTypesHandler

handle

public void handle(@NonNull ASTMCBasicGenericType mcType)

Specified by:

handle in interface MCSimpleGenericTypesHandler

typeArgumentsToTypes

protected List<ASTMCType> typeArgumentsToTypes(@NonNull List<ASTMCTypeArgument> typeArgs)

Given that all ASTMCTypeArguments in typeArgs are ASTMCTypes, this method returns a list with these ASTMCTypes in the same order. Else, an exception is thrown.