Java Doc for OclOp.java in  » Testing » KeY » de » uka » ilkd » key » logic » op » oclop » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Testing » KeY » de.uka.ilkd.key.logic.op.oclop   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    de.uka.ilkd.key.logic.op.oclop.OclOp OclOp abstract public class OclOp (Code) Field Summary final public static  Function ABS      final public static  Function ALL_INSTANCES      final public static  Function ALL_SUBTYPES      final public static  Function AND      final public static  OclAny ANY      final public static  OclSequenceOp APPEND      final public static  OclCollectionConversion AS_BAG      final public static  OclCollectionConversion AS_SEQUENCE      final public static  OclCollectionConversion AS_SET      final public static  OclSequenceElems AT      final public static  OclCollect COLLECT      final public static  Function CONS_INV      final public static  Function COUNT      final public static  OclDifference DIFFERENCE      final public static  Function DIV      final public static  Function DIV_INFIX      final public static  OclEmptyBag EMPTY_BAG      final public static  OclEmptySequence EMPTY_SEQUENCE      final public static  OclEmptySet EMPTY_SET      final public static  Function EQUALS      final public static  Function EXCLUDES      final public static  Function EXCLUDES_ALL      final public static  OclSetOp EXCLUDING      final public static  OclQuantifier EXISTS      final public static  Function FALSE      final public static  OclSequenceElems FIRST      final public static  OclQuantifier FOR_ALL      final public static  Function GREATER_THAN      final public static  Function GREATER_THAN_EQ      final public static  OclIf IF      final public static  Function IMPLIES      final public static  Function INCLUDES      final public static  Function INCLUDES_ALL      final public static  OclSetOp INCLUDING      final public static  OclInsertBag INSERT_BAG      final public static  OclInsertSequence INSERT_SEQUENCE      final public static  OclInsertSet INSERT_SET      final public static  OclIntersection INTERSECTION      final public static  Function INVARIANT      final public static  Function IS_EMPTY      final public static  OclIsUnique IS_UNIQUE      final public static  OclIterate ITERATE      final public static  OclSequenceElems LAST      final public static  Function LESS_THAN      final public static  Function LESS_THAN_EQ      final public static  Function MAX      final public static  Function MIN      final public static  Function MINUS      final public static  Function MINUS_PREFIX      final public static  Function MOD      final public static  Function NIL_INV      final public static  Function NOT      final public static  Function NOT_EMPTY      final public static  Function NOT_EQUALS      final public static  Function OCL_IS_NEW      final public static  Function OCL_WRAPPER      final public static  OclQuantifier ONE      final public static  Function OR      final public static  Function PLUS      final public static  OclSequenceOp PREPEND      final public static  OclSubsetOp REJECT      final public static  OclSubsetOp SELECT      final public static  Function SELF      final public static  Function SIZE      final public static  OclSortedBy SORTED_BY      final public static  OclSubSequence SUB_SEQUENCE      final public static  Function SUM      final public static  OclDifference SYMMETRIC_DIFFERENCE      final public static  Function TIMES      final public static  Function TRUE      final public static  OclUnion UNION      final public static  Function XOR      Field Detail ABS final public static Function ABS(Code) ALL_INSTANCES final public static Function ALL_INSTANCES(Code) ALL_SUBTYPES final public static Function ALL_SUBTYPES(Code) AND final public static Function AND(Code) ANY final public static OclAny ANY(Code) APPEND final public static OclSequenceOp APPEND(Code) AS_BAG final public static OclCollectionConversion AS_BAG(Code) AS_SEQUENCE final public static OclCollectionConversion AS_SEQUENCE(Code) AS_SET final public static OclCollectionConversion AS_SET(Code) AT final public static OclSequenceElems AT(Code) COLLECT final public static OclCollect COLLECT(Code) CONS_INV final public static Function CONS_INV(Code) COUNT final public static Function COUNT(Code) DIFFERENCE final public static OclDifference DIFFERENCE(Code) DIV final public static Function DIV(Code) DIV_INFIX final public static Function DIV_INFIX(Code) EMPTY_BAG final public static OclEmptyBag EMPTY_BAG(Code) EMPTY_SEQUENCE final public static OclEmptySequence EMPTY_SEQUENCE(Code) EMPTY_SET final public static OclEmptySet EMPTY_SET(Code) EQUALS final public static Function EQUALS(Code) EXCLUDES final public static Function EXCLUDES(Code) EXCLUDES_ALL final public static Function EXCLUDES_ALL(Code) EXCLUDING final public static OclSetOp EXCLUDING(Code) EXISTS final public static OclQuantifier EXISTS(Code) FALSE final public static Function FALSE(Code) FIRST final public static OclSequenceElems FIRST(Code) FOR_ALL final public static OclQuantifier FOR_ALL(Code) GREATER_THAN final public static Function GREATER_THAN(Code) GREATER_THAN_EQ final public static Function GREATER_THAN_EQ(Code) IF final public static OclIf IF(Code) IMPLIES final public static Function IMPLIES(Code) INCLUDES final public static Function INCLUDES(Code) INCLUDES_ALL final public static Function INCLUDES_ALL(Code) INCLUDING final public static OclSetOp INCLUDING(Code) INSERT_BAG final public static OclInsertBag INSERT_BAG(Code) INSERT_SEQUENCE final public static OclInsertSequence INSERT_SEQUENCE(Code) INSERT_SET final public static OclInsertSet INSERT_SET(Code) INTERSECTION final public static OclIntersection INTERSECTION(Code) INVARIANT final public static Function INVARIANT(Code) IS_EMPTY final public static Function IS_EMPTY(Code) IS_UNIQUE final public static OclIsUnique IS_UNIQUE(Code) ITERATE final public static OclIterate ITERATE(Code) LAST final public static OclSequenceElems LAST(Code) LESS_THAN final public static Function LESS_THAN(Code) LESS_THAN_EQ final public static Function LESS_THAN_EQ(Code) MAX final public static Function MAX(Code) MIN final public static Function MIN(Code) MINUS final public static Function MINUS(Code) MINUS_PREFIX final public static Function MINUS_PREFIX(Code) MOD final public static Function MOD(Code) NIL_INV final public static Function NIL_INV(Code) NOT final public static Function NOT(Code) NOT_EMPTY final public static Function NOT_EMPTY(Code) NOT_EQUALS final public static Function NOT_EQUALS(Code) OCL_IS_NEW final public static Function OCL_IS_NEW(Code) OCL_WRAPPER final public static Function OCL_WRAPPER(Code) ONE final public static OclQuantifier ONE(Code) OR final public static Function OR(Code) PLUS final public static Function PLUS(Code) PREPEND final public static OclSequenceOp PREPEND(Code) REJECT final public static OclSubsetOp REJECT(Code) SELECT final public static OclSubsetOp SELECT(Code) SELF final public static Function SELF(Code) SIZE final public static Function SIZE(Code) SORTED_BY final public static OclSortedBy SORTED_BY(Code) SUB_SEQUENCE final public static OclSubSequence SUB_SEQUENCE(Code) SUM final public static Function SUM(Code) SYMMETRIC_DIFFERENCE final public static OclDifference SYMMETRIC_DIFFERENCE(Code) TIMES final public static Function TIMES(Code) TRUE final public static Function TRUE(Code) UNION final public static OclUnion UNION(Code) XOR final public static Function XOR(Code) Methods inherited from java.lang.Object protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object o)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) public int hashCode()(Code)(Java Doc) final public void notify() throws IllegalMonitorStateException(Code)(Java Doc) final public void notifyAll() throws IllegalMonitorStateException(Code)(Java Doc) public String toString()(Code)(Java Doc) final public void wait() throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc) final public void wait(long ms) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc) final public void wait(long ms, int ns) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)