Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

org.extendj.ast
node type OrLogicalExpr

General Info

Production
OrLogicalExpr : LogicalExpr;
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
                  extended by org.extendj.ast.LogicalExpr
                      extended by org.extendj.ast.OrLogicalExpr
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 170

Member Filters

API level:

Aspect:

Constructors

public OrLogicalExpr()
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 1
public OrLogicalExpr(Expr p0,
                     Expr p1)
 
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 isDAafterTrue(org.extendj.ast.Variable v)
Overrides:isDAafterTrue in class Binary
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 Binary
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 Binary
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 261
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 Binary
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 788
Aspect
DU
@ASTNodeAnnotation.Attribute
syn java.lang.String printOp()
The operator string used for pretty printing this expression.
Specified by:printOp in class Binary
Source
Declared in /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag at line 270
Aspect
PrettyPrintUtil
@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

Methods

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 1157
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 1267
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 LogicalExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 10
protected int numChildren()
Overrides:numChildren in class LogicalExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 20
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class LogicalExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 26
public void flushAttrCache()
Overrides:flushAttrCache in class LogicalExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 32
public void flushCollectionCache()
Overrides:flushCollectionCache in class LogicalExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 42
public void flushRewriteCache()
Overrides:flushRewriteCache in class LogicalExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 48
public OrLogicalExpr clone()
                    throws java.lang.CloneNotSupportedException
Overrides:clone in class LogicalExpr
Throws:
java.lang.CloneNotSupportedException
Source
Declared in /home/jesper/git/extendj/ASTNode at line 54
public OrLogicalExpr copy()
Overrides:copy in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/ASTNode at line 61
@Deprecated
public OrLogicalExpr 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 LogicalExpr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 80
public OrLogicalExpr 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 LogicalExpr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 90
public OrLogicalExpr 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 LogicalExpr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 110
protected boolean is$Equal(ASTNode node)
Overrides:is$Equal in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/ASTNode at line 117
public void setLeftOperand(Expr node)
Replaces the LeftOperand child.
Overrides:setLeftOperand in class LogicalExpr
Parameters:
node - The new node to replace the LeftOperand child.
@ASTNodeAnnotation.Child(name="LeftOperand")
public Expr getLeftOperand()
Retrieves the LeftOperand child.
Overrides:getLeftOperand in class LogicalExpr
Returns:
The current node used as the LeftOperand child.
public Expr getLeftOperandNoTransform()
Retrieves the LeftOperand child.

This method does not invoke AST transformations.

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

This method does not invoke AST transformations.

Overrides:getRightOperandNoTransform in class LogicalExpr
Returns:
The current node used as the RightOperand child.
public boolean Define_isDAbefore(ASTNode caller,
                                 ASTNode child,
                                 org.extendj.ast.Variable v)
Overrides:Define_isDAbefore in class Binary
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 Binary
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 ASTNode rewriteTo()
Overrides:rewriteTo in class LogicalExpr

Fields

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

Inherited Members

Attributes inherited from org.extendj.ast.LogicalExpr

type

Attributes inherited from org.extendj.ast.Binary

binaryNumericPromotedType
isDUbefore
left
modifiedInScope
right

Attributes inherited from org.extendj.ast.Expr

applicableAndAccessible
assignConversionTo
assignConvertedType
assignmentContext
castContext
classAccess
compatibleLooseContext
compatibleStrictContext
enclosingBodyDecl
enclosingStmt
hasNextAccess
hasPackage
hasParentDot
hasQualifiedPackage
hostPackage
hostType
inExtendsOrImplements
inferTypeArguments
inStaticContext
invocationContext
isArrayAccess
isBooleanExpression
isClassAccess
isConstant
isDAbefore
isDest
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
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.LogicalExpr

createBCode
typeCheck

Methods inherited from class org.extendj.ast.Binary

canDefine_assignmentContext
canDefine_castContext
canDefine_invocationContext
canDefine_numericContext
canDefine_stringContext
Define_assignmentContext
Define_castContext
Define_invocationContext
Define_numericContext
Define_stringContext
emitShiftExpr
isConstant
prettyPrint

Methods inherited from class org.extendj.ast.Expr

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
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$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
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.LogicalExpr

type_computed
type_value

Fields inherited from org.extendj.ast.Binary

isConstant_computed
isConstant_initialized
isConstant_value
isConstant_visited
isDUbefore_Variable_values

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