org.extendj.ast
node type SuperConstructorAccess

General Info

Production

SuperConstructorAccess : ConstructorAccess;

Type Hierarchy:

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

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable

Direct Known Subclasses:

ParSuperConstructorAccess

Description

Source

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

Member Filters

API level:

high-level

low-level

internal-level

Aspect:

ConstructScope

Transformations

TypeHierarchyCheck

AccessTypes

TypeCheck

DU

CreateBCode

DA

SyntacticClassification

Names

Constructors

public SuperConstructorAccess()

Source

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

public SuperConstructorAccess(java.lang.String p0,
                              List<Expr> p1)

Source

Declared in /home/jesper/git/extendj/ASTNode at line 14

public SuperConstructorAccess(beaver.Symbol p0,
                              List<Expr> p1)

Source

Declared in /home/jesper/git/extendj/ASTNode at line 18

Attributes

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

Overrides:isDAafter in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 259

Aspect

DA

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

Overrides:isDUafter in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 783

Aspect

DU

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet decls()

Overrides:decls in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag at line 84

Aspect

ConstructScope

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

Overrides:name in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 39

Aspect

Names

@ASTNodeAnnotation.Attribute
syn boolean isSuperConstructorAccess()

Overrides:isSuperConstructorAccess in class Expr

Source

Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 71

Aspect

AccessTypes

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.NameType predNameType()

Defines the expected kind of name for the left hand side in a qualified expression.

Overrides:predNameType in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag at line 58

Aspect

SyntacticClassification

@ASTNodeAnnotation.Attribute
inh java.util.Collection lookupSuperConstructor()

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag at line 40

Aspect

ConstructScope

@ASTNodeAnnotation.Attribute
inh TypeDecl enclosingInstance()

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag at line 584

Aspect

TypeCheck

Methods

public void nameCheck()

Overrides:nameCheck in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 94

Aspect

TypeHierarchyCheck

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

Overrides:createBCode in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 715

Aspect

CreateBCode

public void transformation()

Overrides:transformation in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/backend/Transformations.jrag at line 143

Aspect

Transformations

public void init$Children()

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

Overrides:init$Children in class ConstructorAccess

Source

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

protected int numChildren()

Overrides:numChildren in class ConstructorAccess

Source

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

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class ConstructorAccess

Source

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

public void flushAttrCache()

Overrides:flushAttrCache in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/ASTNode at line 37

public void flushCollectionCache()

Overrides:flushCollectionCache in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/ASTNode at line 44

public void flushRewriteCache()

Overrides:flushRewriteCache in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/ASTNode at line 50

public SuperConstructorAccess clone()
                             throws java.lang.CloneNotSupportedException

Overrides:clone in class ConstructorAccess

Throws:

java.lang.CloneNotSupportedException

Source

Declared in /home/jesper/git/extendj/ASTNode at line 56

public SuperConstructorAccess copy()

Overrides:copy in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/ASTNode at line 63

@Deprecated
public SuperConstructorAccess 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 ConstructorAccess

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 82

public SuperConstructorAccess 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 ConstructorAccess

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 92

public SuperConstructorAccess 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 ConstructorAccess

Returns:

dangling copy of the subtree at this node

Source

Declared in /home/jesper/git/extendj/ASTNode at line 112

protected boolean is$Equal(ASTNode node)

Overrides:is$Equal in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/ASTNode at line 119

public void setID(java.lang.String value)

Replaces the lexeme ID.

Overrides:setID in class ConstructorAccess

Parameters:

value - The new value for the lexeme ID.

public void setID(beaver.Symbol symbol)

JastAdd-internal setter for lexeme ID using the Beaver parser.

Overrides:setID in class ConstructorAccess

Parameters:

symbol - Symbol containing the new value for the lexeme ID

@ASTNodeAnnotation.Token(name="ID")
public java.lang.String getID()

Retrieves the value for the lexeme ID.

Overrides:getID in class ConstructorAccess

Returns:

The value for the lexeme ID.

public void setArgList(List<Expr> list)

Replaces the Arg list.

Overrides:setArgList in class ConstructorAccess

