Package de.monticore.ocl.oclexpressions._ast

Class ASTForallExpression

java.lang.Object

de.monticore.ast.ASTCNode

de.monticore.ocl.oclexpressions._ast.ASTForallExpression

All Implemented Interfaces:

de.monticore.ast.ASTNode, ASTExpression, ASTExpressionsBasisNode, ASTOCLExpressionsNode, Cloneable

public class ASTForallExpression
extends de.monticore.ast.ASTCNode
implements ASTExpression, ASTOCLExpressionsNode

Field Summary

Fields

Modifier and Type	Field	Description
protected IOCLExpressionsScope	enclosingScope
protected ASTExpression	expression
protected List<ASTInDeclaration>	inDeclarations
protected IOCLExpressionsScope	spannedScope

Fields inherited from class de.monticore.ast.ASTCNode

end, postcomments, precomments, start

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ASTForallExpression()

Method Summary

Modifier and Type	Method	Description
protected ASTForallExpression	_construct()
void	accept(ExpressionsBasisTraverser visitor)	Entry point for the Visitor pattern.
void	accept(MCLiteralsBasisTraverser visitor)	Entry point for the Visitor pattern.
void	accept(MCBasicsTraverser visitor)	Entry point for the Visitor pattern.
void	accept(OCLExpressionsTraverser visitor)	Entry point for the Visitor pattern.
void	accept(BasicSymbolsTraverser visitor)	Entry point for the Visitor pattern.
void	accept(MCBasicTypesTraverser visitor)	Entry point for the Visitor pattern.
void	accept(de.monticore.visitor.ITraverser visitor)	Entry point for the Visitor pattern.
boolean	addAllInDeclarations(int index, Collection<? extends ASTInDeclaration> collection)
boolean	addAllInDeclarations(Collection<? extends ASTInDeclaration> collection)
void	addInDeclaration(int index, ASTInDeclaration element)
boolean	addInDeclaration(ASTInDeclaration element)
void	clearInDeclarations()
boolean	containsAllInDeclarations(Collection<?> collection)
boolean	containsInDeclaration(Object element)
ASTForallExpression	deepClone()
ASTForallExpression	deepClone(ASTForallExpression result)
boolean	deepEquals(Object o)
boolean	deepEquals(Object o, boolean forceSameOrder)
boolean	deepEqualsWithComments(Object o)
boolean	deepEqualsWithComments(Object o, boolean forceSameOrder)
boolean	equalAttributes(Object o)
boolean	equalsInDeclarations(Object o)
boolean	equalsWithComments(Object o)
de.monticore.interpreter.Value	evaluate(de.monticore.interpreter.ModelInterpreter interpreter)
de.monticore.interpreter.Value	evaluate(IOCLExpressionsInterpreter interpreter)
void	forEachInDeclarations(Consumer<? super ASTInDeclaration> action)
IOCLExpressionsScope	getEnclosingScope()
ASTExpression	getExpression()
ASTInDeclaration	getInDeclaration(int index)
List<ASTInDeclaration>	getInDeclarationList()
IOCLExpressionsScope	getSpannedScope()
int	hashCodeInDeclarations()
int	indexOfInDeclaration(Object element)
boolean	isEmptyInDeclarations()
Iterator<ASTInDeclaration>	iteratorInDeclarations()
int	lastIndexOfInDeclaration(Object element)
ListIterator<ASTInDeclaration>	listIteratorInDeclarations()
ListIterator<ASTInDeclaration>	listIteratorInDeclarations(int index)
Stream<ASTInDeclaration>	parallelStreamInDeclarations()
boolean	removeAllInDeclarations(Collection<?> collection)
boolean	removeIfInDeclaration(Predicate<? super ASTInDeclaration> filter)
ASTInDeclaration	removeInDeclaration(int index)
boolean	removeInDeclaration(Object element)
void	replaceAllInDeclarations(UnaryOperator<ASTInDeclaration> operator)
boolean	retainAllInDeclarations(Collection<?> collection)
void	setEnclosingScope(IExpressionsBasisScope enclosingScope)
void	setEnclosingScope(IMCLiteralsBasisScope enclosingScope)
void	setEnclosingScope(IMCBasicsScope enclosingScope)
void	setEnclosingScope(IOCLExpressionsScope enclosingScope)
void	setEnclosingScope(IBasicSymbolsScope enclosingScope)
void	setEnclosingScope(IMCBasicTypesScope enclosingScope)
void	setExpression(ASTExpression expression)
ASTInDeclaration	setInDeclaration(int index, ASTInDeclaration element)
void	setInDeclarationList(List<ASTInDeclaration> inDeclarations)
void	setSpannedScope(IOCLExpressionsScope spannedScope)
int	sizeInDeclarations()
void	sortInDeclarations(Comparator<? super ASTInDeclaration> comparator)
Spliterator<ASTInDeclaration>	spliteratorInDeclarations()
Stream<ASTInDeclaration>	streamInDeclarations()
List<ASTInDeclaration>	subListInDeclarations(int start, int end)
Object[]	toArrayInDeclarations()
ASTInDeclaration[]	toArrayInDeclarations(ASTInDeclaration[] array)

