Expr

org.extendj.ast
node type Expr

General Info

Production

Expr : ASTNode;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      org.extendj.ast.ASTNode<ASTNode>
          org.extendj.ast.Expr

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable

Direct Known Subclasses:: Access, ArrayInit, AssignExpr, Binary, CastExpr, ConditionalExpr, ConstructorReference, InstanceOfExpr, IntersectionCastExpr, LambdaExpr, MethodReference, PrimaryExpr, Unary

Description

Source: Declared in /home/jesper/git/extendj/java4/grammar/Java.ast at line 101

Constructors

public Expr()

Source: Declared in /home/jesper/git/extendj/ASTNode at line 1

Attributes

@ASTNodeAnnotation.Attribute
syn TypeDecl type()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 302
Aspect: TypeAnalysis

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.Constant constant()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 32
Aspect: ConstantExpression

@ASTNodeAnnotation.Attribute
syn boolean representableIn(TypeDecl t)

Source: Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 220
Aspect: ConstantExpression

@ASTNodeAnnotation.Attribute
syn boolean isConstant()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 254
Aspect: ConstantExpression

@ASTNodeAnnotation.Attribute
syn boolean isTrue()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 283
Aspect: ConstantExpression

@ASTNodeAnnotation.Attribute
syn boolean isFalse()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 284
Aspect: ConstantExpression

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.Variable varDecl()

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 81
Aspect: DefiniteAssignment