Parameters:

list - The new list node to be used as the Arg list.

public int getNumArg()

Retrieves the number of children in the Arg list.

Overrides:getNumArg in class ConstructorAccess

Returns:

Number of children in the Arg list.

public int getNumArgNoTransform()

Retrieves the number of children in the Arg list. Calling this method will not trigger rewrites.

Overrides:getNumArgNoTransform in class ConstructorAccess

Returns:

Number of children in the Arg list.

public Expr getArg(int i)

Retrieves the element at index i in the Arg list.

Overrides:getArg in class ConstructorAccess

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Arg list.

public boolean hasArg()

Check whether the Arg list has any children.

Overrides:hasArg in class ConstructorAccess

Returns:

true if it has at least one child, false otherwise.

public void addArg(Expr node)

Append an element to the Arg list.

Overrides:addArg in class ConstructorAccess

Parameters:

node - The element to append to the Arg list.

public void addArgNoTransform(Expr node)

Overrides:addArgNoTransform in class ConstructorAccess

public void setArg(Expr node,
                   int i)

Replaces the Arg list element at index i with the new node node.

Overrides:setArg in class ConstructorAccess

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

@ASTNodeAnnotation.ListChild(name="Arg")
public List<Expr> getArgList()

Retrieves the Arg list.

Overrides:getArgList in class ConstructorAccess

Returns:

The node representing the Arg list.

public List<Expr> getArgListNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Overrides:getArgListNoTransform in class ConstructorAccess

Returns:

The node representing the Arg list.

public List<Expr> getArgs()

Retrieves the Arg list.

Overrides:getArgs in class ConstructorAccess

Returns:

The node representing the Arg list.

public List<Expr> getArgsNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Overrides:getArgsNoTransform in class ConstructorAccess

Returns:

The node representing the Arg list.

public boolean Define_hasPackage(ASTNode caller,
                                 ASTNode child,
                                 java.lang.String packageName)

Overrides:Define_hasPackage in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 115

protected boolean canDefine_hasPackage(ASTNode caller,
                                       ASTNode child,
                                       java.lang.String packageName)

public org.extendj.ast.SimpleSet Define_lookupVariable(ASTNode caller,
                                                       ASTNode child,
                                                       java.lang.String name)

Overrides:Define_lookupVariable in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java8/frontend/LookupVariable.jrag at line 30

protected boolean canDefine_lookupVariable(ASTNode caller,
                                           ASTNode child,
                                           java.lang.String name)

public boolean Define_inExplicitConstructorInvocation(ASTNode caller,
                                                      ASTNode child)

Overrides:Define_inExplicitConstructorInvocation in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 165

protected boolean canDefine_inExplicitConstructorInvocation(ASTNode caller,
                                                            ASTNode child)

public TypeDecl Define_enclosingExplicitConstructorHostType(ASTNode caller,
                                                            ASTNode child)

Overrides:Define_enclosingExplicitConstructorHostType in class ConstructorAccess

Source

Declared in /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag at line 173

protected boolean canDefine_enclosingExplicitConstructorHostType(ASTNode caller,
                                                                 ASTNode child)

public ASTNode rewriteTo()

Overrides:rewriteTo in class ConstructorAccess

Fields

protected boolean decls_computed

protected org.extendj.ast.SimpleSet decls_value

Inherited Members

Attributes inherited from org.extendj.ast.ConstructorAccess

applicableAndAccessible

arity

decl

handlesException

invokesVariableArityAsArray

lookupConstructor

modifiedInScope

needsPop

stmtCompatible

type

unknownConstructor

validArgs

Attributes inherited from org.extendj.ast.Access

hasPrevExpr

inExplicitConstructorInvocation

isDiamond

isQualified

isWildcard

lastAccess

nestedScope

prevExpr

qualifier

sourceLineNumber

substituted

unknownField

unknownType

unqualifiedScope

withinDeprecatedAnnotation

withinSuppressWarnings

Attributes inherited from org.extendj.ast.Expr

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

isDAafterFalse

isDAafterTrue

isDAbefore

isDest

isDUafterFalse

