<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="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="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> |