Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

org.extendj.ast
node type Binary

General Info

Production
Binary : Expr ::= LeftOperand:Expr RightOperand:Expr;
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by org.extendj.ast.ASTNode<ASTNode>
          extended by org.extendj.ast.Expr
              extended by org.extendj.ast.Binary
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable
Direct Known Subclasses:
ArithmeticExpr, BitwiseExpr, LogicalExpr, RelationalExpr, ShiftExpr

Description

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

Member Filters

API level:

Aspect:

Constructors

public Binary()
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 1
public Binary(Expr p0,
              Expr p1)
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 13

Attributes

@ASTNodeAnnotation.Attribute
syn java.lang.String printOp()
The operator string used for pretty printing this expression.
Source
Declared in /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag at line 270
Aspect
PrettyPrintUtil
@ASTNodeAnnotation.Attribute
syn Expr left()
Source
Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 296
Aspect
ConstantExpression
@ASTNodeAnnotation.Attribute
syn Expr right()
Source
Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 297
Aspect
ConstantExpression
@ASTNodeAnnotation.Attribute
syn TypeDecl binaryNumericPromotedType()
Source
Declared in /home/jesper/git/extendj/java4/frontend/ConstantExpression.jrag at line 298
Aspect
ConstantExpression
@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 442
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 443
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 261
Aspect
DA
@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 788
Aspect
DU
@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
inh boolean isDUbefore(org.extendj.ast.Variable v)
Overrides:isDUbefore in class Expr
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 785
Aspect
DU

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 187
Aspect
Java4PrettyPrint
public void createBCode(org.extendj.ast.CodeGeneration gen)
Overrides:createBCode in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 965
Aspect
CreateBCode
public void emitShiftExpr(org.extendj.ast.CodeGeneration gen)
Source
Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 973
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 Expr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 10
protected int numChildren()
Overrides:numChildren in class Expr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 20
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class Expr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 26
public void flushAttrCache()
Overrides:flushAttrCache in class Expr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 32
public void flushCollectionCache()
Overrides:flushCollectionCache in class Expr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 44
public void flushRewriteCache()
Overrides:flushRewriteCache in class Expr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 50
public Binary clone()
             throws java.lang.CloneNotSupportedException
Overrides:clone in class Expr
Throws:
java.lang.CloneNotSupportedException
Source
Declared in /home/jesper/git/extendj/ASTNode at line 56
@Deprecated
public abstract Binary 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 Expr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 67
public abstract Binary 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 Expr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 75
public abstract Binary 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 Expr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 83
public void setLeftOperand(Expr node)
Replaces the LeftOperand child.
Parameters:
node - The new node to replace the LeftOperand child.
@ASTNodeAnnotation.Child(name="LeftOperand")
public Expr getLeftOperand()
Retrieves the LeftOperand child.
Returns:
The current node used as the LeftOperand child.
public Expr getLeftOperandNoTransform()
Retrieves the LeftOperand child.

This method does not invoke AST transformations.

Returns:
The current node used as the LeftOperand child.
public void setRightOperand(Expr node)
Replaces the RightOperand child.
Parameters:
node - The new node to replace the RightOperand child.
@ASTNodeAnnotation.Child(name="RightOperand")
public Expr getRightOperand()
Retrieves the RightOperand child.
Returns:
The current node used as the RightOperand child.
public Expr getRightOperandNoTransform()
Retrieves the RightOperand child.

This method does not invoke AST transformations.

Returns:
The current node used as the RightOperand child.
@ASTNodeAnnotation.Attribute
public boolean isConstant()
public boolean Define_isDAbefore(ASTNode caller,
                                 ASTNode child,
                                 org.extendj.ast.Variable v)
Overrides:Define_isDAbefore in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 255
protected boolean canDefine_isDAbefore(ASTNode caller,
                                       ASTNode child,
                                       org.extendj.ast.Variable v)