Methods inherited from class de.monticore.ast.ASTCNode

add_PostComment, add_PostComment, add_PreComment, add_PreComment, addAll_PostComments, addAll_PostComments, addAll_PreComments, addAll_PreComments, clear_PostComments, clear_PreComments, contains_PostComment, contains_PreComment, containsAll_PostComments, containsAll_PreComments, equals_PostComments, equals_PreComments, forEach_PostComments, forEach_PreComments, get_PostComment, get_PostCommentList, get_PreComment, get_PreCommentList, get_SourcePositionEnd, get_SourcePositionStart, hashCode_PostComments, hashCode_PreComments, indexOf_PostComment, indexOf_PreComment, isEmpty_PostComments, isEmpty_PreComments, isPresent_SourcePositionEnd, isPresent_SourcePositionStart, iterator_PostComments, iterator_PreComments, lastIndexOf_PostComment, lastIndexOf_PreComment, listIterator_PostComments, listIterator_PostComments, listIterator_PreComments, listIterator_PreComments, parallelStream_PostComments, parallelStream_PreComments, remove_PostComment, remove_PostComment, remove_PreComment, remove_PreComment, removeAll_PostComments, removeAll_PreComments, removeIf_PostComment, removeIf_PreComment, replaceAll_PostComments, replaceAll_PreComments, retainAll_PostComments, retainAll_PreComments, set_PostComment, set_PostCommentList, set_PreComment, set_PreCommentList, set_SourcePositionEnd, set_SourcePositionEndAbsent, set_SourcePositionStart, set_SourcePositionStartAbsent, size_PostComments, size_PreComments, sort_PostComments, sort_PreComments, spliterator_PostComments, spliterator_PreComments, stream_PostComments, stream_PreComments, subList_PostComments, subList_PreComments, toArray_PostComments, toArray_PostComments, toArray_PreComments, toArray_PreComments

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.monticore.ast.ASTNode

add_PostComment, add_PostComment, add_PreComment, add_PreComment, addAll_PostComments, addAll_PostComments, addAll_PreComments, addAll_PreComments, clear_PostComments, clear_PreComments, contains_PostComment, contains_PreComment, containsAll_PostComments, containsAll_PreComments, equals_PostComments, equals_PreComments, forEach_PostComments, forEach_PreComments, get_PostComment, get_PostCommentList, get_PreComment, get_PreCommentList, get_SourcePositionEnd, get_SourcePositionStart, hashCode_PostComments, hashCode_PreComments, indexOf_PostComment, indexOf_PreComment, isEmpty_PostComments, isEmpty_PreComments, isPresent_SourcePositionEnd, isPresent_SourcePositionStart, iterator_PostComments, iterator_PreComments, lastIndexOf_PostComment, lastIndexOf_PreComment, listIterator_PostComments, listIterator_PostComments, listIterator_PreComments, listIterator_PreComments, parallelStream_PostComments, parallelStream_PreComments, remove_PostComment, remove_PostComment, remove_PreComment, remove_PreComment, removeAll_PostComments, removeAll_PreComments, removeIf_PostComment, removeIf_PreComment, replaceAll_PostComments, replaceAll_PreComments, retainAll_PostComments, retainAll_PreComments, set_PostComment, set_PostCommentList, set_PreComment, set_PreCommentList, set_SourcePositionEnd, set_SourcePositionEndAbsent, set_SourcePositionStart, set_SourcePositionStartAbsent, size_PostComments, size_PreComments, sort_PostComments, sort_PreComments, spliterator_PostComments, spliterator_PreComments, stream_PostComments, stream_PreComments, subList_PostComments, subList_PreComments, toArray_PostComments, toArray_PostComments, toArray_PreComments, toArray_PreComments

