Package de.monticore.types.check

Class FullSynthesizeCompKindFromMCSimpleGenericTypes

java.lang.Object

de.monticore.types.check.FullSynthesizeCompKindFromMCSimpleGenericTypes

All Implemented Interfaces:

ISynthesizeComponent

public class FullSynthesizeCompKindFromMCSimpleGenericTypes
extends Object
implements ISynthesizeComponent

Field Summary

Fields

Modifier and Type	Field	Description
protected CompKindCheckResult	resultWrapper
protected MCSimpleGenericTypesTraverser	traverser

Constructor Summary

Constructors

Constructor	Description
FullSynthesizeCompKindFromMCSimpleGenericTypes()

Method Summary

Modifier and Type	Method	Description
Optional<CompKindExpression>	getResult()	Collects the synthesized CompKindExpression after using the traverser to traverse the ASTMCType
MCBasicTypesTraverser	getTraverser()
void	init()	Initializes the traverser with the correct visitors and handlers.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.types.check.ISynthesizeComponent

synthesize

Field Details

traverser

protected MCSimpleGenericTypesTraverser traverser

resultWrapper

protected CompKindCheckResult resultWrapper

Constructor Details

FullSynthesizeCompKindFromMCSimpleGenericTypes

public FullSynthesizeCompKindFromMCSimpleGenericTypes()

Method Details

init

public void init()

Description copied from interface: ISynthesizeComponent

Initializes the traverser with the correct visitors and handlers.

Specified by:

init in interface ISynthesizeComponent

getTraverser

public MCBasicTypesTraverser getTraverser()

Specified by:

getTraverser in interface ISynthesizeComponent

getResult

public Optional<CompKindExpression> getResult()

Description copied from interface: ISynthesizeComponent

Collects the synthesized CompKindExpression after using the traverser to traverse the ASTMCType

Specified by:

getResult in interface ISynthesizeComponent