Package de.monticore.types.check

Class AbstractSynthesizeFromType

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

Direct Known Subclasses:

SynthesizeSymTypeFromMCArrayTypes, SynthesizeSymTypeFromMCBasicTypes, SynthesizeSymTypeFromMCCollectionTypes, SynthesizeSymTypeFromMCFullGenericTypes, SynthesizeSymTypeFromMCFunctionTypes, SynthesizeSymTypeFromMCSimpleGenericTypes

@Deprecated
public abstract class AbstractSynthesizeFromType
extends Object

Deprecated.

part of typecheck1, use TypeCheck3 instead.

Field Summary

Fields

Modifier and Type	Field	Description
TypeCheckResult	typeCheckResult	Deprecated. Storage in the Visitor: result of the last endVisit.

Constructor Summary

Constructors

Constructor	Description
AbstractSynthesizeFromType()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected boolean	checkNotObscure(List<SymTypeExpression> typesOfInnerExpressions)	Deprecated.
Optional<SymTypeExpression>	getResult()	Deprecated.
IBasicSymbolsScope	getScope(IMCBasicTypesScope mcBasicTypesScope)	Deprecated.
abstract MCBasicTypesTraverser	getTraverser()	Deprecated.
TypeCheckResult	getTypeCheckResult()	Deprecated.
void	init()	Deprecated.
void	setTypeCheckResult(TypeCheckResult typeCheckResult)	Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

typeCheckResult

public TypeCheckResult typeCheckResult

Deprecated.

Storage in the Visitor: result of the last endVisit. This attribute is synthesized upward.

Constructor Details

AbstractSynthesizeFromType

public AbstractSynthesizeFromType()

Deprecated.

Method Details

getTraverser

public abstract MCBasicTypesTraverser getTraverser()

Deprecated.

getScope

public IBasicSymbolsScope getScope(IMCBasicTypesScope mcBasicTypesScope)

Deprecated.

getResult

public Optional<SymTypeExpression> getResult()

Deprecated.

init

public void init()

Deprecated.

setTypeCheckResult

public void setTypeCheckResult(TypeCheckResult typeCheckResult)

Deprecated.

getTypeCheckResult

public TypeCheckResult getTypeCheckResult()

Deprecated.

checkNotObscure

protected boolean checkNotObscure(List<SymTypeExpression> typesOfInnerExpressions)

Deprecated.