Field Details

inDeclarations

protected List<ASTInDeclaration> inDeclarations

expression

protected ASTExpression expression

spannedScope

protected IOCLExpressionsScope spannedScope

enclosingScope

protected IOCLExpressionsScope enclosingScope

Constructor Details

ASTForallExpression

protected ASTForallExpression()

Method Details

deepEquals

public boolean deepEquals(Object o)

Specified by:

deepEquals in interface ASTExpression

Specified by:

deepEquals in interface de.monticore.ast.ASTNode

deepEquals

public boolean deepEquals(Object o,
 boolean forceSameOrder)

Specified by:

deepEquals in interface ASTExpression

Specified by:

deepEquals in interface de.monticore.ast.ASTNode

deepEqualsWithComments

public boolean deepEqualsWithComments(Object o)

Specified by:

deepEqualsWithComments in interface ASTExpression

Specified by:

deepEqualsWithComments in interface de.monticore.ast.ASTNode

deepEqualsWithComments

public boolean deepEqualsWithComments(Object o,
 boolean forceSameOrder)

Specified by:

deepEqualsWithComments in interface ASTExpression

Specified by:

deepEqualsWithComments in interface de.monticore.ast.ASTNode

equalAttributes

public boolean equalAttributes(Object o)

Specified by:

equalAttributes in interface ASTExpression

Specified by:

equalAttributes in interface de.monticore.ast.ASTNode

equalsWithComments

public boolean equalsWithComments(Object o)

Specified by:

equalsWithComments in interface ASTExpression

Specified by:

equalsWithComments in interface de.monticore.ast.ASTNode

deepClone

public ASTForallExpression deepClone()

Specified by:

deepClone in interface ASTExpression

Specified by:

deepClone in interface de.monticore.ast.ASTNode

Specified by:

deepClone in class de.monticore.ast.ASTCNode

deepClone

public ASTForallExpression deepClone(ASTForallExpression result)

containsInDeclaration

public boolean containsInDeclaration(Object element)

containsAllInDeclarations

public boolean containsAllInDeclarations(Collection<?> collection)

isEmptyInDeclarations

public boolean isEmptyInDeclarations()

iteratorInDeclarations

public Iterator<ASTInDeclaration> iteratorInDeclarations()

sizeInDeclarations

public int sizeInDeclarations()

toArrayInDeclarations

public ASTInDeclaration[] toArrayInDeclarations(ASTInDeclaration[] array)

toArrayInDeclarations

public Object[] toArrayInDeclarations()

spliteratorInDeclarations

public Spliterator<ASTInDeclaration> spliteratorInDeclarations()

streamInDeclarations

public Stream<ASTInDeclaration> streamInDeclarations()

parallelStreamInDeclarations

public Stream<ASTInDeclaration> parallelStreamInDeclarations()

getInDeclaration

public ASTInDeclaration getInDeclaration(int index)

indexOfInDeclaration

public int indexOfInDeclaration(Object element)

lastIndexOfInDeclaration

public int lastIndexOfInDeclaration(Object element)

equalsInDeclarations

public boolean equalsInDeclarations(Object o)

hashCodeInDeclarations

public int hashCodeInDeclarations()

listIteratorInDeclarations

public ListIterator<ASTInDeclaration> listIteratorInDeclarations()

listIteratorInDeclarations

public ListIterator<ASTInDeclaration> listIteratorInDeclarations(int index)

subListInDeclarations

public List<ASTInDeclaration> subListInDeclarations(int start,
 int end)

