ParExpr

org.extendj.ast
node type ParExpr

General Info

Production

ParExpr : PrimaryExpr ::= Expr;

Type Hierarchy:

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

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

Description

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

Constructors

public ParExpr()

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

public ParExpr(Expr p0)

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

Attributes

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

Overrides:constant in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isConstant()

Overrides:isConstant in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isTrue()

Overrides:isTrue in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isFalse()

Overrides:isFalse in class Expr

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

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

Overrides:varDecl in class Expr

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

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

Overrides:isDAafterTrue in class Expr

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

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

Overrides:isDAafterFalse in class Expr

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

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

Overrides:isDAafter in class Expr

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

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

Overrides:isDUafterTrue in class Expr

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

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

Overrides:isDUafterFalse in class Expr

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

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

Overrides:isDUafter in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isSuperAccess()

Overrides:isSuperAccess in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isThisAccess()

Overrides:isThisAccess in class Expr

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

@ASTNodeAnnotation.Attribute
syn TypeDecl type()

Specified by:type in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isVariable()

Overrides:isVariable in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean staticContextQualifier()

Overrides:staticContextQualifier in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean needsPop()

Overrides:needsPop in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isVarAccessWithAccessor()

Overrides:isVarAccessWithAccessor in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean canBeTrue()

Overrides:canBeTrue in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean canBeFalse()

Overrides:canBeFalse in class Expr

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

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

Overrides:modifiedInScope in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean compatibleStrictContext(TypeDecl type)

Overrides:compatibleStrictContext in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean compatibleLooseContext(TypeDecl type)

Overrides:compatibleLooseContext in class Expr

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)

Overrides:pertinentToApplicability in class Expr

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

Overrides:moreSpecificThan in class Expr

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)

Overrides:potentiallyCompatible in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isBooleanExpression()

Overrides:isBooleanExpression in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean isPolyExpression()

Overrides:isPolyExpression in class Expr

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

@ASTNodeAnnotation.Attribute
syn boolean assignConversionTo(TypeDecl type)

Overrides:assignConversionTo in class Expr

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

Methods

public void prettyPrint(org.jastadd.util.PrettyPrinter out)

Specified by:prettyPrint in interface org.jastadd.util.PrettyPrintableOverrides:prettyPrint in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java4/frontend/PrettyPrint.jadd at line 146
Aspect: Java4PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

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

Description copied from class: ExprGenerate 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

Overrides:branchTrue in class Expr

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

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

Overrides:branchFalse in class Expr

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

public void init$Children()

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

Overrides:init$Children in class PrimaryExpr

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

protected int numChildren()

Overrides:numChildren in class PrimaryExpr

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

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class PrimaryExpr

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

public void flushAttrCache()

Overrides:flushAttrCache in class PrimaryExpr

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

public void flushCollectionCache()

Overrides:flushCollectionCache in class PrimaryExpr

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

public void flushRewriteCache()

Overrides:flushRewriteCache in class PrimaryExpr

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

public ParExpr clone()
              throws java.lang.CloneNotSupportedException

Overrides:clone in class PrimaryExpr

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

public ParExpr copy()

Overrides:copy in class ASTNode<ASTNode>

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

@Deprecated
public ParExpr 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.

Specified by:fullCopy in class PrimaryExpr

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

public ParExpr treeCopyNoTransform()

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

Specified by:treeCopyNoTransform in class PrimaryExpr

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

public ParExpr 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.

Specified by:treeCopy in class PrimaryExpr

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

protected boolean is$Equal(ASTNode node)

Overrides:is$Equal in class ASTNode<ASTNode>

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

public void setExpr(Expr node)

Replaces the Expr child.

Parameters:: node - The new node to replace the Expr child.

@ASTNodeAnnotation.Child(name="Expr")
public Expr getExpr()

Retrieves the Expr child.

Returns:: The current node used as the Expr child.

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:: The current node used as the Expr child.

public TypeDecl Define_targetType(ASTNode caller,
                                  ASTNode child)

Overrides:Define_targetType in class ASTNode<ASTNode>

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

protected boolean canDefine_targetType(ASTNode caller,
                                       ASTNode child)

public boolean Define_assignmentContext(ASTNode caller,
                                        ASTNode child)

Overrides:Define_assignmentContext in class ASTNode<ASTNode>

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

protected boolean canDefine_assignmentContext(ASTNode caller,
                                              ASTNode child)

public boolean Define_invocationContext(ASTNode caller,
                                        ASTNode child)

Overrides:Define_invocationContext in class ASTNode<ASTNode>

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

protected boolean canDefine_invocationContext(ASTNode caller,
                                              ASTNode child)

public boolean Define_castContext(ASTNode caller,
                                  ASTNode child)

Overrides:Define_castContext in class ASTNode<ASTNode>

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

protected boolean canDefine_castContext(ASTNode caller,
                                        ASTNode child)

public boolean Define_stringContext(ASTNode caller,
                                    ASTNode child)

Overrides:Define_stringContext in class ASTNode<ASTNode>

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

protected boolean canDefine_stringContext(ASTNode caller,
                                          ASTNode child)

public boolean Define_numericContext(ASTNode caller,
                                     ASTNode child)

Overrides:Define_numericContext in class ASTNode<ASTNode>

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

protected boolean canDefine_numericContext(ASTNode caller,
                                           ASTNode child)

public ASTNode rewriteTo()

Overrides:rewriteTo in class PrimaryExpr

Fields

protected boolean type_computed

protected TypeDecl type_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 isPolyExpression_computed

protected boolean isPolyExpression_value

protected java.util.Map assignConversionTo_TypeDecl_values

Inherited Members

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

assignmentContext_computed

assignmentContext_value

castContext_computed

castContext_value

inferTypeArguments_TypeDecl_List_ParameterDeclaration__List_Expr__List_TypeVariable__values

invocationContext_computed

invocationContext_value

isNumericExpression_computed

isNumericExpression_value

nameType_computed

nameType_value

numericContext_computed

numericContext_value

stmtCompatible_computed

stmtCompatible_value

stringContext_computed

stringContext_value

targetType_computed

targetType_value

Fields inherited from org.extendj.ast.ASTNode

children

generatedWithCacheCycle

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

Fields inherited from beaver.Symbol

end

start

value

org.extendj.ast node type ParExpr