org.eclipse.ocl.examples.pivot.manager
Class CollectionTypeServer.TemplateArguments

java.lang.Object
  org.eclipse.ocl.examples.pivot.manager.CollectionTypeServer.TemplateArguments

All Implemented Interfaces:

java.lang.Iterable<java.lang.Object>

Enclosing class:

CollectionTypeServer

public static class CollectionTypeServer.TemplateArguments
extends java.lang.Object
implements java.lang.Iterable<java.lang.Object>

Nested Class Summary

protected class

CollectionTypeServer.TemplateArguments.Iterator

Constructor Summary

CollectionTypeServer.TemplateArguments(Type elementType, IntegerValue lower, IntegerValue upper)

Method Summary

boolean	equals(java.lang.Object o)
Type	getElementType()
IntegerValue	getLower()
IntegerValue	getUpper()
int	hashCode()
CollectionTypeServer.TemplateArguments.Iterator	iterator()
int	parametersSize()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CollectionTypeServer.TemplateArguments

public CollectionTypeServer.TemplateArguments(@NonNull
                                              Type elementType,
                                              @NonNull
                                              IntegerValue lower,
                                              @NonNull
                                              IntegerValue upper)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getElementType

@NonNull
public Type getElementType()

getLower

@NonNull
public IntegerValue getLower()

getUpper

@NonNull
public IntegerValue getUpper()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

iterator

@NonNull
public CollectionTypeServer.TemplateArguments.Iterator iterator()

Specified by:

iterator in interface java.lang.Iterable<java.lang.Object>

parametersSize

public int parametersSize()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object