Package de.monticore.types.check

Class FullSynthesizeCompKindFromMCBasicTypes

java.lang.Object

de.monticore.types.check.FullSynthesizeCompKindFromMCBasicTypes

All Implemented Interfaces:

ISynthesizeComponent

public class FullSynthesizeCompKindFromMCBasicTypes
extends Object
implements ISynthesizeComponent

Field Summary

Fields

Modifier and Type	Field	Description
protected CompKindCheckResult	resultWrapper
protected MCBasicTypesTraverser	traverser

Constructor Summary

Constructors

Constructor	Description
FullSynthesizeCompKindFromMCBasicTypes()

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 MCBasicTypesTraverser traverser

resultWrapper

protected CompKindCheckResult resultWrapper

Constructor Details

FullSynthesizeCompKindFromMCBasicTypes

public FullSynthesizeCompKindFromMCBasicTypes()

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