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, useTypeCheck3instead.Visitor for Derivation of SymType from MCFullGenericTypes i.e. for types/MCFullGenericTypes.mc4
-
-
Field Summary
Fields Modifier and Type Field Description protected MCFullGenericTypesTraversertraverserDeprecated.-
Fields inherited from class de.monticore.types.check.AbstractSynthesizeFromType
typeCheckResult
-
-
Constructor Summary
Constructors Constructor Description SynthesizeSymTypeFromMCFullGenericTypes()Deprecated.
-
Method Summary
All Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description MCFullGenericTypesTraversergetTraverser()Deprecated.voidsetTraverser(MCFullGenericTypesTraverser traverser)Deprecated.voidtraverse(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
-
-
-
-
Field Detail
-
traverser
protected MCFullGenericTypesTraverser traverser
Deprecated.
-
-
Method Detail
-
getTraverser
public MCFullGenericTypesTraverser getTraverser()
Deprecated.- Specified by:
getTraverserin interfacede.monticore.visitor.IHandler- Specified by:
getTraverserin interfaceMCFullGenericTypesHandler- Specified by:
getTraverserin classAbstractSynthesizeFromType
-
setTraverser
public void setTraverser(MCFullGenericTypesTraverser traverser)
Deprecated.- Specified by:
setTraverserin interfaceMCFullGenericTypesHandler
-
traverse
public void traverse(ASTMCWildcardTypeArgument wildcardType)
Deprecated.We use mainly endVisit, because the result is synthesized along the tree, when walking upwards- Specified by:
traversein interfaceMCFullGenericTypesHandler
-
-