Package de.monticore.types.check

Class SynthesizeSymTypeFromMCFullGenericTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

de.monticore.types.check.SynthesizeSymTypeFromMCFullGenericTypes

All Implemented Interfaces:

MCFullGenericTypesHandler, MCFullGenericTypesVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class SynthesizeSymTypeFromMCFullGenericTypes
extends AbstractSynthesizeFromType
implements MCFullGenericTypesVisitor2, MCFullGenericTypesHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected MCFullGenericTypesTraverser	traverser	Deprecated.

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

typeCheckResult

Constructor Summary

Constructors

Constructor	Description
SynthesizeSymTypeFromMCFullGenericTypes()	Deprecated.

Method Summary

Modifier and Type	Method	Description
MCFullGenericTypesTraverser	getTraverser()	Deprecated.
void	setTraverser(MCFullGenericTypesTraverser traverser)	Deprecated.
void	traverse(ASTMCWildcardTypeArgument wildcardType)	Deprecated. We use mainly endVisit, because the result is synthesized along the tree, when walking upwards

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.mcfullgenerictypes._visitor.MCFullGenericTypesHandler

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

Methods inherited from interface de.monticore.types.mcfullgenerictypes._visitor.MCFullGenericTypesVisitor2

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

Field Detail

traverser

protected MCFullGenericTypesTraverser traverser

Deprecated.

Constructor Detail

SynthesizeSymTypeFromMCFullGenericTypes

public SynthesizeSymTypeFromMCFullGenericTypes()

Deprecated.

Method Detail

getTraverser

public MCFullGenericTypesTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCFullGenericTypesHandler

Specified by:

getTraverser in class AbstractSynthesizeFromType

setTraverser

public void setTraverser(MCFullGenericTypesTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface MCFullGenericTypesHandler

traverse

public void traverse(ASTMCWildcardTypeArgument wildcardType)

Deprecated.

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

Specified by:

traverse in interface MCFullGenericTypesHandler