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 static 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, 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)