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

java.lang.Object
  extended by 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