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>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
AbstractTypeServer.PartialProperties
public AbstractTypeServer.PartialProperties()
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