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
EssentialOCLCSLeft2RightVisitor.ResolvedInvocation(Operation invocation)

Method Summary

Methods

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

Field Detail

invocation

@NonNull
protected final Operation invocation

Constructor Detail

EssentialOCLCSLeft2RightVisitor.ResolvedInvocation

public EssentialOCLCSLeft2RightVisitor.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

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

Specified by:

iterator in interface java.lang.Iterable<NamedElement>