|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.examples.library.AbstractFeature
org.eclipse.ocl.examples.library.AbstractOperation
org.eclipse.ocl.examples.library.AbstractUnaryOperation
org.eclipse.ocl.examples.library.collection.CollectionAsBagOperation
public class CollectionAsBagOperation
CollectionAsBagOperation realises the Collection::asBag() library operation.
| Field Summary | |
|---|---|
static CollectionAsBagOperation |
INSTANCE
|
| Constructor Summary | |
|---|---|
CollectionAsBagOperation()
|
|
| Method Summary | |
|---|---|
Value |
evaluate(ValueFactory valueFactory,
Value argument)
Return the result of evaluating the operation on an argument. |
| Methods inherited from class org.eclipse.ocl.examples.library.AbstractUnaryOperation |
|---|
evaluate |
| Methods inherited from class org.eclipse.ocl.examples.library.AbstractOperation |
|---|
evaluate, evaluateArgument, getNumArguments |
| Methods inherited from class org.eclipse.ocl.examples.library.AbstractFeature |
|---|
validate |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.CallableImplementation |
|---|
evaluate, validate |
| Field Detail |
|---|
public static final CollectionAsBagOperation INSTANCE
| Constructor Detail |
|---|
public CollectionAsBagOperation()
| Method Detail |
|---|
public Value evaluate(ValueFactory valueFactory,
Value argument)
throws InvalidValueException
LibraryUnaryOperation
argument - the argument
InvalidValueException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||