uk.ac.ucl.cs.emofocl.jmigen.extended
Class OperationSet

java.lang.Object
  uk.ac.ucl.cs.emofocl.jmigen.extended.OperationSet

public class OperationSet
extends Object

This class is used to determine the full operational interface of a class given the operations it defines, and those defined by it's superclasses.

Author:

James

Constructor Summary

OperationSet()

Method Summary

boolean	add(Operation operation)
void	addAll(Collection operations)
boolean	contains(Operation operation)
boolean	remove(Operation operation)

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationSet

public OperationSet()

Method Detail

addAll

public void addAll(Collection operations)

add

public boolean add(Operation operation)

remove

public boolean remove(Operation operation)

contains

public boolean contains(Operation operation)