org.eclipse.ocl.xtext.essentialocl.cs2as

Class EssentialOCLCSLeft2RightVisitor.ResolvedInvocation

java.lang.Object

org.eclipse.ocl.xtext.essentialocl.cs2as.EssentialOCLCSLeft2RightVisitor.ResolvedInvocation

All Implemented Interfaces:

java.lang.Iterable<NamedElement>, EssentialOCLCSLeft2RightVisitor.Invocations

Enclosing class:

EssentialOCLCSLeft2RightVisitor

public static class EssentialOCLCSLeft2RightVisitor.ResolvedInvocation
extends java.lang.Object
implements EssentialOCLCSLeft2RightVisitor.Invocations

Field Summary

Fields

Modifier and Type	Field and Description
protected Operation	invocation

Constructor Summary

Constructors

Constructor and Description
ResolvedInvocation(Operation invocation)

Method Summary

Modifier and Type	Method and Description
NamedElement	getSingleResult()
Type	getSourceType()
java.util.Iterator<NamedElement>	iterator()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

invocation

@NonNull
protected final Operation invocation

Constructor Detail

ResolvedInvocation

public ResolvedInvocation(@NonNull
                          Operation invocation)

Method Detail

getSingleResult

@NonNull
public NamedElement getSingleResult()

Specified by:

getSingleResult in interface EssentialOCLCSLeft2RightVisitor.Invocations

getSourceType

@NonNull
public Type getSourceType()

Specified by:

getSourceType in interface EssentialOCLCSLeft2RightVisitor.Invocations

iterator

@NonNull
public java.util.Iterator<NamedElement> iterator()

Specified by:

iterator in interface java.lang.Iterable<NamedElement>