AST
node type ConditionalExpr

General Info

Production

ConditionalExpr : Expr ::= Condition:Expr TrueExpr:Expr FalseExpr:Expr;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Expr
              AST.ConditionalExpr

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

Source

Declared in Java1.4Frontend/java.ast at line 188

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

PrettyPrint

Generics

ConstantExpression

TypeCheck

DU

CreateBCode

DA

AutoBoxingCodegen

Constructors

public ConditionalExpr()

public ConditionalExpr(Expr p0,
                       Expr p1,
                       Expr p2)

Attributes

syn Constant constant()

Overrides:constant in class Expr

Source

Declared in Java7Frontend/ConstantExpression.jrag at line 125

Aspect

ConstantExpression

syn boolean isConstant()

Overrides:isConstant in class Expr

Source

Declared in Java7Frontend/ConstantExpression.jrag at line 347

Aspect

ConstantExpression

syn boolean booleanOperator()

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 230

Aspect

DA

syn boolean isDAafterFalse(Variable v)

Overrides:isDAafterFalse in class Expr

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 333

Aspect

DA

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Expr

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 235

Aspect

DA

syn boolean isDUafterTrue(Variable v)

Overrides:isDUafterTrue in class Expr

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 702

Aspect

DU

syn boolean isDUafterFalse(Variable v)

Overrides:isDUafterFalse in class Expr

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 703

Aspect

DU

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Expr

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 694

Aspect

DU

syn TypeDecl type()

Specified by:type in class Expr

Source

Declared in Java1.5Frontend/Generics.jrag at line 129

Aspect

Generics

syn boolean definesLabel()

Overrides:definesLabel in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 946

Aspect

CreateBCode

syn boolean canBeTrue()

Overrides:canBeTrue in class Expr

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1007

Aspect

CreateBCode

syn boolean canBeFalse()

Overrides:canBeFalse in class Expr

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1017

Aspect

CreateBCode

syn int else_branch_label()

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1065

Aspect

CreateBCode

syn int then_branch_label()

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1066

Aspect

CreateBCode

Methods

public void flushCache()

Overrides:flushCache in class Expr

public void flushCollectionCache()

Overrides:flushCollectionCache in class Expr

public ConditionalExpr clone()
                      throws java.lang.CloneNotSupportedException

Overrides:clone in class Expr

Throws:

java.lang.CloneNotSupportedException

public ConditionalExpr copy()

Overrides:copy in class ASTNode<ASTNode>

public ConditionalExpr fullCopy()

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

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/PrettyPrint.jadd at line 427

Aspect

PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/TypeCheck.jrag at line 562

Aspect

TypeCheck

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1042

Aspect

CreateBCode

public void emitEvalBranch(CodeGeneration gen)

Overrides:emitEvalBranch in class Expr

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 1108

Aspect

CreateBCode

public void emitBooleanCondition(CodeGeneration gen)

Overrides:emitBooleanCondition in class Expr

Source

Declared in Java1.5Backend/AutoBoxingCodegen.jrag at line 385

Aspect

AutoBoxingCodegen

public void init$Children()

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

Overrides:init$Children in class Expr

protected int numChildren()

Overrides:numChildren in class Expr

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Expr

public void setCondition(Expr node)

Replaces the Condition child.

Parameters:

node - The new node to replace the Condition child.

public Expr getCondition()

Retrieves the Condition child.

Returns:

The current node used as the Condition child.

public Expr getConditionNoTransform()

Retrieves the Condition child.

This method does not invoke AST transformations.

Returns:

The current node used as the Condition child.

public void setTrueExpr(Expr node)

Replaces the TrueExpr child.

Parameters:

node - The new node to replace the TrueExpr child.

public Expr getTrueExpr()

Retrieves the TrueExpr child.

Returns:

The current node used as the TrueExpr child.

public Expr getTrueExprNoTransform()

Retrieves the TrueExpr child.

This method does not invoke AST transformations.

Returns:

The current node used as the TrueExpr child.

public void setFalseExpr(Expr node)

Replaces the FalseExpr child.

Parameters:

node - The new node to replace the FalseExpr child.

public Expr getFalseExpr()

Retrieves the FalseExpr child.

Returns:

The current node used as the FalseExpr child.

public Expr getFalseExprNoTransform()

Retrieves the FalseExpr child.