public boolean Define_isDUbefore(ASTNode caller,
                                 ASTNode child,
                                 org.extendj.ast.Variable v)
Overrides:Define_isDUbefore in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 779
protected boolean canDefine_isDUbefore(ASTNode caller,
                                       ASTNode child,
                                       org.extendj.ast.Variable v)
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 Expr

Fields

protected int isConstant_visited
protected boolean isConstant_computed
protected boolean isConstant_initialized
protected boolean isConstant_value
protected java.util.Map isDAafterTrue_Variable_values
protected java.util.Map isDAafterFalse_Variable_values
protected java.util.Map isDAafter_Variable_values
protected java.util.Map isDUafter_Variable_values
protected java.util.Map isDUbefore_Variable_values

Inherited Members

Attributes inherited from org.extendj.ast.Expr

applicableAndAccessible
assignConversionTo
assignConvertedType
assignmentContext
canBeFalse
canBeTrue
castContext
classAccess
compatibleLooseContext
compatibleStrictContext
constant
enclosingBodyDecl
enclosingStmt
hasNextAccess
hasPackage
hasParentDot
hasQualifiedPackage
hostPackage
hostType
inExtendsOrImplements
inferTypeArguments
inStaticContext
invocationContext
isArrayAccess
isBooleanExpression
isClassAccess
isConstant
isDAbefore
isDest
isDUafterFalse
isDUafterTrue
isEnumConstant
isFalse
isFieldAccess
isIncOrDec
isLeftChildOfDot
isMethodAccess
isNumericExpression
isPackageAccess
isPolyExpression
isPositive
isRightChildOfDot
isSource
isSuperAccess
isSuperConstructorAccess
isThisAccess
isTrue
isTypeAccess
isUnknown
isVarAccessWithAccessor
isVariable
isVariable
lookupMethod
lookupType
lookupType
lookupVariable
methodHost
moreSpecificThan
mostSpecificConstructor
nameType
needsPop
nextAccess
numericContext
packageName
parentDot
pertinentToApplicability
potentiallyCompatible
qualifiedLookupType
qualifiedLookupVariable
representableIn
staticContextQualifier
stmtCompatible
stringContext
targetType
throwTypes
type
typeBoolean
typeByte
typeChar
typeDouble
typeFloat
typeInt
typeLong
typeName
typeNull
typeObject
typeShort
typeString
typeVoid
unknownType
varDecl

Attributes inherited from org.extendj.ast.ASTNode

flush
isStringAdd
lineNumber
program
sourceLineNumber
usesTypeVariable

Methods inherited from class org.extendj.ast.Expr

branchFalse
branchTrue
chooseConstructor
computeConstraints
createAssignLoadDest
createAssignSimpleLoadDest
createPushAssignmentResult
emitBooleanCondition
emitStore
keepAccessibleFields
keepAccessibleTypes
mayAccess
moreSpecificThan
mostSpecific
mostSpecific
needsPush
qualifiesAccess
refined_CreateBCode_Expr_branchFalse
refined_CreateBCode_Expr_branchTrue

Methods inherited from class org.extendj.ast.ASTNode

