org.jetbrains.jet.lang.types.expressions
Class BasicExpressionTypingVisitor

java.lang.Object
  com.intellij.psi.PsiElementVisitor
      org.jetbrains.jet.lang.psi.JetVisitor<JetTypeInfo,ExpressionTypingContext>
          org.jetbrains.jet.lang.types.expressions.BasicExpressionTypingVisitor

public class BasicExpressionTypingVisitor
extends JetVisitor<JetTypeInfo,ExpressionTypingContext>

Field Summary

protected ExpressionTypingComponents	components
protected org.jetbrains.jet.lang.types.expressions.ExpressionTypingInternals	facade

Constructor Summary

protected

BasicExpressionTypingVisitor(org.jetbrains.jet.lang.types.expressions.ExpressionTypingInternals facade)

Method Summary

JetTypeInfo	checkInExpression(JetElement callElement, JetSimpleNameExpression operationSign, JetExpression left, JetExpression right, ExpressionTypingContext context)
static void	checkLValue(BindingTrace trace, JetExpression expression)
static JetTypeInfo	createCompileTimeConstantTypeInfo(CompileTimeConstant<?> value, JetExpression expression, ExpressionTypingContext context)
JetTypeInfo	getTypeInfoForBinaryCall(Name name, ExpressionTypingContext context, JetBinaryExpression binaryExpression)
JetTypeInfo	visitAnnotatedExpression(JetAnnotatedExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitAnnotatedExpression(JetAnnotatedExpression expression, ExpressionTypingContext context, boolean isStatement)
JetTypeInfo	visitArrayAccessExpression(JetArrayAccessExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitBinaryExpression(JetBinaryExpression expression, ExpressionTypingContext contextWithExpectedType)
JetTypeInfo	visitBinaryWithTypeRHSExpression(JetBinaryExpressionWithTypeRHS expression, ExpressionTypingContext context)
JetTypeInfo	visitBlockExpression(JetBlockExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitCallableReferenceExpression(JetCallableReferenceExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitCallExpression(JetCallExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitConstantExpression(JetConstantExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitDeclaration(JetDeclaration dcl, ExpressionTypingContext context)
JetTypeInfo	visitJetElement(JetElement element, ExpressionTypingContext context)
JetTypeInfo	visitParenthesizedExpression(JetParenthesizedExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitParenthesizedExpression(JetParenthesizedExpression expression, ExpressionTypingContext context, boolean isStatement)
JetTypeInfo	visitQualifiedExpression(JetQualifiedExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitRootPackageExpression(JetRootPackageExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitSimpleNameExpression(JetSimpleNameExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitStringTemplateExpression(JetStringTemplateExpression expression, ExpressionTypingContext contextWithExpectedType)
JetTypeInfo	visitSuperExpression(JetSuperExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitThisExpression(JetThisExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitUnaryExpression(JetUnaryExpression expression, ExpressionTypingContext context)
JetTypeInfo	visitUnaryExpression(JetUnaryExpression expression, ExpressionTypingContext contextWithExpectedType, boolean isStatement)

Methods inherited from class org.jetbrains.jet.lang.psi.JetVisitor

visitAnnotation, visitAnnotationEntry, visitAnonymousInitializer, visitArgument, visitBlockStringTemplateEntry, visitBreakExpression, visitCatchSection, visitClass, visitClassBody, visitClassObject, visitContinueExpression, visitDelegationByExpressionSpecifier, visitDelegationSpecifier, visitDelegationSpecifierList, visitDelegationToSuperCallSpecifier, visitDelegationToSuperClassSpecifier, visitDelegationToThisCall, visitDotQualifiedExpression, visitDoWhileExpression, visitEnumEntry, visitEscapeStringTemplateEntry, visitExpression, visitFinallySection, visitForExpression, visitFunctionLiteralExpression, visitFunctionType, visitIfExpression, visitImportDirective, visitImportList, visitInitializerList, visitIsExpression, visitJetFile, visitLabelQualifiedExpression, visitLiteralStringTemplateEntry, visitLoopExpression, visitModifierList, visitMultiDeclaration, visitMultiDeclarationEntry, visitNamedDeclaration, visitNamedFunction, visitNullableType, visitObjectDeclaration, visitObjectDeclarationName, visitObjectLiteralExpression, visitPackageDirective, visitParameter, visitParameterList, visitPostfixExpression, visitPrefixExpression, visitProperty, visitPropertyAccessor, visitPropertyDelegate, visitReferenceExpression, visitReturnExpression, visitSafeQualifiedExpression, visitScript, visitSelfType, visitSimpleNameStringTemplateEntry, visitStringTemplateEntry, visitStringTemplateEntryWithExpression, visitThrowExpression, visitTryExpression, visitTypeArgumentList, visitTypeConstraint, visitTypeConstraintList, visitTypedef, visitTypeParameter, visitTypeParameterList, visitTypeProjection, visitTypeReference, visitUserType, visitValueArgumentList, visitWhenConditionInRange, visitWhenConditionIsPattern, visitWhenConditionWithExpression, visitWhenEntry, visitWhenExpression, visitWhileExpression

Methods inherited from class com.intellij.psi.PsiElementVisitor

visitBinaryFile, visitComment, visitDirectory, visitElement, visitErrorElement, visitFile, visitOuterLanguageElement, visitPlainText, visitPlainTextFile, visitWhiteSpace

Methods inherited from class java.lang.Object

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

Field Detail

facade

protected final org.jetbrains.jet.lang.types.expressions.ExpressionTypingInternals facade

components

protected final ExpressionTypingComponents components

Constructor Detail

BasicExpressionTypingVisitor

protected BasicExpressionTypingVisitor(@NotNull
                                       org.jetbrains.jet.lang.types.expressions.ExpressionTypingInternals facade)

Method Detail

visitSimpleNameExpression

public JetTypeInfo visitSimpleNameExpression(@NotNull
                                             JetSimpleNameExpression expression,
                                             ExpressionTypingContext context)

Overrides:

visitSimpleNameExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitParenthesizedExpression

public JetTypeInfo visitParenthesizedExpression(@NotNull
                                                JetParenthesizedExpression expression,
                                                ExpressionTypingContext context)

Overrides:

visitParenthesizedExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitParenthesizedExpression

public JetTypeInfo visitParenthesizedExpression(JetParenthesizedExpression expression,
                                                ExpressionTypingContext context,
                                                boolean isStatement)

visitConstantExpression

public JetTypeInfo visitConstantExpression(@NotNull
                                           JetConstantExpression expression,
                                           ExpressionTypingContext context)

Overrides:

visitConstantExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitBinaryWithTypeRHSExpression

public JetTypeInfo visitBinaryWithTypeRHSExpression(@NotNull
                                                    JetBinaryExpressionWithTypeRHS expression,
                                                    ExpressionTypingContext context)

Overrides:

visitBinaryWithTypeRHSExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitThisExpression

public JetTypeInfo visitThisExpression(@NotNull
                                       JetThisExpression expression,
                                       ExpressionTypingContext context)

Overrides:

visitThisExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitSuperExpression

public JetTypeInfo visitSuperExpression(@NotNull
                                        JetSuperExpression expression,
                                        ExpressionTypingContext context)

Overrides:

visitSuperExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitBlockExpression

public JetTypeInfo visitBlockExpression(@NotNull
                                        JetBlockExpression expression,
                                        ExpressionTypingContext context)

Overrides:

visitBlockExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitCallableReferenceExpression

public JetTypeInfo visitCallableReferenceExpression(@NotNull
                                                    JetCallableReferenceExpression expression,
                                                    ExpressionTypingContext context)

Overrides:

visitCallableReferenceExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitQualifiedExpression

public JetTypeInfo visitQualifiedExpression(@NotNull
                                            JetQualifiedExpression expression,
                                            ExpressionTypingContext context)

Overrides:

visitQualifiedExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitCallExpression

public JetTypeInfo visitCallExpression(@NotNull
                                       JetCallExpression expression,
                                       ExpressionTypingContext context)

Overrides:

visitCallExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitUnaryExpression

public JetTypeInfo visitUnaryExpression(@NotNull
                                        JetUnaryExpression expression,
                                        ExpressionTypingContext context)

Overrides:

visitUnaryExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitUnaryExpression

public JetTypeInfo visitUnaryExpression(JetUnaryExpression expression,
                                        ExpressionTypingContext contextWithExpectedType,
                                        boolean isStatement)

createCompileTimeConstantTypeInfo

@NotNull
public static JetTypeInfo createCompileTimeConstantTypeInfo(@NotNull
                                                                    CompileTimeConstant<?> value,
                                                                    @NotNull
                                                                    JetExpression expression,
                                                                    @NotNull
                                                                    ExpressionTypingContext context)

checkLValue

public static void checkLValue(@NotNull
                               BindingTrace trace,
                               @NotNull
                               JetExpression expression)

visitBinaryExpression

public JetTypeInfo visitBinaryExpression(@NotNull
                                         JetBinaryExpression expression,
                                         ExpressionTypingContext contextWithExpectedType)

Overrides:

visitBinaryExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

checkInExpression

@NotNull
public JetTypeInfo checkInExpression(@NotNull
                                             JetElement callElement,
                                             @NotNull
                                             JetSimpleNameExpression operationSign,
                                             @Nullable
                                             JetExpression left,
                                             @Nullable
                                             JetExpression right,
                                             @NotNull
                                             ExpressionTypingContext context)

visitArrayAccessExpression

public JetTypeInfo visitArrayAccessExpression(@NotNull
                                              JetArrayAccessExpression expression,
                                              ExpressionTypingContext context)

Overrides:

visitArrayAccessExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

getTypeInfoForBinaryCall

@NotNull
public JetTypeInfo getTypeInfoForBinaryCall(@NotNull
                                                    Name name,
                                                    @NotNull
                                                    ExpressionTypingContext context,
                                                    @NotNull
                                                    JetBinaryExpression binaryExpression)

visitDeclaration

public JetTypeInfo visitDeclaration(@NotNull
                                    JetDeclaration dcl,
                                    ExpressionTypingContext context)

Overrides:

visitDeclaration in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitRootPackageExpression

public JetTypeInfo visitRootPackageExpression(@NotNull
                                              JetRootPackageExpression expression,
                                              ExpressionTypingContext context)

Overrides:

visitRootPackageExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitStringTemplateExpression

public JetTypeInfo visitStringTemplateExpression(@NotNull
                                                 JetStringTemplateExpression expression,
                                                 ExpressionTypingContext contextWithExpectedType)

Overrides:

visitStringTemplateExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitAnnotatedExpression

public JetTypeInfo visitAnnotatedExpression(@NotNull
                                            JetAnnotatedExpression expression,
                                            ExpressionTypingContext context)

Overrides:

visitAnnotatedExpression in class JetVisitor<JetTypeInfo,ExpressionTypingContext>

visitAnnotatedExpression

public JetTypeInfo visitAnnotatedExpression(JetAnnotatedExpression expression,
                                            ExpressionTypingContext context,
                                            boolean isStatement)

visitJetElement

public JetTypeInfo visitJetElement(@NotNull
                                   JetElement element,
                                   ExpressionTypingContext context)

Overrides:

visitJetElement in class JetVisitor<JetTypeInfo,ExpressionTypingContext>