uk.ac.ucl.cs.emofocl.ocl.library
Class ImpliesOp

java.lang.Object
  uk.ac.ucl.cs.emofocl.ocl.library.ImpliesOp

All Implemented Interfaces:

LibraryOperation

public class ImpliesOp
extends Object
implements LibraryOperation

Author:

James

Constructor Summary

ImpliesOp()

Method Summary

void	checkArguments(Specification specification, Type sourceType, List arguments)
Object	evaluate(Object source, List arguments)
LibraryOperationKind	getKind()
Type	getType(Specification specification, Type sourceType, List arguments)

Methods inherited from class java.lang.Object

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

Constructor Detail

ImpliesOp

public ImpliesOp()

Method Detail

getKind

public LibraryOperationKind getKind()

Specified by:

getKind in interface LibraryOperation

getType

public Type getType(Specification specification,
                    Type sourceType,
                    List arguments)

Specified by:

getType in interface LibraryOperation

checkArguments

public void checkArguments(Specification specification,
                           Type sourceType,
                           List arguments)
                    throws LibraryException

Specified by:

checkArguments in interface LibraryOperation

Throws:

LibraryException

evaluate

public Object evaluate(Object source,
                       List arguments)
                throws LibraryException

Specified by:

evaluate in interface LibraryOperation

Throws:

LibraryException