Package de.monticore.types.check

Class SynthesizeSymTypeFromMCBasicTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

de.monticore.types.check.SynthesizeSymTypeFromMCBasicTypes

All Implemented Interfaces:

MCBasicTypesHandler, MCBasicTypesVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

Direct Known Subclasses:

SynthesizeFromMCBT4Grammar

@Deprecated
public class SynthesizeSymTypeFromMCBasicTypes
extends AbstractSynthesizeFromType
implements MCBasicTypesVisitor2, MCBasicTypesHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

Visitor for Derivation of SymType from MCBasicTypes i.e. for types/MCBasicTypes.mc4

Field Summary

Fields

Modifier and Type	Field	Description
protected MCBasicTypesTraverser	traverser	Deprecated.

Fields inherited from class de.monticore.types.check.AbstractSynthesizeFromType

typeCheckResult

Constructor Summary

Constructors

Constructor	Description
SynthesizeSymTypeFromMCBasicTypes()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected SymTypeObscure	createObscure(ASTMCQualifiedName qName)	Deprecated. This method creates a sym-type obscure and logs an error that no symbol matching the provided qualified name can be found.
protected Optional<SymTypeOfObject>	createTypeObject(ASTMCQualifiedName qName)	Deprecated. This method creates a sym-type expression for the first resolved type symbol matching the provided qualified name.
protected Optional<SymTypeVariable>	createTypeVariable(ASTMCQualifiedName qName)	Deprecated. This method creates a sym-type expression for the first resolved type variable symbol matching the provided qualified name.
void	endVisit(ASTMCPrimitiveType primitiveType)	Deprecated. We use mainly endVisit, because the result is synthesized along the tree, when walking upwards
void	endVisit(ASTMCQualifiedName qName)	Deprecated.
void	endVisit(ASTMCQualifiedType node)	Deprecated.
void	endVisit(ASTMCReturnType rType)	Deprecated.
void	endVisit(ASTMCVoidType voidType)	Deprecated.
MCBasicTypesTraverser	getTraverser()	Deprecated.
void	setTraverser(MCBasicTypesTraverser traverser)	Deprecated.

Methods inherited from class de.monticore.types.check.AbstractSynthesizeFromType

checkNotObscure, getResult, getScope, getTypeCheckResult, init, setTypeCheckResult

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.visitor.IVisitor

endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Methods inherited from interface de.monticore.types.mcbasictypes._visitor.MCBasicTypesHandler

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

Methods inherited from interface de.monticore.types.mcbasictypes._visitor.MCBasicTypesVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Field Details

traverser

protected MCBasicTypesTraverser traverser

Deprecated.

Constructor Details

SynthesizeSymTypeFromMCBasicTypes

public SynthesizeSymTypeFromMCBasicTypes()

Deprecated.

Method Details

endVisit

public void endVisit(ASTMCPrimitiveType primitiveType)

Deprecated.

We use mainly endVisit, because the result is synthesized along the tree, when walking upwards

Specified by:

endVisit in interface MCBasicTypesVisitor2

endVisit

public void endVisit(ASTMCVoidType voidType)

Deprecated.

Specified by:

endVisit in interface MCBasicTypesVisitor2

endVisit

public void endVisit(ASTMCReturnType rType)

Deprecated.

Specified by:

endVisit in interface MCBasicTypesVisitor2

getTraverser

public MCBasicTypesTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCBasicTypesHandler

Specified by:

getTraverser in class AbstractSynthesizeFromType

setTraverser

public void setTraverser(MCBasicTypesTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface MCBasicTypesHandler

endVisit

public void endVisit(ASTMCQualifiedName qName)

Deprecated.

Specified by:

endVisit in interface MCBasicTypesVisitor2

endVisit

public void endVisit(ASTMCQualifiedType node)

Deprecated.

Specified by:

endVisit in interface MCBasicTypesVisitor2

createTypeVariable

protected Optional<SymTypeVariable> createTypeVariable(ASTMCQualifiedName qName)

Deprecated.

This method creates a sym-type expression for the first resolved type variable symbol matching the provided qualified name. It logs an error if multiple matching symbols are found. The resulting sym-type expression is encapsulated in an optional.

Parameters:

qName - the qualified name

Returns:

an optional of the created sym-type expression, empty if no match type variable symbol is found

createTypeObject

protected Optional<SymTypeOfObject> createTypeObject(ASTMCQualifiedName qName)

Deprecated.

This method creates a sym-type expression for the first resolved type symbol matching the provided qualified name. It logs an error if multiple matching symbols are found. The resulting sym-type expression is encapsulated in an optional.

Parameters:

qName - the qualified name

Returns:

an optional of the created sym-type expression, empty if no match type symbol is found

createObscure

protected SymTypeObscure createObscure(ASTMCQualifiedName qName)

Deprecated.

This method creates a sym-type obscure and logs an error that no symbol matching the provided qualified name can be found.

Parameters:

qName - the qualified name

Returns:

a sym-type obscure