TypeAccess

org.extendj.ast
node type TypeAccess

General Info

Production

TypeAccess : Access ::= <Package:String> <ID:String>;

Type Hierarchy:

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

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

Direct Known Subclasses:: ArrayTypeAccess, BoundTypeAccess, BytecodeTypeAccess, PrimitiveTypeAccess

Description

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

Constructors

public TypeAccess(java.lang.String name,
                  int start,
                  int end)

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

public TypeAccess(java.lang.String typeName)

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

public TypeAccess()

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

public TypeAccess(java.lang.String p0,
                  java.lang.String p1)

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

public TypeAccess(beaver.Symbol p0,
                  beaver.Symbol p1)

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

Attributes

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

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 291
Aspect: TypeScopePropagation

@ASTNodeAnnotation.Attribute
syn TypeDecl decl()

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 307
Aspect: TypeScopePropagation

@ASTNodeAnnotation.Attribute
syn org.extendj.ast.SimpleSet qualifiedLookupVariable(java.lang.String name)

Overrides:qualifiedLookupVariable in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag at line 237
Aspect: VariableScope

@ASTNodeAnnotation.Attribute
syn boolean hasPackage()

Has package name (not @primitive)

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

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

Source: Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 40
Aspect: Names

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

Overrides:packageName in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 44
Aspect: Names

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

Source: Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 58
Aspect: Names

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

Overrides:typeName in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/QualifiedNames.jrag at line 72
Aspect: Names

@ASTNodeAnnotation.Attribute
syn boolean isTypeAccess()

Overrides:isTypeAccess in class Expr

Source: Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 35
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 Access

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

@ASTNodeAnnotation.Attribute
syn TypeDecl type()

Overrides:type in class Access

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

@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 usesTypeVariable()

Overrides:usesTypeVariable in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 1240
Aspect: LookupParTypeDecl

@ASTNodeAnnotation.Attribute
syn TypeDecl classAccess()

Finds the host type declaration of a class access. Call this attribute only on expressions that return true for isClassAccess or it may throw an error!

Overrides:classAccess in class Expr

Returns:: The TypeDecl corresponding to the accesssed class
Source: Declared in /home/jesper/git/extendj/java5/backend/AnnotationsCodegen.jrag at line 241
Aspect: AnnotationsCodegen

@ASTNodeAnnotation.Attribute
syn Access substituted(java.util.Collection<TypeVariable> original,
                                               List<TypeVariable> substitution)

Builds a copy of this Access node where all occurrences of type variables in the original type parameter list have been replaced by the substitution type parameters.

Overrides:substituted in class Access

Returns:: the substituted Access node
Source: Declared in /home/jesper/git/extendj/java7/frontend/Diamond.jrag at line 361
Aspect: Diamond

Methods

public void accessControl()

Overrides:accessControl in class ASTNode<ASTNode>

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

public void nameCheck()

Overrides:nameCheck in class ASTNode<ASTNode>

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

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 600
Aspect: Java4PrettyPrint

public void checkModifiers()

Source: Declared in /home/jesper/git/extendj/java5/frontend/Annotations.jrag at line 404
Aspect: Annotations

public boolean isRaw()

This method assumes that the bound type is generic.

Source: Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 369
Aspect: GenericsTypeAnalysis

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 659
Aspect: GenericsTypeCheck

public boolean sameType(TypeAccess t)

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

public void init$Children()

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

Overrides:init$Children in class Access

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

protected int numChildren()

Overrides:numChildren in class Access

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

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Access

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

public void flushAttrCache()

Overrides:flushAttrCache in class Access

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

public void flushCollectionCache()

Overrides:flushCollectionCache in class Access

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

public void flushRewriteCache()

Overrides:flushRewriteCache in class Access

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

public TypeAccess clone()
                 throws java.lang.CloneNotSupportedException

Overrides:clone in class Access

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

public TypeAccess copy()

Overrides:copy in class ASTNode<ASTNode>

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

@Deprecated
public TypeAccess 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 Access

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

public TypeAccess 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 Access

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

public TypeAccess 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 Access

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

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

public void setPackage(java.lang.String value)

Replaces the lexeme Package.

Parameters:: value - The new value for the lexeme Package.

public void setPackage(beaver.Symbol symbol)

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

Parameters:: symbol - Symbol containing the new value for the lexeme Package

@ASTNodeAnnotation.Token(name="Package")
public java.lang.String getPackage()

Retrieves the value for the lexeme Package.

Returns:: The value for the lexeme Package.

public void setID(java.lang.String value)

Replaces the lexeme ID.

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.

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.

Returns:: The value for the lexeme ID.

public void transformation()

Overrides:transformation in class ASTNode<ASTNode>

Source: Declared in /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag at line 305
Aspect: GenericsCodegen

public ASTNode rewriteTo()

Overrides:rewriteTo in class Access

Fields

protected java.lang.String tokenString_Package

public int Packagestart

public int Packageend

protected java.lang.String tokenString_ID

public int IDstart

public int IDend

protected boolean decls_computed

protected org.extendj.ast.SimpleSet decls_value

protected boolean decl_computed

protected TypeDecl decl_value

protected boolean type_computed

protected TypeDecl type_value

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

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

PRIMITIVE_PACKAGE_NAME

Fields inherited from beaver.Symbol

end

start

value

org.extendj.ast node type TypeAccess

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from org.extendj.ast.Access

Attributes inherited from org.extendj.ast.Expr

Attributes inherited from org.extendj.ast.ASTNode

Methods inherited from class org.extendj.ast.Access

Methods inherited from class org.extendj.ast.Expr

Methods inherited from class org.extendj.ast.ASTNode