org.eclipse.ocl.examples.pivot.manager
Class AbstractTypeServer.PartialProperties

java.lang.Object
  org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer.PartialProperties

All Implemented Interfaces:

java.lang.Iterable<DomainProperty>

Enclosing class:

AbstractTypeServer

public class AbstractTypeServer.PartialProperties
extends java.lang.Object
implements java.lang.Iterable<DomainProperty>

Constructor Summary

AbstractTypeServer.PartialProperties()

Method Summary

void	add(DomainProperty pivotProperty)
DomainProperty	get()
boolean	isEmpty()
java.util.Iterator<DomainProperty>	iterator()
void	remove(DomainProperty pivotProperty)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTypeServer.PartialProperties

public AbstractTypeServer.PartialProperties()

Method Detail

add

public void add(@NonNull
                DomainProperty pivotProperty)

get

@Nullable
public DomainProperty get()

isEmpty

public boolean isEmpty()

iterator

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

Specified by:

iterator in interface java.lang.Iterable<DomainProperty>

remove

public void remove(@NonNull
                   DomainProperty pivotProperty)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object