org.walkmod.javalang.ast.expr

Class LambdaExpr

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.expr.Expression

org.walkmod.javalang.ast.expr.LambdaExpr

All Implemented Interfaces:

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

public class LambdaExpr
extends Expression
implements SymbolReference

Lambda expressions.

Author:

Raquel Pau

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
LambdaExpr()
LambdaExpr(int beginLine, int beginColumn, int endLine, int endColumn, List<Parameter> parameters, Statement body, boolean parametersEnclosed)
LambdaExpr(List<Parameter> parameters, Statement body, boolean parametersEnclosed)

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.
LambdaExpr	clone()
Statement	getBody()
List<Node>	getChildren()
Map<String,List<SymbolDefinition>>	getMethodDefinitions() Gets the available methods
List<Parameter>	getParameters()
SymbolDefinition	getSymbolDefinition()
Map<String,SymbolDefinition>	getTypeDefinitions() Gets the available variables
Map<String,SymbolDefinition>	getVariableDefinitions() Gets the available variables
boolean	isParametersEnclosed()
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setBody(Statement body)
void	setParameters(List<Parameter> parameters)
void	setParametersEnclosed(boolean parametersEnclosed)
void	setSymbolDefinition(SymbolDefinition symbolDefinition)

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

LambdaExpr

public LambdaExpr()

LambdaExpr

public LambdaExpr(int beginLine,
                  int beginColumn,
                  int endLine,
                  int endColumn,
                  List<Parameter> parameters,
                  Statement body,
                  boolean parametersEnclosed)

LambdaExpr

public LambdaExpr(List<Parameter> parameters,
                  Statement body,
                  boolean parametersEnclosed)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getChildren

public List<Node> getChildren()

Overrides:

getChildren in class Expression

getParameters

public List<Parameter> getParameters()

setParameters

public void setParameters(List<Parameter> parameters)

getBody

public Statement getBody()

setBody

public void setBody(Statement body)

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

isParametersEnclosed

public boolean isParametersEnclosed()

setParametersEnclosed

public void setParametersEnclosed(boolean parametersEnclosed)

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