<!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:21 CEST 2004 --> <TITLE> SourceFile </TITLE> <LINK REL ="stylesheet" TYPE="text/css" HREF="stylesheet.css" TITLE="Style"> </HEAD> <SCRIPT> function asd() { parent.document.title="SourceFile"; } </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"> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Package</FONT> </TD> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="class-use/SourceFile.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-files/index-1.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR> </TABLE> </TD> <TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM> </EM> </TD> </TR> <TR> <TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="SCStatementException.html"><B>PREV CLASS</B></A> <A HREF="Statement.html"><B>NEXT CLASS</B></A></FONT></TD> <TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="index.html" TARGET="_top"><B>FRAMES</B></A> <A HREF="SourceFile.html" TARGET="_top"><B>NO FRAMES</B></A> <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> <TR> <TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2"> SUMMARY: NESTED | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD> <TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2"> DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD> </TR> </TABLE> <!-- =========== END OF NAVBAR =========== --> <HR> <!-- ======== START OF CLASS DATA ======== --> <H2> Class SourceFile</H2> <PRE> java.lang.Object | +--<B>SourceFile</B> </PRE> <HR> <DL> <DT>public class <B>SourceFile</B><DT>extends java.lang.Object</DL> <P> <HR> <P> <!-- ======== NESTED CLASS SUMMARY ======== --> <!-- =========== FIELD SUMMARY =========== --> <A NAME="field_summary"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"> <TD COLSPAN=2><FONT SIZE="+2"> <B>Field Summary</B></FONT></TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> de.dhbwstuttgart.typeinference.Menge</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#KlassenVektor">KlassenVektor</A></B></CODE> <BR> </TD> </TR> </TABLE> <!-- ======== CONSTRUCTOR SUMMARY ======== --> <A NAME="constructor_summary"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"> <TD COLSPAN=2><FONT SIZE="+2"> <B>Constructor Summary</B></FONT></TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD><CODE><B><A HREF="SourceFile.html#SourceFile()">SourceFile</A></B>()</CODE> <BR> </TD> </TR> </TABLE> <!-- ========== METHOD SUMMARY =========== --> <A NAME="method_summary"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"> <TD COLSPAN=2><FONT SIZE="+2"> <B>Method Summary</B></FONT></TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE>(package private) Pair</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#adapt(java.lang.String, Type, de.dhbwstuttgart.typeinference.Menge, de.dhbwstuttgart.typeinference.Menge)">adapt</A></B>(java.lang.String strTV, Type T, de.dhbwstuttgart.typeinference.Menge vRFC, de.dhbwstuttgart.typeinference.Menge vRE)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> void</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#codegen(boolean)">codegen</A></B>(boolean system_out)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE>(package private) boolean</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#hasSolvedForm(de.dhbwstuttgart.typeinference.Menge)">hasSolvedForm</A></B>(de.dhbwstuttgart.typeinference.Menge E)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE>(package private) Pair</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#isInFC(RefType, RefType, de.dhbwstuttgart.typeinference.Menge)">isInFC</A></B>(RefType R1, RefType R2, de.dhbwstuttgart.typeinference.Menge FC)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> boolean</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#isRealSubClass(java.lang.String, java.lang.String)">isRealSubClass</A></B>(java.lang.String Basis, java.lang.String Mutter)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE>(package private) boolean</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#isRXSimilarRY(RefType, RefType)">isRXSimilarRY</A></B>(RefType RFC, RefType RY)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE>(package private) boolean</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#isTVinRefType(TyploseVariable, RefType)">isTVinRefType</A></B>(TyploseVariable TV, RefType RT)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> de.dhbwstuttgart.typeinference.Menge</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#makeFC()">makeFC</A></B>()</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> int</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#pi(int, java.lang.String, java.lang.String)">pi</A></B>(int n, java.lang.String C, java.lang.String D)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> void</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#printMenge(java.lang.String, de.dhbwstuttgart.typeinference.Menge, int)">printMenge</A></B>(java.lang.String strMenge, de.dhbwstuttgart.typeinference.Menge E, int nDebug)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> void</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#sc_check(boolean)">sc_check</A></B>(boolean ext)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> void</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#set_Class(Class)">set_Class</A></B>(Class c)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE>(package private) void</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#Subst(Pair, int, TyploseVariable, RefType, boolean)">Subst</A></B>(Pair P, int nTypnrInPair, TyploseVariable a, RefType o, boolean bMitVorbedingung)</CODE> <BR> </TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"> <CODE> de.dhbwstuttgart.typeinference.Menge</CODE></FONT></TD> <TD><CODE><B><A HREF="SourceFile.html#unify(de.dhbwstuttgart.typeinference.Menge, de.dhbwstuttgart.typeinference.Menge)">unify</A></B>(de.dhbwstuttgart.typeinference.Menge E, de.dhbwstuttgart.typeinference.Menge FC)</CODE> <BR> </TD> </TR> </TABLE> <A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor"> <TD><B>Methods inherited from class java.lang.Object</B></TD> </TR> <TR BGCOLOR="white" CLASS="TableRowColor"> <TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD> </TR> </TABLE> <P> <!-- ============ FIELD DETAIL =========== --> <A NAME="field_detail"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"> <TD COLSPAN=1><FONT SIZE="+2"> <B>Field Detail</B></FONT></TD> </TR> </TABLE> <A NAME="KlassenVektor"><!-- --></A><H3> KlassenVektor</H3> <PRE> public de.dhbwstuttgart.typeinference.Menge <B>KlassenVektor</B></PRE> <DL> <DL> </DL> </DL> <!-- ========= CONSTRUCTOR DETAIL ======== --> <A NAME="constructor_detail"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"> <TD COLSPAN=1><FONT SIZE="+2"> <B>Constructor Detail</B></FONT></TD> </TR> </TABLE> <A NAME="SourceFile()"><!-- --></A><H3> SourceFile</H3> <PRE> public <B>SourceFile</B>()</PRE> <DL> </DL> <!-- ============ METHOD DETAIL ========== --> <A NAME="method_detail"><!-- --></A> <TABLE BORDER="1" CELLPADDING="3" CELLSPACING="0" WIDTH="100%"> <TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"> <TD COLSPAN=1><FONT SIZE="+2"> <B>Method Detail</B></FONT></TD> </TR> </TABLE> <A NAME="sc_check(boolean)"><!-- --></A><H3> sc_check</H3> <PRE> public void <B>sc_check</B>(boolean ext) throws <A HREF="SCException.html">SCException</A></PRE> <DL> <DD><DL> <DD><CODE><A HREF="SCException.html">SCException</A></CODE></DL> </DD> </DL> <HR> <A NAME="makeFC()"><!-- --></A><H3> makeFC</H3> <PRE> public de.dhbwstuttgart.typeinference.Menge <B>makeFC</B>()</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="unify(de.dhbwstuttgart.typeinference.Menge, de.dhbwstuttgart.typeinference.Menge)"><!-- --></A><H3> unify</H3> <PRE> public de.dhbwstuttgart.typeinference.Menge <B>unify</B>(de.dhbwstuttgart.typeinference.Menge E, de.dhbwstuttgart.typeinference.Menge FC)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="adapt(java.lang.String, Type, de.dhbwstuttgart.typeinference.Menge, de.dhbwstuttgart.typeinference.Menge)"><!-- --></A><H3> adapt</H3> <PRE> Pair <B>adapt</B>(java.lang.String strTV, Type T, de.dhbwstuttgart.typeinference.Menge vRFC, de.dhbwstuttgart.typeinference.Menge vRE)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="isRXSimilarRY(RefType, RefType)"><!-- --></A><H3> isRXSimilarRY</H3> <PRE> boolean <B>isRXSimilarRY</B>(RefType RFC, RefType RY)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="isInFC(RefType, RefType, de.dhbwstuttgart.typeinference.Menge)"><!-- --></A><H3> isInFC</H3> <PRE> Pair <B>isInFC</B>(RefType R1, RefType R2, de.dhbwstuttgart.typeinference.Menge FC)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="isTVinRefType(TyploseVariable, RefType)"><!-- --></A><H3> isTVinRefType</H3> <PRE> boolean <B>isTVinRefType</B>(TyploseVariable TV, RefType RT)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="Subst(Pair, int, TyploseVariable, RefType, boolean)"><!-- --></A><H3> Subst</H3> <PRE> void <B>Subst</B>(Pair P, int nTypnrInPair, TyploseVariable a, RefType o, boolean bMitVorbedingung)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="isRealSubClass(java.lang.String, java.lang.String)"><!-- --></A><H3> isRealSubClass</H3> <PRE> public boolean <B>isRealSubClass</B>(java.lang.String Basis, java.lang.String Mutter)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="pi(int, java.lang.String, java.lang.String)"><!-- --></A><H3> pi</H3> <PRE> public int <B>pi</B>(int n, java.lang.String C, java.lang.String D) throws <A HREF="SCException.html">SCException</A></PRE> <DL> <DD><DL> <DD><CODE><A HREF="SCException.html">SCException</A></CODE></DL> </DD> </DL> <HR> <A NAME="printMenge(java.lang.String, de.dhbwstuttgart.typeinference.Menge, int)"><!-- --></A><H3> printMenge</H3> <PRE> public void <B>printMenge</B>(java.lang.String strMenge, de.dhbwstuttgart.typeinference.Menge E, int nDebug)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="hasSolvedForm(de.dhbwstuttgart.typeinference.Menge)"><!-- --></A><H3> hasSolvedForm</H3> <PRE> boolean <B>hasSolvedForm</B>(de.dhbwstuttgart.typeinference.Menge E)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="set_Class(Class)"><!-- --></A><H3> set_Class</H3> <PRE> public void <B>set_Class</B>(Class c)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <HR> <A NAME="codegen(boolean)"><!-- --></A><H3> codegen</H3> <PRE> public void <B>codegen</B>(boolean system_out)</PRE> <DL> <DD><DL> </DL> </DD> </DL> <!-- ========= END OF CLASS DATA ========= --> <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"> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Package</FONT> </TD> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="class-use/SourceFile.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-files/index-1.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR> </TABLE> </TD> <TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM> </EM> </TD> </TR> <TR> <TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="SCStatementException.html"><B>PREV CLASS</B></A> <A HREF="Statement.html"><B>NEXT CLASS</B></A></FONT></TD> <TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="index.html" TARGET="_top"><B>FRAMES</B></A> <A HREF="SourceFile.html" TARGET="_top"><B>NO FRAMES</B></A> <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> <TR> <TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2"> SUMMARY: NESTED | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD> <TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2"> DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD> </TR> </TABLE> <!-- =========== END OF NAVBAR =========== --> <HR> </BODY> </HTML>