JavaPatternMatching/doc/OldStuff/JavaDoc/index-files/index-16.html

269 lines
14 KiB
HTML
Executable File

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN""http://www.w3.org/TR/REC-html40/loose.dtd">
<!--NewPage-->
<HTML>
<HEAD>
<!-- Generated by javadoc on Sat May 22 16:51:05 CEST 2004 -->
<TITLE>
P-Index
</TITLE>
<LINK REL ="stylesheet" TYPE="text/css" HREF="../stylesheet.css" TITLE="Style">
</HEAD>
<SCRIPT>
function asd()
{
parent.document.title="P-Index";
}
</SCRIPT>
<BODY BGCOLOR="white" onload="asd();">
<!-- ========== START OF NAVBAR ========== -->
<A NAME="navbar_top"><!-- --></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0">
<TR>
<TD COLSPAN=3 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_top_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3">
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Package</FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Use</FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
&nbsp;<A HREF="index-15.html"><B>PREV LETTER</B></A>&nbsp;
&nbsp;<A HREF="index-17.html"><B>NEXT LETTER</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../index.html" TARGET="_top"><B>FRAMES</B></A> &nbsp;
&nbsp;<A HREF="index-16.html" TARGET="_top"><B>NO FRAMES</B></A> &nbsp;
&nbsp;
<SCRIPT>
<!--
if(window==top) {
document.writeln('<A HREF="../allclasses-noframe.html" TARGET=""><B>All Classes</B></A>');
}
//-->
</SCRIPT>
<NOSCRIPT>
<A HREF="../allclasses-noframe.html" TARGET=""><B>All Classes</B></A>
</NOSCRIPT>
</FONT></TD>
</TR>
</TABLE>
<!-- =========== END OF NAVBAR =========== -->
<A HREF="index-1.html">A</A> <A HREF="index-2.html">B</A> <A HREF="index-3.html">C</A> <A HREF="index-4.html">D</A> <A HREF="index-5.html">E</A> <A HREF="index-6.html">F</A> <A HREF="index-7.html">G</A> <A HREF="index-8.html">H</A> <A HREF="index-9.html">I</A> <A HREF="index-10.html">J</A> <A HREF="index-11.html">K</A> <A HREF="index-12.html">L</A> <A HREF="index-13.html">M</A> <A HREF="index-14.html">N</A> <A HREF="index-15.html">O</A> <A HREF="index-16.html">P</A> <A HREF="index-17.html">R</A> <A HREF="index-18.html">S</A> <A HREF="index-19.html">T</A> <A HREF="index-20.html">U</A> <A HREF="index-21.html">V</A> <A HREF="index-22.html">W</A> <A HREF="index-23.html">X</A> <A HREF="index-24.html">Y</A> <HR>
<A NAME="_P_"><!-- --></A><H2>
<B>P</B></H2>
<DL>
<DT><A HREF="../Pair.html"><B>Pair</B></A> - class <A HREF="../Pair.html">Pair</A>.<DD>&nbsp;<DT><A HREF="../Pair.html#Pair(Type, Type)"><B>Pair(Type, Type)</B></A> -
Constructor for class <A HREF="../Pair.html">Pair</A>
<DD>&nbsp;
<DT><A HREF="../Pair.html#Pair(Type, Type, boolean)"><B>Pair(Type, Type, boolean)</B></A> -
Constructor for class <A HREF="../Pair.html">Pair</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#para_check(de.dhbwstuttgart.typeinference.Menge, boolean)"><B>para_check(Menge, boolean)</B></A> -
Method in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../ClassBody.html#paraclasshash"><B>paraclasshash</B></A> -
Variable in class <A HREF="../ClassBody.html">ClassBody</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#parahash"><B>parahash</B></A> -
Variable in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../LocalVarDecl.html#parahash"><B>parahash</B></A> -
Variable in class <A HREF="../LocalVarDecl.html">LocalVarDecl</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#paralist"><B>paralist</B></A> -
Variable in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../ParaList.html#paralist"><B>paralist</B></A> -
Variable in class <A HREF="../ParaList.html">ParaList</A>
<DD>&nbsp;
<DT><A HREF="../LocalVarDecl.html#paralist"><B>paralist</B></A> -
Variable in class <A HREF="../LocalVarDecl.html">LocalVarDecl</A>
<DD>&nbsp;
<DT><A HREF="../UsedId.html#paralist"><B>paralist</B></A> -
Variable in class <A HREF="../UsedId.html">UsedId</A>
<DD>&nbsp;
<DT><A HREF="../ParaList.html"><B>ParaList</B></A> - class <A HREF="../ParaList.html">ParaList</A>.<DD>&nbsp;<DT><A HREF="../ParaList.html#ParaList()"><B>ParaList()</B></A> -
Constructor for class <A HREF="../ParaList.html">ParaList</A>
<DD>&nbsp;
<DT><A HREF="../ParaList.html#ParaList(Type)"><B>ParaList(Type)</B></A> -
Constructor for class <A HREF="../ParaList.html">ParaList</A>
<DD>&nbsp;
<DT><A HREF="../RefType.html#parameter"><B>parameter</B></A> -
Variable in class <A HREF="../RefType.html">RefType</A>
<DD>&nbsp;
<DT><A HREF="../Method.html#parameterlist"><B>parameterlist</B></A> -
Variable in class <A HREF="../Method.html">Method</A>
<DD>&nbsp;
<DT><A HREF="../ParameterList.html"><B>ParameterList</B></A> - class <A HREF="../ParameterList.html">ParameterList</A>.<DD>&nbsp;<DT><A HREF="../ParameterList.html#ParameterList()"><B>ParameterList()</B></A> -
Constructor for class <A HREF="../ParameterList.html">ParameterList</A>
<DD>&nbsp;
<DT><A HREF="../DeclId.html#paratyp"><B>paratyp</B></A> -
Variable in class <A HREF="../DeclId.html">DeclId</A>
<DD>&nbsp;
<DT><A HREF="../JavaParser.html#path"><B>path</B></A> -
Variable in class <A HREF="../JavaParser.html">JavaParser</A>
<DD>&nbsp;
<DT><A HREF="../SourceFile.html#pi(int, java.lang.String, java.lang.String)"><B>pi(int, String, String)</B></A> -
Method in class <A HREF="../SourceFile.html">SourceFile</A>
<DD>&nbsp;
<DT><A HREF="../PositivExpr.html#plus"><B>plus</B></A> -
Variable in class <A HREF="../PositivExpr.html">PositivExpr</A>
<DD>&nbsp;
<DT><A HREF="../JavaParser.html#PLUSEQUAL"><B>PLUSEQUAL</B></A> -
Static variable in class <A HREF="../JavaParser.html">JavaParser</A>
<DD>&nbsp;
<DT><A HREF="../PlusOp.html"><B>PlusOp</B></A> - class <A HREF="../PlusOp.html">PlusOp</A>.<DD>&nbsp;<DT><A HREF="../PlusOp.html#PlusOp()"><B>PlusOp()</B></A> -
Constructor for class <A HREF="../PlusOp.html">PlusOp</A>
<DD>&nbsp;
<DT><A HREF="../JVMCode.html#pop"><B>pop</B></A> -
Static variable in class <A HREF="../JVMCode.html">JVMCode</A>
<DD>&nbsp;
<DT><A HREF="../JVMCode.html#pop2"><B>pop2</B></A> -
Static variable in class <A HREF="../JVMCode.html">JVMCode</A>
<DD>&nbsp;
<DT><A HREF="../PositivExpr.html"><B>PositivExpr</B></A> - class <A HREF="../PositivExpr.html">PositivExpr</A>.<DD>&nbsp;<DT><A HREF="../PositivExpr.html#PositivExpr()"><B>PositivExpr()</B></A> -
Constructor for class <A HREF="../PositivExpr.html">PositivExpr</A>
<DD>&nbsp;
<DT><A HREF="../PostDecExpr.html"><B>PostDecExpr</B></A> - class <A HREF="../PostDecExpr.html">PostDecExpr</A>.<DD>&nbsp;<DT><A HREF="../PostDecExpr.html#PostDecExpr()"><B>PostDecExpr()</B></A> -
Constructor for class <A HREF="../PostDecExpr.html">PostDecExpr</A>
<DD>&nbsp;
<DT><A HREF="../PostIncExpr.html"><B>PostIncExpr</B></A> - class <A HREF="../PostIncExpr.html">PostIncExpr</A>.<DD>&nbsp;<DT><A HREF="../PostIncExpr.html#PostIncExpr()"><B>PostIncExpr()</B></A> -
Constructor for class <A HREF="../PostIncExpr.html">PostIncExpr</A>
<DD>&nbsp;
<DT><A HREF="../PreDecExpr.html"><B>PreDecExpr</B></A> - class <A HREF="../PreDecExpr.html">PreDecExpr</A>.<DD>&nbsp;<DT><A HREF="../PreDecExpr.html#PreDecExpr()"><B>PreDecExpr()</B></A> -
Constructor for class <A HREF="../PreDecExpr.html">PreDecExpr</A>
<DD>&nbsp;
<DT><A HREF="../PreIncExpr.html"><B>PreIncExpr</B></A> - class <A HREF="../PreIncExpr.html">PreIncExpr</A>.<DD>&nbsp;<DT><A HREF="../PreIncExpr.html#PreIncExpr()"><B>PreIncExpr()</B></A> -
Constructor for class <A HREF="../PreIncExpr.html">PreIncExpr</A>
<DD>&nbsp;
<DT><A HREF="../ClassBody.html#print_rec(java.util.Hashtable)"><B>print_rec(Hashtable)</B></A> -
Static method in class <A HREF="../ClassBody.html">ClassBody</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#print_rec(java.util.Hashtable)"><B>print_rec(Hashtable)</B></A> -
Static method in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../Statement.html#print_rec(java.util.Hashtable)"><B>print_rec(Hashtable)</B></A> -
Static method in class <A HREF="../Statement.html">Statement</A>
<DD>&nbsp;
<DT><A HREF="../ClassBody.html#print_rec(java.lang.String, java.util.Hashtable)"><B>print_rec(String, Hashtable)</B></A> -
Static method in class <A HREF="../ClassBody.html">ClassBody</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#print_rec(java.lang.String, java.util.Hashtable)"><B>print_rec(String, Hashtable)</B></A> -
Static method in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../Statement.html#print_rec(java.lang.String, java.util.Hashtable)"><B>print_rec(String, Hashtable)</B></A> -
Static method in class <A HREF="../Statement.html">Statement</A>
<DD>&nbsp;
<DT><A HREF="../ClassBody.html#print_rec(java.lang.String, de.dhbwstuttgart.typeinference.Menge)"><B>print_rec(String, Menge)</B></A> -
Static method in class <A HREF="../ClassBody.html">ClassBody</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#print_rec(java.lang.String, de.dhbwstuttgart.typeinference.Menge)"><B>print_rec(String, Menge)</B></A> -
Static method in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../Statement.html#print_rec(java.lang.String, de.dhbwstuttgart.typeinference.Menge)"><B>print_rec(String, Menge)</B></A> -
Static method in class <A HREF="../Statement.html">Statement</A>
<DD>&nbsp;
<DT><A HREF="../ClassBody.html#print_rec(de.dhbwstuttgart.typeinference.Menge)"><B>print_rec(Menge)</B></A> -
Static method in class <A HREF="../ClassBody.html">ClassBody</A>
<DD>&nbsp;
<DT><A HREF="../Class.html#print_rec(de.dhbwstuttgart.typeinference.Menge)"><B>print_rec(Menge)</B></A> -
Static method in class <A HREF="../Class.html">Class</A>
<DD>&nbsp;
<DT><A HREF="../Statement.html#print_rec(de.dhbwstuttgart.typeinference.Menge)"><B>print_rec(Menge)</B></A> -
Static method in class <A HREF="../Statement.html">Statement</A>
<DD>&nbsp;
<DT><A HREF="../SourceFile.html#printMenge(java.lang.String, de.dhbwstuttgart.typeinference.Menge, int)"><B>printMenge(String, Menge, int)</B></A> -
Method in class <A HREF="../SourceFile.html">SourceFile</A>
<DD>&nbsp;
<DT><A HREF="../Private.html"><B>Private</B></A> - class <A HREF="../Private.html">Private</A>.<DD>&nbsp;<DT><A HREF="../JavaParser.html#PRIVATE"><B>PRIVATE</B></A> -
Static variable in class <A HREF="../JavaParser.html">JavaParser</A>
<DD>&nbsp;
<DT><A HREF="../Private.html#Private()"><B>Private()</B></A> -
Constructor for class <A HREF="../Private.html">Private</A>
<DD>&nbsp;
<DT><A HREF="../Protected.html"><B>Protected</B></A> - class <A HREF="../Protected.html">Protected</A>.<DD>&nbsp;<DT><A HREF="../JavaParser.html#PROTECTED"><B>PROTECTED</B></A> -
Static variable in class <A HREF="../JavaParser.html">JavaParser</A>
<DD>&nbsp;
<DT><A HREF="../Protected.html#Protected()"><B>Protected()</B></A> -
Constructor for class <A HREF="../Protected.html">Protected</A>
<DD>&nbsp;
<DT><A HREF="../Public.html"><B>Public</B></A> - class <A HREF="../Public.html">Public</A>.<DD>&nbsp;<DT><A HREF="../JavaParser.html#PUBLIC"><B>PUBLIC</B></A> -
Static variable in class <A HREF="../JavaParser.html">JavaParser</A>
<DD>&nbsp;
<DT><A HREF="../Public.html#Public()"><B>Public()</B></A> -
Constructor for class <A HREF="../Public.html">Public</A>
<DD>&nbsp;
<DT><A HREF="../JVMCode.html#putfield"><B>putfield</B></A> -
Static variable in class <A HREF="../JVMCode.html">JVMCode</A>
<DD>&nbsp;
<DT><A HREF="../JVMCode.html#putstatic"><B>putstatic</B></A> -
Static variable in class <A HREF="../JVMCode.html">JVMCode</A>
<DD>&nbsp;
</DL>
<HR>
<!-- ========== START OF NAVBAR ========== -->
<A NAME="navbar_bottom"><!-- --></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0">
<TR>
<TD COLSPAN=3 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_bottom_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3">
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Package</FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Use</FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT>&nbsp;</TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
&nbsp;<A HREF="index-15.html"><B>PREV LETTER</B></A>&nbsp;
&nbsp;<A HREF="index-17.html"><B>NEXT LETTER</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../index.html" TARGET="_top"><B>FRAMES</B></A> &nbsp;
&nbsp;<A HREF="index-16.html" TARGET="_top"><B>NO FRAMES</B></A> &nbsp;
&nbsp;
<SCRIPT>
<!--
if(window==top) {
document.writeln('<A HREF="../allclasses-noframe.html" TARGET=""><B>All Classes</B></A>');
}
//-->
</SCRIPT>
<NOSCRIPT>
<A HREF="../allclasses-noframe.html" TARGET=""><B>All Classes</B></A>
</NOSCRIPT>
</FONT></TD>
</TR>
</TABLE>
<!-- =========== END OF NAVBAR =========== -->
<A HREF="index-1.html">A</A> <A HREF="index-2.html">B</A> <A HREF="index-3.html">C</A> <A HREF="index-4.html">D</A> <A HREF="index-5.html">E</A> <A HREF="index-6.html">F</A> <A HREF="index-7.html">G</A> <A HREF="index-8.html">H</A> <A HREF="index-9.html">I</A> <A HREF="index-10.html">J</A> <A HREF="index-11.html">K</A> <A HREF="index-12.html">L</A> <A HREF="index-13.html">M</A> <A HREF="index-14.html">N</A> <A HREF="index-15.html">O</A> <A HREF="index-16.html">P</A> <A HREF="index-17.html">R</A> <A HREF="index-18.html">S</A> <A HREF="index-19.html">T</A> <A HREF="index-20.html">U</A> <A HREF="index-21.html">V</A> <A HREF="index-22.html">W</A> <A HREF="index-23.html">X</A> <A HREF="index-24.html">Y</A> <HR>
</BODY>
</HTML>