This method does not invoke AST transformations.

Returns:

The current node used as the FalseExpr child.

public boolean isDAafterTrue(Variable v)

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 387

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

Source

Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 823

public int Define_int_condition_false_label(ASTNode caller,
                                            ASTNode child)

Overrides:Define_int_condition_false_label in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 989

public int Define_int_condition_true_label(ASTNode caller,
                                           ASTNode child)

Overrides:Define_int_condition_true_label in class ASTNode<ASTNode>

Source

Declared in Java1.4Backend/CreateBCode.jrag at line 990

public ASTNode rewriteTo()

Overrides:rewriteTo in class Expr

Fields

protected boolean constant_computed

protected Constant constant_value

protected boolean isConstant_computed

protected boolean isConstant_value

protected boolean booleanOperator_computed

protected boolean booleanOperator_value

protected boolean type_computed

protected TypeDecl type_value

protected boolean else_branch_label_computed

protected int else_branch_label_value

protected boolean then_branch_label_computed

protected int then_branch_label_value

Inherited Members

Attributes inherited from AST.Expr

applicableAndAccessible

assignConvertedType

condition_false_label

condition_true_label

enclosingBodyDecl

enclosingStmt

false_label

hasNextAccess

hasPackage

hasParentDot

hasQualifiedPackage

hostPackage

hostType

inExtendsOrImplements

inStaticContext

isArrayAccess

isClassAccess

isDAbefore

isDest

isDUbefore

isEnumConstant

isFalse

isFieldAccess

isIncOrDec

isLeftChildOfDot

isMethodAccess

isPackageAccess

isRightChildOfDot

isSource

isSuperAccess

isSuperConstructorAccess

isThisAccess

isTrue

isTypeAccess

isUnknown

isVarAccessWithAccessor

isVariable

isVariable

lookupMethod

lookupType

lookupType

lookupVariable

methodHost

modifiedInScope

mostSpecificConstructor

nameType

needsPop

nextAccess

packageName

parentDot

qualifiedLookupType

qualifiedLookupVariable

staticContextQualifier

throwTypes

true_label

typeBoolean

typeByte

typeChar

typeDouble

typeFloat

typeInt

typeLong

typeName

typeNull

typeShort

typeString

typeVoid

unknownType

varDecl

Attributes inherited from AST.ASTNode

addsIndentationLevel

compilationUnit

dumpString

extractIndent

flush

indent

isStringAdd

lineNumber

sourceLineNumber

unassignedEverywhere

usesTypeVariable

Methods inherited from class AST.Expr

chooseConstructor

createAssignLoadDest

createAssignSimpleLoadDest

createPushAssignmentResult

emitStore

isPositive

keepAccessibleFields

keepAccessibleTypes

mayAccess

mostSpecific

needsPush

qualifiesAccess

refined_CreateBCode_Expr_emitEvalBranch

representableIn

Methods inherited from class AST.ASTNode

accessControl

addChild

branchTarget

checkDUeverywhere

checkEnum

checkUncheckedConversion

checkWarnings

clear

clearLocations

cloneSubtree

collectBranches

collectEnclosingVariables

collectErrors

collectExceptions

collectFinally

Define_Annotation_lookupAnnotation

Define_ASTNode_enclosingBlock

Define_BodyDecl_enclosingBodyDecl

Define_boolean_handlesException

Define_boolean_hasPackage

Define_boolean_inExplicitConstructorInvocation

Define_boolean_inExtendsOrImplements

Define_boolean_inhModifiedInScope

Define_boolean_insideLoop

Define_boolean_insideSwitch

Define_boolean_inStaticContext

Define_boolean_isAnonymous

Define_boolean_isAnonymousDecl

Define_boolean_isCatchParam

Define_boolean_isConstructorParameter

Define_boolean_isDest

Define_boolean_isExceptionHandlerParameter

Define_boolean_isExplicitGenericConstructorAccess

Define_boolean_isIncOrDec

Define_boolean_isLocalClass

Define_boolean_isMemberType

Define_boolean_isMethodParameter

Define_boolean_isNestedType

Define_boolean_isSource

Define_boolean_mayBeAbstract

Define_boolean_mayBeFinal

Define_boolean_mayBeNative

Define_boolean_mayBePrivate

Define_boolean_mayBeProtected

Define_boolean_mayBePublic

