| <html> | |
| <head> | |
| <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> | |
| <title>The OCL Standard Library</title> | |
| <link href="book.css" rel="stylesheet" type="text/css"> | |
| <meta content="DocBook XSL Stylesheets V1.75.1" name="generator"> | |
| <link rel="home" href="index.html" title="OCL Documentation"> | |
| <link rel="up" href="index.html" title="OCL Documentation"> | |
| <link rel="prev" href="UserInterface.html" title="User Interface"> | |
| <link rel="next" href="Bag.html" title="Bag(T)"> | |
| </head> | |
| <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"> | |
| <h1 xmlns:l="http://docbook.sourceforge.net/xmlns/l10n/1.0">The OCL Standard Library</h1> | |
| <div class="chapter" title="The OCL Standard Library"> | |
| <div class="titlepage"> | |
| <div> | |
| <div> | |
| <h2 class="title"> | |
| <a name="StandardLibrary"></a>The OCL Standard Library</h2> | |
| </div> | |
| </div> | |
| </div> | |
| <div class="toc"> | |
| <dl> | |
| <dt> | |
| <span class="section"><a href="StandardLibrary.html#Precedences"> | |
| <span class="bold"><strong>Precedences</strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Bag.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Bag(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Boolean.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Boolean</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Class.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Class</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Collection.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Collection(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Enumeration.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Enumeration</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="EnumerationLiteral.html"> | |
| <span class="bold"><strong> | |
| <code class="code">EnumerationLiteral</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Integer.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Integer</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Map.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Map(K, V)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclAny.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclAny</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclComparable.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclComparable</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclElement.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclElement</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclEnumeration.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclEnumeration</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclInvalid.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclInvalid</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclLambda.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclLambda</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclMessage.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclMessage</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclSelf.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclSelf</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclState.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclState</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclStereotype.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclStereotype</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclSummable.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclSummable</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclTuple.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclTuple</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclType.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclType</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OclVoid.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OclVoid</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OrderedCollection.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OrderedCollection(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="OrderedSet.html"> | |
| <span class="bold"><strong> | |
| <code class="code">OrderedSet(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Real.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Real</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Sequence.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Sequence(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Set.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Set(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="State.html"> | |
| <span class="bold"><strong> | |
| <code class="code">State</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="String.html"> | |
| <span class="bold"><strong> | |
| <code class="code">String</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="Type.html"> | |
| <span class="bold"><strong> | |
| <code class="code">Type</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="UniqueCollection.html"> | |
| <span class="bold"><strong> | |
| <code class="code">UniqueCollection(T)</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| <dt> | |
| <span class="section"><a href="UnlimitedNatural.html"> | |
| <span class="bold"><strong> | |
| <code class="code">UnlimitedNatural</code> | |
| </strong></span> | |
| </a></span> | |
| </dt> | |
| </dl> | |
| </div> | |
| <p>This documentation on the OCL Standard Library is auto-generated from the | |
| org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib that defines | |
| the behaviour of the Pivot evaluator and the Xtext editors. It is similar to the OCL 2.4 functionality. | |
| It is a prototype of functionality for OCL 2.5 where the use of models may eliminate ambiguities.</p> | |
| <p>The library support for the Ecore and UML bindings in Luna has been upgraded so that the available operations | |
| are similar to those documented here for the Pivot binding.</p> | |
| <div class="section" title="Precedences"> | |
| <div class="titlepage"> | |
| <div> | |
| <div> | |
| <h2 class="title" style="clear: both"> | |
| <a name="Precedences"></a> | |
| <span class="bold"><strong>Precedences</strong></span> | |
| </h2> | |
| </div> | |
| </div> | |
| </div> | |
| <p> | |
| <code class="code">NAVIGATION</code> > | |
| <code class="code">UNARY</code> > | |
| <code class="code">MULTIPLICATIVE</code> > | |
| <code class="code">ADDITIVE</code> > | |
| <code class="code">RELATIONAL</code> > | |
| <code class="code">EQUALITY</code> > | |
| <code class="code">AND</code> > | |
| <code class="code">OR</code> > | |
| <code class="code">XOR</code> > | |
| <code class="code">IMPLIES</code> | |
| </p> | |
| </div> | |
| </div> | |
| </body> | |
| </html> |