@ASTNodeAnnotation.Attribute
syn boolean isDAafterFalse(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 375
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDAafterTrue(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 374
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDAafter(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 259
Aspect: DA

@ASTNodeAnnotation.Attribute
syn boolean isDUafterFalse(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 792
Aspect: DU

@ASTNodeAnnotation.Attribute
syn boolean isDUafterTrue(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 791
Aspect: DU

@ASTNodeAnnotation.Attribute
syn boolean isDUafter(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 783
Aspect: DU

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet mostSpecificConstructor(java.util.Collection<ConstructorDecl> constructors)

Compute the most specific constructor in a collection. The constructor is invoked with the arguments specified in argList. The curent context (this) is used to evaluate the hostType for accessibility.

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag at line 55
Aspect: ConstructScope

@ASTNodeAnnotation.Attribute
syn boolean applicableAndAccessible(ConstructorDecl decl)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag at line 75
Aspect: ConstructScope

@ASTNodeAnnotation.Attribute
syn boolean hasQualifiedPackage(java.lang.String packageName)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 112
Aspect: LookupFullyQualifiedTypes

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet qualifiedLookupType(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 553
Aspect: TypeScopePropagation

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet qualifiedLookupVariable(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 237
Aspect: VariableScope

@ASTNodeAnnotation.Attribute
syn boolean isPositive()

Source: Declared in /home/jesper/git/extendj/java4/frontend/PositiveLiterals.jrag at line 36
Aspect: PositiveLiterals

@ASTNodeAnnotation.Attribute
syn java.lang.String packageName()

Source: Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 44
Aspect: Names

@ASTNodeAnnotation.Attribute
syn java.lang.String typeName()

Source: Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 72
Aspect: Names

@ASTNodeAnnotation.Attribute
syn boolean isTypeAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 35
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isMethodAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 39
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isFieldAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 43
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isSuperAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 47
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isThisAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 53
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isPackageAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 59
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isArrayAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 63
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isClassAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 67
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isSuperConstructorAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 71
Aspect: AccessTypes

@ASTNodeAnnotation.Attribute
syn boolean isLeftChildOfDot()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 77
Aspect: QualifiedNames

@ASTNodeAnnotation.Attribute
syn boolean isRightChildOfDot()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 78
Aspect: QualifiedNames

@ASTNodeAnnotation.Attribute
syn AbstractDot parentDot()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 92
Aspect: QualifiedNames

@ASTNodeAnnotation.Attribute
syn boolean hasParentDot()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 94
Aspect: QualifiedNames

@ASTNodeAnnotation.Attribute
syn Access nextAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 96
Aspect: QualifiedNames

@ASTNodeAnnotation.Attribute
syn boolean hasNextAccess()

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 97
Aspect: QualifiedNames

@ASTNodeAnnotation.Attribute
syn Stmt enclosingStmt()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 552
Aspect: NestedTypes

@ASTNodeAnnotation.Attribute
syn boolean isVariable()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag at line 36
Aspect: TypeCheck

@ASTNodeAnnotation.Attribute
syn boolean isUnknown()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 41
Aspect: TypeHierarchyCheck

@ASTNodeAnnotation.Attribute
syn boolean staticContextQualifier()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 199
Aspect: TypeHierarchyCheck

@ASTNodeAnnotation.Attribute
syn boolean needsPop()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 251
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn boolean isVarAccessWithAccessor()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 263
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn boolean canBeTrue()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1022
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn boolean canBeFalse()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1034
Aspect: CreateBCode

@ASTNodeAnnotation.Attribute
syn boolean isEnumConstant()

Source: Declared in /home/jesper/git/extendj/java5/frontend/Enums.jrag at line 576
Aspect: Enums

@ASTNodeAnnotation.Attribute
syn java.util.ArrayList<TypeDecl> inferTypeArguments(TypeDecl resultType,
                                                                             List<ParameterDeclaration> params,
                                                                             List<Expr> args,
                                                                             List<TypeVariable> typeParams)

Infers type arguments for this method invocation.

Source: Declared in /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag at line 479
Aspect: MethodSignature15

@ASTNodeAnnotation.Attribute
syn TypeDecl classAccess()

Finds the host type declaration of a class access. Call this attribute only on expressions that return true for isClassAccess or it may throw an error!

Returns:: The TypeDecl corresponding to the accesssed class
Source: Declared in /home/jesper/git/extendj/java5/backend/AnnotationsCodegen.jrag at line 241
Aspect: AnnotationsCodegen

@ASTNodeAnnotation.Attribute
syn java.util.Collection<TypeDecl> throwTypes()

Source: Declared in /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 33
Aspect: PreciseRethrow

@ASTNodeAnnotation.Attribute
syn boolean modifiedInScope(org.extendj.ast.Variable var)

Source: Declared in /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 149
Aspect: PreciseRethrow

@ASTNodeAnnotation.Attribute
syn boolean isVariable(org.extendj.ast.Variable var)

Source: Declared in /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 200
Aspect: PreciseRethrow

@ASTNodeAnnotation.Attribute
syn boolean stmtCompatible()

Source: Declared in /home/jesper/git/extendj/java8/frontend/LambdaExpr.jrag at line 137
Aspect: StmtCompatible

@ASTNodeAnnotation.Attribute
syn boolean compatibleStrictContext(TypeDecl type)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 32
Aspect: MethodSignature18

@ASTNodeAnnotation.Attribute
syn boolean compatibleLooseContext(TypeDecl type)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 79
Aspect: MethodSignature18

@ASTNodeAnnotation.Attribute
syn boolean pertinentToApplicability(Expr access,
                                                             BodyDecl decl,
                                                             int argIndex)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 107
Aspect: MethodSignature18

@ASTNodeAnnotation.Attribute
syn boolean moreSpecificThan(TypeDecl type1,
                                                     TypeDecl type2)

Computes which type is more specific for a specific argument, as defined in 15.12.2.5

Parameters:: type1 -; type2 -
Returns:: true if type1 is more specific than type2, false otherwise
Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 233
Aspect: MethodSignature18

@ASTNodeAnnotation.Attribute
syn boolean potentiallyCompatible(TypeDecl type,
                                                          BodyDecl candidateDecl)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 466
Aspect: MethodSignature18

@ASTNodeAnnotation.Attribute
syn boolean isBooleanExpression()

Source: Declared in /home/jesper/git/extendj/java8/frontend/PolyExpressions.jrag at line 29
Aspect: PolyExpressions

@ASTNodeAnnotation.Attribute
syn boolean isNumericExpression()

Source: Declared in /home/jesper/git/extendj/java8/frontend/PolyExpressions.jrag at line 59
Aspect: PolyExpressions

@ASTNodeAnnotation.Attribute
syn boolean isPolyExpression()

Source: Declared in /home/jesper/git/extendj/java8/frontend/PolyExpressions.jrag at line 80
Aspect: PolyExpressions

@ASTNodeAnnotation.Attribute
syn boolean assignConversionTo(TypeDecl type)

Source: Declared in /home/jesper/git/extendj/java8/frontend/PolyExpressions.jrag at line 142
Aspect: PolyExpressions

@ASTNodeAnnotation.Attribute
inh boolean isDest()

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 37
Aspect: DefiniteAssignment

@ASTNodeAnnotation.Attribute
inh boolean isSource()

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 47
Aspect: DefiniteAssignment

@ASTNodeAnnotation.Attribute
inh boolean isIncOrDec()

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 71
Aspect: DefiniteAssignment

@ASTNodeAnnotation.Attribute
inh boolean isDAbefore(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 258
Aspect: DA

@ASTNodeAnnotation.Attribute
inh boolean isDUbefore(org.extendj.ast.Variable v)

Source: Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 782
Aspect: DU

@ASTNodeAnnotation.Attribute
inh java.util.Collection lookupMethod(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag at line 45
Aspect: LookupMethod

@ASTNodeAnnotation.Attribute
inh TypeDecl typeBoolean()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 74
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeByte()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 75
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeShort()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 76
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeChar()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 77
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeInt()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 78
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeLong()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 79
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeFloat()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 80
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeDouble()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 81
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeString()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 82
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeVoid()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 83
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl typeNull()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 84
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh TypeDecl unknownType()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 97
Aspect: SpecialClasses

@ASTNodeAnnotation.Attribute
inh boolean hasPackage(java.lang.String packageName)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 115
Aspect: LookupFullyQualifiedTypes

@ASTNodeAnnotation.Attribute
inh TypeDecl lookupType(java.lang.String packageName,
                                                java.lang.String typeName)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 129
Aspect: LookupFullyQualifiedTypes

@ASTNodeAnnotation.Attribute
inh org.extendj.ast.SimpleSet lookupType(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 341
Aspect: TypeScopePropagation

@ASTNodeAnnotation.Attribute
inh org.extendj.ast.SimpleSet lookupVariable(java.lang.String name)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 40
Aspect: VariableScope

@ASTNodeAnnotation.Attribute
inh org.extendj.ast.NameType nameType()

Source: Declared in /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag at line 36
Aspect: SyntacticClassification

@ASTNodeAnnotation.Attribute
inh BodyDecl enclosingBodyDecl()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 560
Aspect: NestedTypes

@ASTNodeAnnotation.Attribute
inh java.lang.String hostPackage()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 622
Aspect: NestedTypes

@ASTNodeAnnotation.Attribute
inh TypeDecl hostType()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 638
Aspect: NestedTypes

@ASTNodeAnnotation.Attribute
inh java.lang.String methodHost()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 32
Aspect: TypeHierarchyCheck

@ASTNodeAnnotation.Attribute
inh boolean inStaticContext()

Source: Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 182
Aspect: TypeHierarchyCheck

@ASTNodeAnnotation.Attribute
inh TypeDecl assignConvertedType()

Source: Declared in /home/jesper/git/extendj/java5/frontend/GenericMethodsInference.jrag at line 58
Aspect: GenericMethodsInference

@ASTNodeAnnotation.Attribute
inh TypeDecl typeObject()

Source: Declared in /home/jesper/git/extendj/java5/frontend/GenericMethodsInference.jrag at line 68
Aspect: GenericMethodsInference

@ASTNodeAnnotation.Attribute
inh boolean inExtendsOrImplements()

Source: Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 338
Aspect: GenericsTypeAnalysis

@ASTNodeAnnotation.Attribute
inh TypeDecl targetType()

Source: Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 30
Aspect: TargetType

@ASTNodeAnnotation.Attribute
inh boolean assignmentContext()

Source: Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 196
Aspect: Contexts

@ASTNodeAnnotation.Attribute
inh boolean invocationContext()

Source: Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 197
Aspect: Contexts

@ASTNodeAnnotation.Attribute
inh boolean castContext()

Source: Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 198
Aspect: Contexts

@ASTNodeAnnotation.Attribute
inh boolean stringContext()

Source: Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 199
Aspect: Contexts

@ASTNodeAnnotation.Attribute
inh boolean numericContext()

Source: Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 200
Aspect: Contexts

Methods

public org.extendj.ast.SimpleSet keepAccessibleTypes(org.extendj.ast.SimpleSet oldSet)

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 580
Aspect: TypeScopePropagation

public org.extendj.ast.SimpleSet keepAccessibleFields(org.extendj.ast.SimpleSet oldSet)

Remove fields that are not accessible when using this Expr as qualifier

Returns:: a set containing the accessible fields
Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 260
Aspect: VariableScope

public boolean mayAccess(FieldDeclaration f)

Returns:: true if the expression may access the given field
See Also:: "JLS $6.6.2.1"
Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 289
Aspect: VariableScope

public Dot qualifiesAccess(Access access)

Creates a qualified expression. This will not be subject to rewriting.

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 136
Aspect: QualifiedNames

public void emitStore(org.extendj.ast.CodeGeneration gen)

Source: Declared in /home/jesper/git/extendj/java4/backend/CodeGeneration.jrag at line 353
Aspect: CodeGeneration

protected boolean needsPush()

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 242
Aspect: CreateBCode

public void createAssignSimpleLoadDest(org.extendj.ast.CodeGeneration gen)

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 428
Aspect: CreateBCode

public void createPushAssignmentResult(org.extendj.ast.CodeGeneration gen)

duplicate top value on stack and store below destination element

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 444
Aspect: CreateBCode

public void createAssignLoadDest(org.extendj.ast.CodeGeneration gen)

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 464
Aspect: CreateBCode

protected void emitBooleanCondition(org.extendj.ast.CodeGeneration gen)

Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1050
Aspect: CreateBCode

public void refined_CreateBCode_Expr_branchTrue(org.extendj.ast.CodeGeneration gen,
                                                int target)

Generate a conditional branch statement. The branch should be taken if the expression evaluates to true. May in some cases not result in an actual branch statement if the branch would never be taken.

Parameters:: gen - code generator; target - target label to jump to if the condition was true
Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1111
Aspect: CreateBCode

public void refined_CreateBCode_Expr_branchFalse(org.extendj.ast.CodeGeneration gen,
                                                 int target)

Generate a conditional branch statement. The branch should be taken if the expression evaluates to false. May in some cases not result in an actual branch statement if the branch would never be taken.

Parameters:: gen - code generator; target - target label to jump to if the condition was false
Source: Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 1226
Aspect: CreateBCode

public java.util.Collection<TypeDecl> computeConstraints(TypeDecl resultType,
                                                         List<ParameterDeclaration> params,
                                                         List<Expr> args,
                                                         List<TypeVariable> typeParams)

Infer type arguments based on the actual arguments and result assignment type.

Source: Declared in /home/jesper/git/extendj/java5/frontend/GenericMethodsInference.jrag at line 73
Aspect: GenericMethodsInference

protected static org.extendj.ast.SimpleSet mostSpecific(org.extendj.ast.SimpleSet maxSpecific,
                                                        ConstructorDecl decl)

Source: Declared in /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag at line 177
Aspect: MethodSignature15

protected static boolean moreSpecificThan(ConstructorDecl m1,
                                          ConstructorDecl m2,
                                          List<Expr> argList)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 992
Aspect: MethodSignature18

protected static org.extendj.ast.SimpleSet mostSpecific(org.extendj.ast.SimpleSet maxSpecific,
                                                        ConstructorDecl decl,
                                                        List<Expr> argList)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 1022
Aspect: MethodSignature18

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 10

protected int numChildren()

Overrides:numChildren in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 15

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 21

public void flushAttrCache()

Overrides:flushAttrCache in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 27

public void flushCollectionCache()

Overrides:flushCollectionCache in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 51

public void flushRewriteCache()

Overrides:flushRewriteCache in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/ASTNode at line 57

public Expr clone()
           throws java.lang.CloneNotSupportedException

Overrides:clone in class ASTNode<ASTNode>

Throws:: java.lang.CloneNotSupportedException
Source: Declared in /home/jesper/git/extendj/ASTNode at line 63

@Deprecated
public abstract Expr fullCopy()

Deprecated. Please use treeCopy or treeCopyNoTransform instead

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:fullCopy in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 74

public abstract Expr treeCopyNoTransform()

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:treeCopyNoTransform in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 82

public abstract Expr treeCopy()

Create a deep copy of the AST subtree at this node. The subtree of this node is traversed to trigger rewrites before copy. The copy is dangling, i.e. has no parent.

Overrides:treeCopy in class ASTNode<ASTNode>

Returns:: dangling copy of the subtree at this node
Source: Declared in /home/jesper/git/extendj/ASTNode at line 90

public void branchTrue(org.extendj.ast.CodeGeneration gen,
                       int target)

Generate unboxing code for conditions 14.9 If, 14.12 While, 14.13 Do, 14.14 For branchTrue is used to emit the condition from these constructs refine behavior to include unboxing of the value when needed

Source: Declared in /home/jesper/git/extendj/java5/backend/AutoBoxingCodegen.jrag at line 149
Aspect: AutoBoxingCodegen

public void branchFalse(org.extendj.ast.CodeGeneration gen,
                        int target)

Source: Declared in /home/jesper/git/extendj/java5/backend/AutoBoxingCodegen.jrag at line 161
Aspect: AutoBoxingCodegen

protected org.extendj.ast.SimpleSet chooseConstructor(java.util.Collection constructors,
                                                      List<Expr> argList)

Source: Declared in /home/jesper/git/extendj/java8/frontend/MethodSignature.jrag at line 842
Aspect: MethodSignature18

public ASTNode rewriteTo()

Overrides:rewriteTo in class ASTNode<ASTNode>

Fields

protected java.util.Map inferTypeArguments_TypeDecl_List_ParameterDeclaration__List_Expr__List_TypeVariable__values

protected boolean stmtCompatible_computed

protected boolean stmtCompatible_value

protected java.util.Map compatibleStrictContext_TypeDecl_values

protected java.util.Map compatibleLooseContext_TypeDecl_values

protected java.util.Map pertinentToApplicability_Expr_BodyDecl_int_values

protected java.util.Map moreSpecificThan_TypeDecl_TypeDecl_values

protected java.util.Map potentiallyCompatible_TypeDecl_BodyDecl_values

protected boolean isBooleanExpression_computed

protected boolean isBooleanExpression_value

protected boolean isNumericExpression_computed

protected boolean isNumericExpression_value

protected boolean isPolyExpression_computed

protected boolean isPolyExpression_value

protected java.util.Map assignConversionTo_TypeDecl_values

protected boolean nameType_computed

protected org.extendj.ast.NameType nameType_value

protected boolean targetType_computed

protected TypeDecl targetType_value

protected boolean assignmentContext_computed

protected boolean assignmentContext_value

protected boolean invocationContext_computed

protected boolean invocationContext_value

protected boolean castContext_computed

protected boolean castContext_value

protected boolean stringContext_computed

protected boolean stringContext_value

protected boolean numericContext_computed

protected boolean numericContext_value

Inherited Members

Attributes inherited from org.extendj.ast.ASTNode

Methods inherited from class org.extendj.ast.ASTNode

accessControl

addChild

canDefine_allImportedTypes

canDefine_assignConvertedType

canDefine_assignmentContext

canDefine_bind

canDefine_blockIndex

canDefine_branchTarget

canDefine_castContext

canDefine_catchClause

canDefine_caughtExceptions

canDefine_compilationUnit

canDefine_componentType

canDefine_constructorDecl

canDefine_declType

canDefine_enclosingAnnotationDecl

canDefine_enclosingBlock

canDefine_enclosingBodyDecl

canDefine_enclosingExplicitConstructorHostType

canDefine_enclosingFinally

canDefine_enclosingInstance

canDefine_enclosingLambda

canDefine_enclosingType

canDefine_expectedType

canDefine_genericDecl

canDefine_genericMethodLevel

canDefine_getClassInstanceExpr

canDefine_handlesException

canDefine_hasPackage

canDefine_hostPackage

canDefine_hostType

canDefine_inExplicitConstructorInvocation

canDefine_inExtendsOrImplements

canDefine_inferredType

canDefine_inhModifiedInScope

canDefine_insideLoop

canDefine_insideSwitch

canDefine_inStaticContext

canDefine_invocationContext

canDefine_isAnonymous

canDefine_isAnonymousDecl

canDefine_isCatchParam

canDefine_isConstructorParameter

canDefine_isDAbefore

canDefine_isDest

canDefine_isDUbefore

canDefine_isExceptionHandlerParameter

canDefine_isExplicitGenericConstructorAccess

canDefine_isIncOrDec

canDefine_isLocalClass

canDefine_isMemberType

canDefine_isMethodParameter

canDefine_isNestedType

canDefine_isSource

canDefine_leavesMonitor

canDefine_localNum

canDefine_lookupAnnotation

canDefine_lookupConstructor

canDefine_lookupElementTypeValue

canDefine_lookupGLBType

canDefine_lookupLabel

canDefine_lookupLUBType

canDefine_lookupMethod

canDefine_lookupSuperConstructor

canDefine_lookupType

canDefine_lookupVariable

canDefine_lookupWildcardExtends

canDefine_lookupWildcardSuper

canDefine_mayBeAbstract

canDefine_mayBeFinal

canDefine_mayBeNative

canDefine_mayBePrivate

canDefine_mayBeProtected

canDefine_mayBePublic

canDefine_mayBeStatic

canDefine_mayBeStrictfp

canDefine_mayBeSynchronized

canDefine_mayBeTransient

canDefine_mayBeVolatile

canDefine_mayUseAnnotationTarget

canDefine_methodHost

canDefine_nameType

canDefine_nestedScope

canDefine_numericContext

canDefine_otherLocalClassDecls

canDefine_outerScope

canDefine_packageName

canDefine_program

canDefine_reachable

canDefine_reachableCatchClause

canDefine_reportUnreachable

canDefine_resourcePreviouslyDeclared

canDefine_resultSaveLocalNum

canDefine_returnType

canDefine_stringContext

canDefine_superType

canDefine_switchType

canDefine_targetType

canDefine_typeBoolean

canDefine_typeByte

canDefine_typeChar

canDefine_typeCloneable

canDefine_typeDouble

canDefine_typeError

canDefine_typeException

canDefine_typeNullPointerException

canDefine_typeObject

canDefine_typeRuntimeException

canDefine_typeSerializable

canDefine_typeShort

canDefine_typeString

canDefine_typeThrowable

canDefine_typeVarInMethod

canDefine_typeVarPosition

canDefine_typeVoid

canDefine_typeWildcard

canDefine_unknownConstructor

canDefine_unknownField

canDefine_unknownMethod

canDefine_unknownType

canDefine_variableArityValid

canDefine_variableScopeEndLabel

canDefine_withinDeprecatedAnnotation

canDefine_withinSuppressWarnings

checkDUeverywhere

checkEnum

checkUncheckedConversion

checkWarnings

clear

clearLocations

collect_contributors_BlockLambdaBody_lambdaReturns

collectBranches

collectEnclosingVariables

collectErrors

collectExceptions

contributeTo_BlockLambdaBody_BlockLambdaBody_lambdaReturns

copy

createBCode

Define_allImportedTypes

Define_assignConvertedType

Define_assignmentContext

Define_caughtExceptions

Define_compilationUnit

Define_componentType

Define_constructorDecl

Define_declType

Define_enclosingAnnotationDecl

Define_enclosingBlock

Define_enclosingBodyDecl

Define_enclosingExplicitConstructorHostType

Define_enclosingFinally

Define_enclosingInstance

Define_enclosingLambda

Define_enclosingType

Define_expectedType

Define_genericDecl

Define_genericMethodLevel

Define_getClassInstanceExpr

Define_handlesException

Define_hasPackage

Define_hostPackage

Define_hostType

Define_inExplicitConstructorInvocation

Define_inExtendsOrImplements

Define_inferredType

Define_inhModifiedInScope

Define_insideLoop

Define_insideSwitch

Define_inStaticContext

Define_invocationContext

Define_isAnonymous

Define_isAnonymousDecl

Define_isCatchParam

Define_isConstructorParameter

Define_isDAbefore

Define_isDest

Define_isDUbefore

Define_isExceptionHandlerParameter

Define_isExplicitGenericConstructorAccess

Define_isIncOrDec

Define_isLocalClass

Define_isMemberType

Define_isMethodParameter

Define_lookupAnnotation

Define_lookupConstructor

Define_lookupElementTypeValue

Define_lookupSuperConstructor

Define_lookupType

Define_lookupVariable

Define_lookupWildcardExtends

Define_lookupWildcardSuper

Define_mayBeProtected

Define_mayBePublic

Define_mayBeStatic

Define_mayBeStrictfp

Define_mayBeSynchronized

Define_mayBeTransient

Define_mayBeVolatile

Define_mayUseAnnotationTarget

Define_methodHost

Define_nameType

Define_nestedScope

Define_numericContext

Define_otherLocalClassDecls

Define_reachableCatchClause

Define_reportUnreachable

Define_resourcePreviouslyDeclared

Define_resultSaveLocalNum

Define_typeNullPointerException

Define_typeObject

Define_typeRuntimeException

Define_typeSerializable

Define_typeShort

Define_typeString

Define_typeThrowable

Define_typeVarInMethod

Define_typeVarPosition

Define_typeVoid

Define_typeWildcard

Define_unknownConstructor

Define_unknownField

Define_unknownMethod

Define_unknownType

Define_variableArityValid

Define_variableScopeEndLabel

Define_withinDeprecatedAnnotation

Define_withinSuppressWarnings

findFirstSourceLineNumber

flushAttrAndCollectionCache

getNumChildNoTransform

removeInstanceMethods

removeInstanceVariables

structuredPrettyPrint

toString

transformation

transformEnumConstructors

Methods inherited from class beaver.Symbol

getColumn

getEnd

getId

getLine

getStart

makePosition

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

wait

Fields inherited from org.extendj.ast.ASTNode

children

generatedWithCacheCycle

generatedWithComponentCheck