org.eclipse.ocl.xtext.essentialocl.cs2as

Class EssentialOCLCSLeft2RightVisitor.ResolvedInvocation

java.lang.Object

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

All Implemented Interfaces:

Iterable<NamedElement>, EssentialOCLCSLeft2RightVisitor.Invocations

Enclosing class:

EssentialOCLCSLeft2RightVisitor

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

Constructor Summary

Constructors

Constructor and Description
ResolvedInvocation(Operation invocation)

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ResolvedInvocation

public ResolvedInvocation(Operation invocation)

Method Detail

getSingleResult

public NamedElement getSingleResult()

Specified by:

getSingleResult in interface EssentialOCLCSLeft2RightVisitor.Invocations

getSourceType

public Type getSourceType()

Specified by:

getSourceType in interface EssentialOCLCSLeft2RightVisitor.Invocations

iterator

public Iterator<NamedElement> iterator()

Specified by:

iterator in interface Iterable<NamedElement>