forked from JavaTX/JavaCompilerCore
389 lines
28 KiB
HTML
389 lines
28 KiB
HTML
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|||
|
|
<!-- NewPage -->
|
|||
|
|
<html lang="de">
|
|||
|
|
<head>
|
|||
|
|
<!-- Generated by javadoc (version 1.7.0_25) on Wed Sep 18 10:43:06 CEST 2013 -->
|
|||
|
|
<title>Uses of Class typinferenz.ConstraintsSet</title>
|
|||
|
|
<meta name="date" content="2013-09-18">
|
|||
|
|
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
|
|||
|
|
</head>
|
|||
|
|
<body>
|
|||
|
|
<script type="text/javascript"><!--
|
|||
|
|
if (location.href.indexOf('is-external=true') == -1) {
|
|||
|
|
parent.document.title="Uses of Class typinferenz.ConstraintsSet";
|
|||
|
|
}
|
|||
|
|
//-->
|
|||
|
|
</script>
|
|||
|
|
<noscript>
|
|||
|
|
<div>JavaScript is disabled on your browser.</div>
|
|||
|
|
</noscript>
|
|||
|
|
<!-- ========= START OF TOP NAVBAR ======= -->
|
|||
|
|
<div class="topNav"><a name="navbar_top">
|
|||
|
|
<!-- -->
|
|||
|
|
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
|
|||
|
|
<!-- -->
|
|||
|
|
</a>
|
|||
|
|
<ul class="navList" title="Navigation">
|
|||
|
|
<li><a href="../../overview-summary.html">Overview</a></li>
|
|||
|
|
<li><a href="../package-summary.html">Package</a></li>
|
|||
|
|
<li><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">Class</a></li>
|
|||
|
|
<li class="navBarCell1Rev">Use</li>
|
|||
|
|
<li><a href="../package-tree.html">Tree</a></li>
|
|||
|
|
<li><a href="../../deprecated-list.html">Deprecated</a></li>
|
|||
|
|
<li><a href="../../index-files/index-1.html">Index</a></li>
|
|||
|
|
<li><a href="../../help-doc.html">Help</a></li>
|
|||
|
|
</ul>
|
|||
|
|
</div>
|
|||
|
|
<div class="subNav">
|
|||
|
|
<ul class="navList">
|
|||
|
|
<li>Prev</li>
|
|||
|
|
<li>Next</li>
|
|||
|
|
</ul>
|
|||
|
|
<ul class="navList">
|
|||
|
|
<li><a href="../../index.html?typinferenz/class-use/ConstraintsSet.html" target="_top">Frames</a></li>
|
|||
|
|
<li><a href="ConstraintsSet.html" target="_top">No Frames</a></li>
|
|||
|
|
</ul>
|
|||
|
|
<ul class="navList" id="allclasses_navbar_top">
|
|||
|
|
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
|
|||
|
|
</ul>
|
|||
|
|
<div>
|
|||
|
|
<script type="text/javascript"><!--
|
|||
|
|
allClassesLink = document.getElementById("allclasses_navbar_top");
|
|||
|
|
if(window==top) {
|
|||
|
|
allClassesLink.style.display = "block";
|
|||
|
|
}
|
|||
|
|
else {
|
|||
|
|
allClassesLink.style.display = "none";
|
|||
|
|
}
|
|||
|
|
//-->
|
|||
|
|
</script>
|
|||
|
|
</div>
|
|||
|
|
<a name="skip-navbar_top">
|
|||
|
|
<!-- -->
|
|||
|
|
</a></div>
|
|||
|
|
<!-- ========= END OF TOP NAVBAR ========= -->
|
|||
|
|
<div class="header">
|
|||
|
|
<h2 title="Uses of Class typinferenz.ConstraintsSet" class="title">Uses of Class<br>typinferenz.ConstraintsSet</h2>
|
|||
|
|
</div>
|
|||
|
|
<div class="classUseContainer">
|
|||
|
|
<ul class="blockList">
|
|||
|
|
<li class="blockList">
|
|||
|
|
<table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing packages, and an explanation">
|
|||
|
|
<caption><span>Packages that use <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption>
|
|||
|
|
<tr>
|
|||
|
|
<th class="colFirst" scope="col">Package</th>
|
|||
|
|
<th class="colLast" scope="col">Description</th>
|
|||
|
|
</tr>
|
|||
|
|
<tbody>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><a href="#mycompiler.myclass">mycompiler.myclass</a></td>
|
|||
|
|
<td class="colLast"> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><a href="#mycompiler.mystatement">mycompiler.mystatement</a></td>
|
|||
|
|
<td class="colLast"> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><a href="#typinferenz">typinferenz</a></td>
|
|||
|
|
<td class="colLast"> </td>
|
|||
|
|
</tr>
|
|||
|
|
</tbody>
|
|||
|
|
</table>
|
|||
|
|
</li>
|
|||
|
|
<li class="blockList">
|
|||
|
|
<ul class="blockList">
|
|||
|
|
<li class="blockList"><a name="mycompiler.myclass">
|
|||
|
|
<!-- -->
|
|||
|
|
</a>
|
|||
|
|
<h3>Uses of <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> in <a href="../../mycompiler/myclass/package-summary.html">mycompiler.myclass</a></h3>
|
|||
|
|
<table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing methods, and an explanation">
|
|||
|
|
<caption><span>Methods in <a href="../../mycompiler/myclass/package-summary.html">mycompiler.myclass</a> that return <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption>
|
|||
|
|
<tr>
|
|||
|
|
<th class="colFirst" scope="col">Modifier and Type</th>
|
|||
|
|
<th class="colLast" scope="col">Method and Description</th>
|
|||
|
|
</tr>
|
|||
|
|
<tbody>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Method.</span><code><strong><a href="../../mycompiler/myclass/Method.html#TYPE(typinferenz.TypeAssumptions)">TYPE</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> ass)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Class.</span><code><strong><a href="../../mycompiler/myclass/Class.html#TYPE(java.util.Vector, java.util.Vector, typinferenz.TypeAssumptions)">TYPE</a></strong>(java.util.Vector<<a href="../../mycompiler/myclass/Method.html" title="class in mycompiler.myclass">Method</a>> methodList,
|
|||
|
|
java.util.Vector<<a href="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</a>> fielddeclarationList,
|
|||
|
|
<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
</tbody>
|
|||
|
|
</table>
|
|||
|
|
</li>
|
|||
|
|
<li class="blockList"><a name="mycompiler.mystatement">
|
|||
|
|
<!-- -->
|
|||
|
|
</a>
|
|||
|
|
<h3>Uses of <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> in <a href="../../mycompiler/mystatement/package-summary.html">mycompiler.mystatement</a></h3>
|
|||
|
|
<table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing methods, and an explanation">
|
|||
|
|
<caption><span>Methods in <a href="../../mycompiler/mystatement/package-summary.html">mycompiler.mystatement</a> that return <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption>
|
|||
|
|
<tr>
|
|||
|
|
<th class="colFirst" scope="col">Modifier and Type</th>
|
|||
|
|
<th class="colLast" scope="col">Method and Description</th>
|
|||
|
|
</tr>
|
|||
|
|
<tbody>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">PositivExpr.</span><code><strong><a href="../../mycompiler/mystatement/PositivExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">PreDecExpr.</span><code><strong><a href="../../mycompiler/mystatement/PreDecExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">LambdaExpression.</span><code><strong><a href="../../mycompiler/mystatement/LambdaExpression.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code>
|
|||
|
|
<div class="block">Spezifikation:
|
|||
|
|
|
|||
|
|
TYPEExpr( Ass, Lambda( (x1 , . . . , xN ), expr|stmt ) ) =
|
|||
|
|
let
|
|||
|
|
AssArgs = { xi : ai | ai fresh type variables }
|
|||
|
|
(exprt : rty, ConS) = TYPEExpr( Ass ∪ AssArgs, expr )
|
|||
|
|
| (stmtt : rty, ConS) = TYPEStmt( Ass u AssArgs, stmt )
|
|||
|
|
in
|
|||
|
|
(Lambda( (x1 : a1 , . . . , xN : aN ), exprt : rty|stmtt : rty ) : a,
|
|||
|
|
ConS ∪ { (FunN<rty, a1 , . . . , aN > a) }),
|
|||
|
|
where a is a fresh type variable</div>
|
|||
|
|
</td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code>abstract <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Expr.</span><code><strong><a href="../../mycompiler/mystatement/Expr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Binary.</span><code><strong><a href="../../mycompiler/mystatement/Binary.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">PostDecExpr.</span><code><strong><a href="../../mycompiler/mystatement/PostDecExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">NewArray.</span><code><strong><a href="../../mycompiler/mystatement/NewArray.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">This.</span><code><strong><a href="../../mycompiler/mystatement/This.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">PreIncExpr.</span><code><strong><a href="../../mycompiler/mystatement/PreIncExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">PostIncExpr.</span><code><strong><a href="../../mycompiler/mystatement/PostIncExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">LongLiteral.</span><code><strong><a href="../../mycompiler/mystatement/LongLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">NotExpr.</span><code><strong><a href="../../mycompiler/mystatement/NotExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">LocalOrFieldVar.</span><code><strong><a href="../../mycompiler/mystatement/LocalOrFieldVar.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Assign.</span><code><strong><a href="../../mycompiler/mystatement/Assign.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">CastExpr.</span><code><strong><a href="../../mycompiler/mystatement/CastExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">CharLiteral.</span><code><strong><a href="../../mycompiler/mystatement/CharLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">InstVar.</span><code><strong><a href="../../mycompiler/mystatement/InstVar.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">DoubleLiteral.</span><code><strong><a href="../../mycompiler/mystatement/DoubleLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Null.</span><code><strong><a href="../../mycompiler/mystatement/Null.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">NegativeExpr.</span><code><strong><a href="../../mycompiler/mystatement/NegativeExpr.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">InstanceOf.</span><code><strong><a href="../../mycompiler/mystatement/InstanceOf.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">StringLiteral.</span><code><strong><a href="../../mycompiler/mystatement/StringLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">FloatLiteral.</span><code><strong><a href="../../mycompiler/mystatement/FloatLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">MethodCall.</span><code><strong><a href="../../mycompiler/mystatement/MethodCall.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">NewClass.</span><code><strong><a href="../../mycompiler/mystatement/NewClass.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">BoolLiteral.</span><code><strong><a href="../../mycompiler/mystatement/BoolLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">IntLiteral.</span><code><strong><a href="../../mycompiler/mystatement/IntLiteral.html#TYPEExpr(typinferenz.TypeAssumptions)">TYPEExpr</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">LambdaExpression.</span><code><strong><a href="../../mycompiler/mystatement/LambdaExpression.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> ass)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Expr.</span><code><strong><a href="../../mycompiler/mystatement/Expr.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">WhileStmt.</span><code><strong><a href="../../mycompiler/mystatement/WhileStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">EmptyStmt.</span><code><strong><a href="../../mycompiler/mystatement/EmptyStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Return.</span><code><strong><a href="../../mycompiler/mystatement/Return.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Block.</span><code><strong><a href="../../mycompiler/mystatement/Block.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">LocalVarDecl.</span><code><strong><a href="../../mycompiler/mystatement/LocalVarDecl.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">IfStmt.</span><code><strong><a href="../../mycompiler/mystatement/IfStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Assign.</span><code><strong><a href="../../mycompiler/mystatement/Assign.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code>
|
|||
|
|
<div class="block">Spezifikation:
|
|||
|
|
TYPEStmt( Ass, stmt ) =
|
|||
|
|
let (stmt : rty, ConS) = TYPEExpr( Ass, stmt )
|
|||
|
|
in (stmt : Void, ConS)</div>
|
|||
|
|
</td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">ForStmt.</span><code><strong><a href="../../mycompiler/mystatement/ForStmt.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">MethodCall.</span><code><strong><a href="../../mycompiler/mystatement/MethodCall.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code>
|
|||
|
|
<div class="block">Spezifikation:
|
|||
|
|
TYPEStmt( Ass, stmt ) =
|
|||
|
|
let (stmt : rty, ConS) = TYPEExpr( Ass, stmt )
|
|||
|
|
in (stmt : Void, ConS)</div>
|
|||
|
|
</td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code>abstract <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">Statement.</span><code><strong><a href="../../mycompiler/mystatement/Statement.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
<tr class="rowColor">
|
|||
|
|
<td class="colFirst"><code><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></code></td>
|
|||
|
|
<td class="colLast"><span class="strong">NewClass.</span><code><strong><a href="../../mycompiler/mystatement/NewClass.html#TYPEStmt(typinferenz.TypeAssumptions)">TYPEStmt</a></strong>(<a href="../../typinferenz/TypeAssumptions.html" title="class in typinferenz">TypeAssumptions</a> assumptions)</code>
|
|||
|
|
<div class="block">Spezifikation:
|
|||
|
|
TYPEStmt( Ass, stmt ) =
|
|||
|
|
let (stmt : rty, ConS) = TYPEExpr( Ass, stmt )
|
|||
|
|
in (stmt : Void, ConS)</div>
|
|||
|
|
</td>
|
|||
|
|
</tr>
|
|||
|
|
</tbody>
|
|||
|
|
</table>
|
|||
|
|
</li>
|
|||
|
|
<li class="blockList"><a name="typinferenz">
|
|||
|
|
<!-- -->
|
|||
|
|
</a>
|
|||
|
|
<h3>Uses of <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> in <a href="../../typinferenz/package-summary.html">typinferenz</a></h3>
|
|||
|
|
<table border="0" cellpadding="3" cellspacing="0" summary="Use table, listing methods, and an explanation">
|
|||
|
|
<caption><span>Methods in <a href="../../typinferenz/package-summary.html">typinferenz</a> with parameters of type <a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a></span><span class="tabEnd"> </span></caption>
|
|||
|
|
<tr>
|
|||
|
|
<th class="colFirst" scope="col">Modifier and Type</th>
|
|||
|
|
<th class="colLast" scope="col">Method and Description</th>
|
|||
|
|
</tr>
|
|||
|
|
<tbody>
|
|||
|
|
<tr class="altColor">
|
|||
|
|
<td class="colFirst"><code>void</code></td>
|
|||
|
|
<td class="colLast"><span class="strong">ConstraintsSet.</span><code><strong><a href="../../typinferenz/ConstraintsSet.html#add(typinferenz.ConstraintsSet)">add</a></strong>(<a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">ConstraintsSet</a> CSet)</code> </td>
|
|||
|
|
</tr>
|
|||
|
|
</tbody>
|
|||
|
|
</table>
|
|||
|
|
</li>
|
|||
|
|
</ul>
|
|||
|
|
</li>
|
|||
|
|
</ul>
|
|||
|
|
</div>
|
|||
|
|
<!-- ======= START OF BOTTOM NAVBAR ====== -->
|
|||
|
|
<div class="bottomNav"><a name="navbar_bottom">
|
|||
|
|
<!-- -->
|
|||
|
|
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
|
|||
|
|
<!-- -->
|
|||
|
|
</a>
|
|||
|
|
<ul class="navList" title="Navigation">
|
|||
|
|
<li><a href="../../overview-summary.html">Overview</a></li>
|
|||
|
|
<li><a href="../package-summary.html">Package</a></li>
|
|||
|
|
<li><a href="../../typinferenz/ConstraintsSet.html" title="class in typinferenz">Class</a></li>
|
|||
|
|
<li class="navBarCell1Rev">Use</li>
|
|||
|
|
<li><a href="../package-tree.html">Tree</a></li>
|
|||
|
|
<li><a href="../../deprecated-list.html">Deprecated</a></li>
|
|||
|
|
<li><a href="../../index-files/index-1.html">Index</a></li>
|
|||
|
|
<li><a href="../../help-doc.html">Help</a></li>
|
|||
|
|
</ul>
|
|||
|
|
</div>
|
|||
|
|
<div class="subNav">
|
|||
|
|
<ul class="navList">
|
|||
|
|
<li>Prev</li>
|
|||
|
|
<li>Next</li>
|
|||
|
|
</ul>
|
|||
|
|
<ul class="navList">
|
|||
|
|
<li><a href="../../index.html?typinferenz/class-use/ConstraintsSet.html" target="_top">Frames</a></li>
|
|||
|
|
<li><a href="ConstraintsSet.html" target="_top">No Frames</a></li>
|
|||
|
|
</ul>
|
|||
|
|
<ul class="navList" id="allclasses_navbar_bottom">
|
|||
|
|
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
|
|||
|
|
</ul>
|
|||
|
|
<div>
|
|||
|
|
<script type="text/javascript"><!--
|
|||
|
|
allClassesLink = document.getElementById("allclasses_navbar_bottom");
|
|||
|
|
if(window==top) {
|
|||
|
|
allClassesLink.style.display = "block";
|
|||
|
|
}
|
|||
|
|
else {
|
|||
|
|
allClassesLink.style.display = "none";
|
|||
|
|
}
|
|||
|
|
//-->
|
|||
|
|
</script>
|
|||
|
|
</div>
|
|||
|
|
<a name="skip-navbar_bottom">
|
|||
|
|
<!-- -->
|
|||
|
|
</a></div>
|
|||
|
|
<!-- ======== END OF BOTTOM NAVBAR ======= -->
|
|||
|
|
</body>
|
|||
|
|
</html>
|