Package de.monticore.types.check

Class SynthesizeSymTypeFromMCArrayTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

de.monticore.types.check.SynthesizeSymTypeFromMCArrayTypes

All Implemented Interfaces:

MCArrayTypesHandler, MCArrayTypesVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class SynthesizeSymTypeFromMCArrayTypes
extends AbstractSynthesizeFromType
implements MCArrayTypesVisitor2, MCArrayTypesHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected MCArrayTypesTraverser	traverser	Deprecated.

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

typeCheckResult

Constructor Summary

Constructors

Constructor	Description
SynthesizeSymTypeFromMCArrayTypes()	Deprecated.

Method Summary

Modifier and Type	Method	Description
MCArrayTypesTraverser	getTraverser()	Deprecated.
void	setTraverser(MCArrayTypesTraverser traverser)	Deprecated.
void	traverse(ASTMCArrayType arrayType)	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.mcarraytypes._visitor.MCArrayTypesHandler

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

Methods inherited from interface de.monticore.types.mcarraytypes._visitor.MCArrayTypesVisitor2

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

Field Details

traverser

protected MCArrayTypesTraverser traverser

Deprecated.

Constructor Details

SynthesizeSymTypeFromMCArrayTypes

public SynthesizeSymTypeFromMCArrayTypes()

Deprecated.

Method Details

setTraverser

public void setTraverser(MCArrayTypesTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface MCArrayTypesHandler

getTraverser

public MCArrayTypesTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCArrayTypesHandler

Specified by:

getTraverser in class AbstractSynthesizeFromType

traverse

public void traverse(ASTMCArrayType arrayType)

Deprecated.

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

Specified by:

traverse in interface MCArrayTypesHandler