Package de.monticore.expressions.javaclassexpressions.types3

Class JavaClassExpressionsTypeVisitor

java.lang.Object

de.monticore.types3.AbstractTypeVisitor

de.monticore.expressions.javaclassexpressions.types3.JavaClassExpressionsTypeVisitor

All Implemented Interfaces:

JavaClassExpressionsVisitor2, de.monticore.visitor.IVisitor

public class JavaClassExpressionsTypeVisitor
extends AbstractTypeVisitor
implements JavaClassExpressionsVisitor2

WARNING: incomplete (currently not required further)

Field Summary

Fields inherited from class de.monticore.types3.AbstractTypeVisitor

ctx4Ast, LOG_NAME, tmpMap, type4Ast

Constructor Summary

Constructors

Constructor	Description
JavaClassExpressionsTypeVisitor()

Method Summary

Modifier and Type	Method	Description
void	endVisit(ASTClassExpression classExpr)	s.
void	endVisit(ASTGenericInvocationExpression genInvocExpr)
void	endVisit(ASTInstanceofPatternExpression expr)	s.
void	endVisit(ASTPrimaryGenericInvocationExpression primGenInvocExpr)
void	endVisit(ASTPrimarySuperExpression primSuperExpr)	Note: Single "super" is not valid Java.
void	endVisit(ASTPrimaryThisExpression primThisExpr)	S.
void	endVisit(ASTSuperExpression superExpr)	S.
void	endVisit(ASTThisExpression thisExpr)	S.
protected java.util.Optional<TypeSymbol>	getEnclosingTypeSymbol(ASTExpression startNode, java.util.function.Predicate<TypeSymbol> filter)	finds the most-inner enclosing type fulfilling the predicate
protected SymTypeExpression	getTypeOfPattern(ASTPattern pattern)
protected void	logUnsupported(ASTExpression expr)
protected java.util.Optional<TypeSymbol>	resolveTypeOrLogError(java.lang.String name)

Methods inherited from class de.monticore.types3.AbstractTypeVisitor

getAsBasicSymbolsScope, getInferenceContext4Ast, getType4Ast, setContext4Ast, setType4Ast

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.IVisitor

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

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

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

Constructor Detail

JavaClassExpressionsTypeVisitor

public JavaClassExpressionsTypeVisitor()

Method Detail

endVisit

public void endVisit(ASTPrimaryThisExpression primThisExpr)

S. JLS 21 15.8.3

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTThisExpression thisExpr)

S. JLS 21 15.8.4

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTPrimarySuperExpression primSuperExpr)

Note: Single "super" is not valid Java. However, super can be used as a subExpression; class Student extends Person { Person getAsSuper() {return super;} // not valid Java } S. a. JLS 21 15.11, 15.12 (, 15.13)

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTSuperExpression superExpr)

S. JLS 21 15.11, 15.12 (, 15.13)

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTPrimaryGenericInvocationExpression primGenInvocExpr)

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTGenericInvocationExpression genInvocExpr)

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTClassExpression classExpr)

s. JLS 21 15.8.2

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

endVisit

public void endVisit(ASTInstanceofPatternExpression expr)

s. UglyExpressionsTypeVisitor.endVisit(ASTInstanceofExpression)

Specified by:

endVisit in interface JavaClassExpressionsVisitor2

resolveTypeOrLogError

protected java.util.Optional<TypeSymbol> resolveTypeOrLogError(java.lang.String name)

getTypeOfPattern

protected SymTypeExpression getTypeOfPattern(ASTPattern pattern)

getEnclosingTypeSymbol

protected java.util.Optional<TypeSymbol> getEnclosingTypeSymbol(ASTExpression startNode,
                                                                java.util.function.Predicate<TypeSymbol> filter)

finds the most-inner enclosing type fulfilling the predicate

logUnsupported

protected void logUnsupported(ASTExpression expr)