uk.ac.ucl.cs.emofocl.jmi.reflect.extended
Class OCLCollection

java.lang.Object
  uk.ac.ucl.cs.emofocl.jmi.reflect.extended.OCLCollection

All Implemented Interfaces:

Iterable, Collection

Direct Known Subclasses:

Bag, OrderedSet, Sequence, Set

public abstract class OCLCollection
extends Object
implements Collection

Author:

James

Constructor Summary

protected

OCLCollection(CollectionType type, int lowerBound, int upperBound)

Method Summary

boolean	add(Object o)
protected boolean	extElementEquals(Object first, Object second)
protected int	extElementHashValue(Object toHash)
abstract boolean	extEquals(Object other)
abstract int	extHashValue()
CollectionType	getType()
abstract Iterator	iterator()
Collection	refVerifyConstraints(javax.jmi.reflect.RefObject parent, javax.jmi.reflect.RefObject meta, boolean deepVerify)
boolean	remove(Object o)
abstract int	size()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

addAll, clear, contains, containsAll, equals, hashCode, isEmpty, removeAll, retainAll, toArray, toArray

Constructor Detail

OCLCollection

protected OCLCollection(CollectionType type,
                        int lowerBound,
                        int upperBound)

Method Detail

add

public boolean add(Object o)

Specified by:

add in interface Collection

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection

extHashValue

public abstract int extHashValue()

extEquals

public abstract boolean extEquals(Object other)

extElementHashValue

protected int extElementHashValue(Object toHash)

extElementEquals

protected boolean extElementEquals(Object first,
                                   Object second)

size

public abstract int size()

Specified by:

size in interface Collection

iterator

public abstract Iterator iterator()

Specified by:

iterator in interface Iterable

Specified by:

iterator in interface Collection

getType

public CollectionType getType()

refVerifyConstraints

public Collection refVerifyConstraints(javax.jmi.reflect.RefObject parent,
                                       javax.jmi.reflect.RefObject meta,
                                       boolean deepVerify)