org.walkmod.javalang.ast.expr

Class MethodReferenceExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.MethodReferenceExpr

All Implemented Interfaces:

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

public class MethodReferenceExpr
extends Expression
implements SymbolReference

Method reference expressions introduced in Java 8 specifically designed to simplify lambda Expressions. These are some examples: System.out::println; (test ? stream.map(String::trim) : stream)::toArray;

Author:

Raquel Pau

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MethodReferenceExpr()
MethodReferenceExpr(Expression scope, List<TypeParameter> typeParameters, String identifier)
MethodReferenceExpr(int beginLine, int beginColumn, int endLine, int endColumn, Expression scope, List<TypeParameter> typeParameters, String identifier)

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.
MethodReferenceExpr	clone()
List<Node>	getChildren()
String	getIdentifier()
Map<String,List<SymbolDefinition>>	getMethodDefinitions() Gets the available methods
SymbolData[]	getReferencedArgsSymbolData()
MethodSymbolData	getReferencedMethodSymbolData()
Expression	getScope()
SymbolData	getSymbolData() Returns the symbol data related to a given node.
SymbolDefinition	getSymbolDefinition()
Map<String,SymbolDefinition>	getTypeDefinitions() Gets the available variables
List<TypeParameter>	getTypeParameters()
Map<String,SymbolDefinition>	getVariableDefinitions() Gets the available variables
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setIdentifier(String identifier)
void	setReferencedArgsSymbolData(SymbolData[] referencedArgsSymbolData)
void	setReferencedMethodSymbolData(MethodSymbolData referencedMethodSymbolData)
void	setScope(Expression scope)
void	setSymbolDefinition(SymbolDefinition symbolDefinition)
void	setTypeParameters(List<TypeParameter> typeParameters)

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

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

MethodReferenceExpr

public MethodReferenceExpr()

MethodReferenceExpr

public MethodReferenceExpr(Expression scope,
                           List<TypeParameter> typeParameters,
                           String identifier)

MethodReferenceExpr

public MethodReferenceExpr(int beginLine,
                           int beginColumn,
                           int endLine,
                           int endColumn,
                           Expression scope,
                           List<TypeParameter> typeParameters,
                           String identifier)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Expression

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

getScope

public Expression getScope()

setScope

public void setScope(Expression scope)

getTypeParameters

public List<TypeParameter> getTypeParameters()

setTypeParameters

public void setTypeParameters(List<TypeParameter> typeParameters)

getIdentifier

public String getIdentifier()

setIdentifier

public void setIdentifier(String identifier)

getSymbolData

public SymbolData 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 Expression

Returns:

the symbol data

getReferencedMethodSymbolData

public MethodSymbolData getReferencedMethodSymbolData()

setReferencedMethodSymbolData

public void setReferencedMethodSymbolData(MethodSymbolData referencedMethodSymbolData)

getReferencedArgsSymbolData

public SymbolData[] getReferencedArgsSymbolData()

setReferencedArgsSymbolData

public void setReferencedArgsSymbolData(SymbolData[] referencedArgsSymbolData)

getSymbolDefinition

public SymbolDefinition getSymbolDefinition()

Specified by:

getSymbolDefinition in interface SymbolReference

setSymbolDefinition

public void setSymbolDefinition(SymbolDefinition symbolDefinition)

Specified by:

setSymbolDefinition in interface SymbolReference

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

clone

public MethodReferenceExpr clone()
                          throws CloneNotSupportedException

Specified by:

clone in class Expression

Throws:

CloneNotSupportedException

getVariableDefinitions

public Map<String,SymbolDefinition> getVariableDefinitions()

Description copied from interface: ScopeAware

Gets the available variables

Specified by:

getVariableDefinitions in interface ScopeAware

Returns:

the available variables

getMethodDefinitions

public Map<String,List<SymbolDefinition>> getMethodDefinitions()

Description copied from interface: ScopeAware

Gets the available methods

Specified by:

getMethodDefinitions in interface ScopeAware

Returns:

the available variables

getTypeDefinitions

public Map<String,SymbolDefinition> getTypeDefinitions()

Description copied from interface: ScopeAware

Gets the available variables

Specified by:

getTypeDefinitions in interface ScopeAware

Returns:

the available variables