org.walkmod.javalang.ast.stmt

Class ExplicitConstructorInvocationStmt

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.stmt.Statement

org.walkmod.javalang.ast.stmt.ExplicitConstructorInvocationStmt

All Implemented Interfaces:

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

public final class ExplicitConstructorInvocationStmt
extends Statement

Author:

Julio Vilmar Gesser

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExplicitConstructorInvocationStmt()
ExplicitConstructorInvocationStmt(boolean isThis, Expression expr, List<Expression> args)
ExplicitConstructorInvocationStmt(int beginLine, int beginColumn, int endLine, int endColumn, List<Type> typeArgs, boolean isThis, Expression expr, List<Expression> args)

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.
ExplicitConstructorInvocationStmt	clone()
List<Expression>	getArgs()
List<Node>	getChildren()
Expression	getExpr()
ConstructorSymbolData	getSymbolData() Returns the symbol data related to a given node.
List<Type>	getTypeArgs()
boolean	isThis()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setArgs(List<Expression> args)
void	setExpr(Expression expr)
void	setThis(boolean isThis)
void	setTypeArgs(List<Type> typeArgs)

Methods inherited from class org.walkmod.javalang.ast.stmt.Statement

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

ExplicitConstructorInvocationStmt

public ExplicitConstructorInvocationStmt()

ExplicitConstructorInvocationStmt

public ExplicitConstructorInvocationStmt(boolean isThis,
                                         Expression expr,
                                         List<Expression> args)

ExplicitConstructorInvocationStmt

public ExplicitConstructorInvocationStmt(int beginLine,
                                         int beginColumn,
                                         int endLine,
                                         int endColumn,
                                         List<Type> typeArgs,
                                         boolean isThis,
                                         Expression expr,
                                         List<Expression> args)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Statement

accept

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

Description copied from class: Node

Accept method for visitor support.

Specified by:

accept in class Node

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.

Specified by:

accept in class Node

Type Parameters:

A - the type the argument passed for the visitor

Parameters:

v - the visitor implementation

arg - any value relevant for the visitor

getArgs

public List<Expression> getArgs()

getExpr

public Expression getExpr()

getSymbolData

public ConstructorSymbolData getSymbolData()

Description copied from interface: SymbolDataAware

Returns the symbol data related to a given node. It is null if the node value is the null literal or does not represent any valid information. In case of statements nodes, it corresponds to the returned value, if exists.

Specified by:

getSymbolData in interface SymbolDataAware<SymbolData>

Overrides:

getSymbolData in class Statement

Returns:

the symbol data

getTypeArgs

public List<Type> getTypeArgs()

isThis

public boolean isThis()

setArgs

public void setArgs(List<Expression> args)

setExpr

public void setExpr(Expression expr)

setThis

public void setThis(boolean isThis)

setTypeArgs

public void setTypeArgs(List<Type> typeArgs)

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public ExplicitConstructorInvocationStmt clone()
                                        throws CloneNotSupportedException

Specified by:

clone in class Statement

Throws:

CloneNotSupportedException