Package de.monticore.types.check

Class DeriveSymTypeOfJavaClassExpressions

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfJavaClassExpressions

All Implemented Interfaces:

JavaClassExpressionsHandler, JavaClassExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class DeriveSymTypeOfJavaClassExpressions
extends AbstractDeriveFromExpression
implements JavaClassExpressionsVisitor2, JavaClassExpressionsHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

This Visitor can calculate a SymTypeExpression (type) for the expressions in JavaClassExpressions It can be combined with other expressions in your language by creating a DelegatorVisitor

Field Summary

Fields

Modifier and Type	Field	Description
protected ISynthesize	synthesize	Deprecated.
protected JavaClassExpressionsTraverser	traverser	Deprecated.

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

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfJavaClassExpressions()	Deprecated.
DeriveSymTypeOfJavaClassExpressions(ISynthesize synthesize)	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected List<SymTypeExpression>	calculateArguments(ASTArguments args)	Deprecated.
protected SymTypeExpression	calculateGenericInvocationExpression(ASTGenericInvocationExpression node, SymTypeExpression expressionResult, boolean isType)	Deprecated.
protected SymTypeExpression	calculateSuperExpression(ASTSuperExpression node, SymTypeExpression beforeSuperType)	Deprecated.
protected SymTypeExpression	calculateThisExpression(ASTThisExpression expr, SymTypeExpression innerResult)	Deprecated.
protected List<SymTypeExpression>	calculateTypeArguments(List<ASTMCTypeArgument> extTypeArgumentList)	Deprecated.
protected SymTypeExpression	checkMethodsAndReplaceTypeVariables(List<FunctionSymbol> methods, ASTArguments args, List<SymTypeExpression> typeArgsList)	Deprecated.
void	deprecated_traverse(ASTMCReturnType returnType)	Deprecated.
void	deprecated_traverse(ASTMCType type)	Deprecated.
void	deprecated_traverse(ASTMCTypeArgument typeArgument)	Deprecated.
protected List<FunctionSymbol>	filterStaticMethodSymbols(List<FunctionSymbol> fittingMethods)	Deprecated.
protected SymTypeExpression	getResultOfPrimaryThisExpression(IBasicSymbolsScope scope, TypeSymbol typeSymbol)	Deprecated.
JavaClassExpressionsTraverser	getTraverser()	Deprecated.
protected SymTypeExpression	handleSuperSuffix(ASTSuperSuffix superSuffix, SymTypeExpression superClass)	Deprecated.
protected Optional<TypeSymbol>	searchForTypeSymbolSpanningEnclosingScope(IBasicSymbolsScope scope)	Deprecated.
void	setTraverser(JavaClassExpressionsTraverser traverser)	Deprecated.
void	traverse(ASTClassExpression node)	Deprecated.
void	traverse(ASTGenericInvocationExpression node)	Deprecated.
void	traverse(ASTInstanceofPatternExpression node)	Deprecated.
void	traverse(ASTPrimaryGenericInvocationExpression node)	Deprecated.
void	traverse(ASTPrimarySuperExpression node)	Deprecated.
void	traverse(ASTPrimaryThisExpression node)	Deprecated.
void	traverse(ASTSuperExpression node)	Deprecated.
void	traverse(ASTThisExpression node)	Deprecated.

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

acceptThisAndReturnSymTypeExpression, acceptThisAndReturnSymTypeExpression, calculateInnerTypes, checkNotObscure, getScope, getTypeCheckResult, isIntegralType, isNumericType, logError, setTypeCheckResult, storeResultOrLogError

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.expressions.javaclassexpressions._visitor.JavaClassExpressionsHandler

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

Methods inherited from interface de.monticore.expressions.javaclassexpressions._visitor.JavaClassExpressionsVisitor2

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

Field Details

traverser

protected JavaClassExpressionsTraverser traverser

Deprecated.

synthesize

protected ISynthesize synthesize

Deprecated.

Constructor Details

DeriveSymTypeOfJavaClassExpressions

@Deprecated
public DeriveSymTypeOfJavaClassExpressions()

Deprecated.

DeriveSymTypeOfJavaClassExpressions

public DeriveSymTypeOfJavaClassExpressions(ISynthesize synthesize)

Deprecated.

Method Details

getTraverser

public JavaClassExpressionsTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface JavaClassExpressionsHandler

Specified by:

getTraverser in class AbstractDeriveFromExpression

setTraverser

public void setTraverser(JavaClassExpressionsTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface JavaClassExpressionsHandler

traverse

public void traverse(ASTThisExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

calculateThisExpression

protected SymTypeExpression calculateThisExpression(ASTThisExpression expr,
 SymTypeExpression innerResult)

Deprecated.

traverse

public void traverse(ASTClassExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

traverse

public void traverse(ASTSuperExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

calculateSuperExpression

protected SymTypeExpression calculateSuperExpression(ASTSuperExpression node,
 SymTypeExpression beforeSuperType)

Deprecated.

handleSuperSuffix

protected SymTypeExpression handleSuperSuffix(ASTSuperSuffix superSuffix,
 SymTypeExpression superClass)

Deprecated.

traverse

public void traverse(ASTInstanceofPatternExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

traverse

public void traverse(ASTPrimaryThisExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

getResultOfPrimaryThisExpression

protected SymTypeExpression getResultOfPrimaryThisExpression(IBasicSymbolsScope scope,
 TypeSymbol typeSymbol)

Deprecated.

traverse

public void traverse(ASTPrimarySuperExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

traverse

public void traverse(ASTGenericInvocationExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

calculateGenericInvocationExpression

protected SymTypeExpression calculateGenericInvocationExpression(ASTGenericInvocationExpression node,
 SymTypeExpression expressionResult,
 boolean isType)

Deprecated.

filterStaticMethodSymbols

protected List<FunctionSymbol> filterStaticMethodSymbols(List<FunctionSymbol> fittingMethods)

Deprecated.

calculateTypeArguments

protected List<SymTypeExpression> calculateTypeArguments(List<ASTMCTypeArgument> extTypeArgumentList)

Deprecated.

checkMethodsAndReplaceTypeVariables

protected SymTypeExpression checkMethodsAndReplaceTypeVariables(List<FunctionSymbol> methods,
 ASTArguments args,
 List<SymTypeExpression> typeArgsList)

Deprecated.

calculateArguments

protected List<SymTypeExpression> calculateArguments(ASTArguments args)

Deprecated.

traverse

public void traverse(ASTPrimaryGenericInvocationExpression node)

Deprecated.

Specified by:

traverse in interface JavaClassExpressionsHandler

searchForTypeSymbolSpanningEnclosingScope

protected Optional<TypeSymbol> searchForTypeSymbolSpanningEnclosingScope(IBasicSymbolsScope scope)

Deprecated.

deprecated_traverse

@Deprecated
public void deprecated_traverse(ASTMCType type)

Deprecated.

deprecated_traverse

@Deprecated
public void deprecated_traverse(ASTMCReturnType returnType)

Deprecated.

deprecated_traverse

@Deprecated
public void deprecated_traverse(ASTMCTypeArgument typeArgument)

Deprecated.