accessControl
addChild
canDefine_allImportedTypes
canDefine_assignConvertedType
canDefine_bind
canDefine_blockIndex
canDefine_branchTarget
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_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_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_otherLocalClassDecls
canDefine_outerScope
canDefine_packageName
canDefine_program
canDefine_reachable
canDefine_reachableCatchClause
canDefine_reportUnreachable
canDefine_resourcePreviouslyDeclared
canDefine_resultSaveLocalNum
canDefine_returnType
canDefine_superType
canDefine_switchType
canDefine_targetType
canDefine_typeBoolean
canDefine_typeByte
canDefine_typeChar
canDefine_typeCloneable
canDefine_typeDouble
canDefine_typeError
canDefine_typeException
canDefine_typeFloat
canDefine_typeInt
canDefine_typeLong
canDefine_typeNull
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
Define_allImportedTypes
Define_assignConvertedType
Define_bind
Define_blockIndex
Define_branchTarget
Define_catchClause
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_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_isNestedType
Define_isSource
Define_leavesMonitor
Define_localNum
Define_lookupAnnotation
Define_lookupConstructor
Define_lookupElementTypeValue
Define_lookupGLBType
Define_lookupLabel
Define_lookupLUBType
Define_lookupMethod
Define_lookupSuperConstructor
Define_lookupType
Define_lookupType
Define_lookupVariable
Define_lookupWildcardExtends
Define_lookupWildcardSuper
Define_mayBeAbstract
Define_mayBeFinal
Define_mayBeNative
Define_mayBePrivate
Define_mayBeProtected
Define_mayBePublic
Define_mayBeStatic
Define_mayBeStrictfp
Define_mayBeSynchronized
Define_mayBeTransient
Define_mayBeVolatile
Define_mayUseAnnotationTarget
Define_methodHost
Define_nameType
Define_nestedScope
Define_otherLocalClassDecls
Define_outerScope
Define_packageName
Define_program
Define_reachable
Define_reachableCatchClause
Define_reportUnreachable
Define_resourcePreviouslyDeclared
Define_resultSaveLocalNum
Define_returnType
Define_superType
Define_switchType
Define_targetType
Define_typeBoolean
Define_typeByte
Define_typeChar
Define_typeCloneable
Define_typeDouble
Define_typeError
Define_typeException
Define_typeFloat
Define_typeInt
Define_typeLong
Define_typeNull
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
definiteAssignment
doFullTraversal
dumpTree
dumpTree
dumpTree
dumpTreeNoRewrite
dumpTreeNoRewrite
dumpTreeNoRewrite
end
error
error
errorf
errorPrefix
exceptionHandling
extractSingleType
findFirstSourceLineNumber
flushAttrAndCollectionCache
flushCache
flushCaches
flushTreeCache
getChild
getChildNoTransform
getIndexOfChild
getMethod
getNumChild
getNumChildNoTransform
getParent
getTokens
in$Circle
in$Circle
insertChild
is$Equal
is$Equal
is$Final
is$Final
isDescendantTo
iterator
location
nameCheck
ntaFinallyBlock
prettyPrint
prettyPrint
putSimpleSetElement
reachedException
removeChild
removeInstanceMethods
removeInstanceVariables
replaceWith
setChild
setEnd
setLocation
setParent
setSourceLineNumber
setStart
sourceFile
start
state
structuredPrettyPrint
toString
transformation
transformEnumConstructors
typeCheck
varChildIndex
warning
warningPrefix

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
wait
wait

Fields inherited from org.extendj.ast.Expr

assignConversionTo_TypeDecl_values
assignmentContext_computed
assignmentContext_value
castContext_computed
castContext_value
compatibleLooseContext_TypeDecl_values
compatibleStrictContext_TypeDecl_values
inferTypeArguments_TypeDecl_List_ParameterDeclaration__List_Expr__List_TypeVariable__values
invocationContext_computed
invocationContext_value
isBooleanExpression_computed
isBooleanExpression_value
isNumericExpression_computed
isNumericExpression_value
isPolyExpression_computed
isPolyExpression_value
moreSpecificThan_TypeDecl_TypeDecl_values
nameType_computed
nameType_value
numericContext_computed
numericContext_value
pertinentToApplicability_Expr_BodyDecl_int_values
potentiallyCompatible_TypeDecl_BodyDecl_values
stmtCompatible_computed
stmtCompatible_value
stringContext_computed
stringContext_value
targetType_computed
targetType_value

Fields inherited from org.extendj.ast.ASTNode

children
generatedWithCacheCycle
generatedWithComponentCheck
in$Circle
is$Final
numChildren
parent
PRIMITIVE_PACKAGE_NAME

Fields inherited from beaver.Symbol

end
id
start
value
Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES