Package de.monticore.types.check

Interface ISynthesizeComponent

All Known Implementing Classes:

FullSynthesizeCompKindFromMCBasicTypes, FullSynthesizeCompKindFromMCSimpleGenericTypes

public interface ISynthesizeComponent

Interface for synthesizing a CompKindExpression from an ASTMCType.

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.
default Optional<CompKindExpression>	synthesize(@NonNull ASTMCType mcType)	Synthesizes a CompKindExpression from a ASTMCType

Method Details

init

void init()

Initializes the traverser with the correct visitors and handlers.

getTraverser

MCBasicTypesTraverser getTraverser()

getResult

Optional<CompKindExpression> getResult()

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

synthesize

default Optional<CompKindExpression> synthesize(@NonNull ASTMCType mcType)

Synthesizes a CompKindExpression from a ASTMCType