org.walkmod.javalang.ast.expr

Class QualifiedNameExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.NameExpr

org.walkmod.javalang.ast.expr.QualifiedNameExpr

All Implemented Interfaces:

Serializable, Cloneable, ScopeAware, SymbolDataAware<SymbolData>, SymbolReference, org.walkmod.modelchecker.ConstrainedElement

public final class QualifiedNameExpr
extends NameExpr

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
QualifiedNameExpr()
QualifiedNameExpr(int beginLine, int beginColumn, int endLine, int endColumn, NameExpr scope, String name)
QualifiedNameExpr(NameExpr scope, String name)

Method Summary

Modifier and Type	Method and Description
<R,A> R	accept(GenericVisitor<R,A> v, A arg) Accept method for visitor support.
<A> void	accept(VoidVisitor<A> v, A arg) Accept method for visitor support.
QualifiedNameExpr	clone()
List<Node>	getChildren()
NameExpr	getQualifier()
boolean	removeChild(Node child)
void	setQualifier(NameExpr qualifier)

Methods inherited from class org.walkmod.javalang.ast.expr.NameExpr

getMethodDefinitions, getName, getSymbolDefinition, getTypeDefinitions, getVariableDefinitions, replaceChildNode, setName, setSymbolDefinition

Methods inherited from class org.walkmod.javalang.ast.expr.Expression

getSymbolData, setSymbolData

Methods inherited from class org.walkmod.javalang.ast.Node

check, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, replaceChildNodeInList, setAsParentNodeOf, setAsParentNodeOf, setBeginColumn, setBeginLine, setConstraints, setData, setEndColumn, setEndLine, toString, updateReferences

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

QualifiedNameExpr

public QualifiedNameExpr()

QualifiedNameExpr

public QualifiedNameExpr(NameExpr scope,
                         String name)

QualifiedNameExpr

public QualifiedNameExpr(int beginLine,
                         int beginColumn,
                         int endLine,
                         int endColumn,
                         NameExpr scope,
                         String name)

Method Detail

removeChild

public boolean removeChild(Node child)

Overrides:

removeChild in class NameExpr

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class NameExpr

accept

public <R,A> R accept(GenericVisitor<R,A> v,
                      A arg)

Description copied from class: Node

Accept method for visitor support.

Overrides:

accept in class NameExpr

Type Parameters:

R - the type the return value of the visitor

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

Returns:

the result of the visit

accept

public <A> void accept(VoidVisitor<A> v,
                       A arg)

Description copied from class: Node

Accept method for visitor support.

Overrides:

accept in class NameExpr

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

getQualifier

public NameExpr getQualifier()

setQualifier

public void setQualifier(NameExpr qualifier)

clone

public QualifiedNameExpr clone()
                        throws CloneNotSupportedException

Overrides:

clone in class NameExpr

Throws:

CloneNotSupportedException