isDUafterTrue

isDUbefore

isEnumConstant

isFalse

isFieldAccess

isIncOrDec

isLeftChildOfDot

isMethodAccess

isNumericExpression

isPackageAccess

isPolyExpression

isPositive

isRightChildOfDot

isSource

isSuperAccess

isThisAccess

isTrue

isTypeAccess

isUnknown

isVarAccessWithAccessor

isVariable

isVariable

lookupMethod

lookupType

lookupType

lookupVariable

methodHost

moreSpecificThan

mostSpecificConstructor

nameType

nextAccess

numericContext

packageName

parentDot

pertinentToApplicability

potentiallyCompatible

qualifiedLookupType

qualifiedLookupVariable

representableIn

staticContextQualifier

stringContext

targetType

throwTypes

typeBoolean

typeByte

typeChar

typeDouble

typeFloat

typeInt

typeLong

typeName

typeNull

typeObject

typeShort

typeString

typeVoid

varDecl

Attributes inherited from org.extendj.ast.ASTNode

flush

isStringAdd

lineNumber

program

usesTypeVariable

Methods inherited from class org.extendj.ast.ConstructorAccess

addEnclosingVariables

canDefine_assignmentContext

canDefine_castContext

canDefine_invocationContext

canDefine_lookupMethod

canDefine_lookupType

canDefine_methodHost

canDefine_nameType

canDefine_numericContext

canDefine_stringContext

canDefine_targetType

checkModifiers

Define_assignmentContext

Define_castContext

Define_invocationContext

Define_lookupMethod

Define_lookupType

Define_methodHost

Define_nameType

Define_numericContext

Define_stringContext

Define_targetType

exceptionHandling

prettyPrint

reachedException

refined_Transformations_ConstructorAccess_transformation

Methods inherited from class org.extendj.ast.Access

addArrayDims

emitLoadLocalInNestedClass

emitThis

sameType

superConstructorQualifier

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_enclosingFinally

canDefine_enclosingInstance

canDefine_enclosingLambda

canDefine_enclosingType

canDefine_expectedType

canDefine_genericDecl

canDefine_genericMethodLevel

canDefine_getClassInstanceExpr

canDefine_handlesException

canDefine_hostPackage

canDefine_hostType

canDefine_inExtendsOrImplements

canDefine_inferredType

canDefine_inhModifiedInScope

canDefine_insideLoop

canDefine_insideSwitch

canDefine_inStaticContext

canDefine_isAnonymous

canDefine_isAnonymousDecl

canDefine_isCatchParam

canDefine_isConstructorParameter

canDefine_isDAbefore

canDefine_isDAbefore

canDefine_isDest

canDefine_isDUbefore

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_lookupSuperConstructor

canDefine_lookupType

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_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_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_enclosingFinally

Define_enclosingInstance

Define_enclosingLambda

Define_enclosingType

Define_expectedType

Define_genericDecl

Define_genericMethodLevel

Define_getClassInstanceExpr

Define_handlesException

Define_hostPackage

Define_hostType

Define_inExtendsOrImplements

Define_inferredType

Define_inhModifiedInScope

Define_insideLoop

Define_insideSwitch

Define_inStaticContext

Define_isAnonymous

Define_isAnonymousDecl

Define_isCatchParam

Define_isConstructorParameter

Define_isDAbefore

Define_isDAbefore

Define_isDest

Define_isDUbefore

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_lookupSuperConstructor

Define_lookupType

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

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

ntaFinallyBlock

prettyPrint

prettyPrint

putSimpleSetElement

removeChild

removeInstanceMethods

removeInstanceVariables

replaceWith

setChild

setEnd

setLocation

setParent

setSourceLineNumber

setStart

sourceFile

start

state

structuredPrettyPrint

toString

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

addEnclosingVariables

decl_computed

decl_value

IDend

IDstart

stmtCompatible_computed

stmtCompatible_value

tokenString_ID

type_computed

type_value

Fields inherited from org.extendj.ast.Access

hasPrevExpr_computed

hasPrevExpr_value

prevExpr_computed

prevExpr_value

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

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