getInDeclarationList

public List<ASTInDeclaration> getInDeclarationList()

getExpression

public ASTExpression getExpression()

clearInDeclarations

public void clearInDeclarations()

addInDeclaration

public boolean addInDeclaration(ASTInDeclaration element)

addAllInDeclarations

public boolean addAllInDeclarations(Collection<? extends ASTInDeclaration> collection)

removeInDeclaration

public boolean removeInDeclaration(Object element)

removeAllInDeclarations

public boolean removeAllInDeclarations(Collection<?> collection)

retainAllInDeclarations

public boolean retainAllInDeclarations(Collection<?> collection)

removeIfInDeclaration

public boolean removeIfInDeclaration(Predicate<? super ASTInDeclaration> filter)

forEachInDeclarations

public void forEachInDeclarations(Consumer<? super ASTInDeclaration> action)

addInDeclaration

public void addInDeclaration(int index,
 ASTInDeclaration element)

addAllInDeclarations

public boolean addAllInDeclarations(int index,
 Collection<? extends ASTInDeclaration> collection)

removeInDeclaration

public ASTInDeclaration removeInDeclaration(int index)

setInDeclaration

public ASTInDeclaration setInDeclaration(int index,
 ASTInDeclaration element)

replaceAllInDeclarations

public void replaceAllInDeclarations(UnaryOperator<ASTInDeclaration> operator)

sortInDeclarations

public void sortInDeclarations(Comparator<? super ASTInDeclaration> comparator)

setInDeclarationList

public void setInDeclarationList(List<ASTInDeclaration> inDeclarations)

setExpression

public void setExpression(ASTExpression expression)

accept

public void accept(OCLExpressionsTraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Specified by:

accept in interface ASTOCLExpressionsNode

Parameters:

visitor - the visitor to dispatch to

accept

public void accept(ExpressionsBasisTraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Specified by:

accept in interface ASTExpressionsBasisNode

Parameters:

visitor - the visitor to dispatch to

accept

public void accept(MCBasicTypesTraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Parameters:

visitor - the visitor to dispatch to

accept

public void accept(BasicSymbolsTraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Parameters:

visitor - the visitor to dispatch to

accept

public void accept(MCBasicsTraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Parameters:

visitor - the visitor to dispatch to

accept

public void accept(MCLiteralsBasisTraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Parameters:

visitor - the visitor to dispatch to

accept

public void accept(de.monticore.visitor.ITraverser visitor)

Entry point for the Visitor pattern. Cf. MontiCore handbook chapter 8.

Specified by:

accept in interface de.monticore.ast.ASTNode

Parameters:

visitor - the visitor to dispatch to

_construct

protected ASTForallExpression _construct()

getSpannedScope

public IOCLExpressionsScope getSpannedScope()

setSpannedScope

public void setSpannedScope(IOCLExpressionsScope spannedScope)

getEnclosingScope

public IOCLExpressionsScope getEnclosingScope()

Specified by:

getEnclosingScope in interface ASTExpression

Specified by:

getEnclosingScope in interface de.monticore.ast.ASTNode

setEnclosingScope

public void setEnclosingScope(IOCLExpressionsScope enclosingScope)

setEnclosingScope

public void setEnclosingScope(IExpressionsBasisScope enclosingScope)

Specified by:

setEnclosingScope in interface ASTExpression

setEnclosingScope

public void setEnclosingScope(IMCBasicTypesScope enclosingScope)

setEnclosingScope

public void setEnclosingScope(IBasicSymbolsScope enclosingScope)

setEnclosingScope

public void setEnclosingScope(IMCBasicsScope enclosingScope)

Specified by:

setEnclosingScope in interface ASTExpression

setEnclosingScope

public void setEnclosingScope(IMCLiteralsBasisScope enclosingScope)

Specified by:

setEnclosingScope in interface ASTExpression

evaluate

public de.monticore.interpreter.Value evaluate(IOCLExpressionsInterpreter interpreter)

evaluate

public de.monticore.interpreter.Value evaluate(de.monticore.interpreter.ModelInterpreter interpreter)

Specified by:

evaluate in interface de.monticore.ast.ASTNode