Define_boolean_mayBeStatic

Define_boolean_mayBeStrictfp

Define_boolean_mayBeSynchronized

Define_boolean_mayBeTransient

Define_boolean_mayBeVolatile

Define_boolean_mayUseAnnotationTarget

Define_boolean_reachable

Define_boolean_reachableCatchClause

Define_boolean_reportUnreachable

Define_boolean_resourcePreviouslyDeclared

Define_boolean_variableArityValid

Define_boolean_withinDeprecatedAnnotation

Define_boolean_withinSuppressWarnings

Define_Case_bind

Define_CatchClause_catchClause

Define_ClassInstanceExpr_getClassInstanceExpr

Define_Collection_lookupConstructor

Define_Collection_lookupMethod

Define_Collection_lookupSuperConstructor

Define_Collection_TypeDecl__caughtExceptions

Define_CompilationUnit_compilationUnit

Define_ConstructorDecl_constructorDecl

Define_ConstructorDecl_unknownConstructor

Define_ElementValue_lookupElementTypeValue

Define_Expr_nestedScope

Define_GLBType_lookupGLBType

Define_int_localNum

Define_int_resultSaveLocalNum

Define_int_variableScopeEndLabel

Define_LabeledStmt_lookupLabel

Define_LUBType_lookupLUBType

Define_MethodDecl_unknownMethod

Define_NameType_nameType

Define_SimpleSet_allImportedTypes

Define_SimpleSet_lookupType

Define_SimpleSet_lookupVariable

Define_String_destinationPath

Define_String_hostPackage

Define_String_methodHost

Define_String_packageName

Define_String_typeDeclIndent

Define_TypeDecl_assignConvertedType

Define_TypeDecl_componentType

Define_TypeDecl_declType

Define_TypeDecl_enclosingAnnotationDecl

Define_TypeDecl_enclosingInstance

Define_TypeDecl_enclosingType

Define_TypeDecl_expectedType

Define_TypeDecl_genericDecl

Define_TypeDecl_hostType

Define_TypeDecl_lookupType

Define_TypeDecl_lookupWildcardExtends

Define_TypeDecl_lookupWildcardSuper

Define_TypeDecl_returnType

Define_TypeDecl_superType

Define_TypeDecl_switchType

Define_TypeDecl_typeBoolean

Define_TypeDecl_typeByte

Define_TypeDecl_typeChar

Define_TypeDecl_typeCloneable

Define_TypeDecl_typeDouble

Define_TypeDecl_typeError

Define_TypeDecl_typeException

Define_TypeDecl_typeFloat

Define_TypeDecl_typeInt

Define_TypeDecl_typeLong

Define_TypeDecl_typeNull

Define_TypeDecl_typeNullPointerException

Define_TypeDecl_typeObject

Define_TypeDecl_typeRuntimeException

Define_TypeDecl_typeSerializable

Define_TypeDecl_typeShort

Define_TypeDecl_typeString

Define_TypeDecl_typeThrowable

Define_TypeDecl_typeVoid

Define_TypeDecl_typeWildcard

Define_TypeDecl_unknownType

Define_Variable_unknownField

Define_VariableScope_outerScope

definiteAssignment

dumpTree

dumpTree

dumpTreeNoRewrite

dumpTreeNoRewrite

duringAnnotations

duringAnonymousClasses

duringBoundNames

duringDU

duringEnums

duringGenericTypeVariables

duringImplicitConstructor

duringLiterals

duringNameResolution

duringSyntacticClassification

duringVariableDeclarationTransformation

end

error

error

errorPrefix

exceptionHandling

extractSingleType

findFirstSourceLineNumber

flushCaches

getChild

getChildNoTransform

getIndexOfChild

getNumChild

getNumChildNoTransform

getParent

in$Circle

in$Circle

insertChild

is$Final

is$Final

isDescendantTo

iterator

location

nameCheck

options

putSimpleSetElement

reachedException

removeChild

removeInstanceMethods

removeInstanceVariables

replace

setChild

setEnd

setLocation

setParent

setSourceLineNumber

setStart

sourceFile

start

state

toString

transformation

transformEnumConstructors

varChildIndex

varChildIndex

warning

warningPrefix

with

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

false_label_computed

false_label_value

true_label_computed

true_label_value

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

in$Circle

is$Final

numChildren

parent

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

id

start

value