394 lines
15 KiB
HTML
Executable File
394 lines
15 KiB
HTML
Executable File
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
||
<!--NewPage-->
|
||
<HTML>
|
||
<HEAD>
|
||
<!-- Generated by javadoc (build 1.5.0_02) on Tue Jun 21 18:36:56 CEST 2005 -->
|
||
<TITLE>
|
||
SourceFile
|
||
</TITLE>
|
||
|
||
<META NAME="keywords" CONTENT="mycompiler.SourceFile class">
|
||
|
||
<LINK REL ="stylesheet" TYPE="text/css" HREF="../stylesheet.css" TITLE="Style">
|
||
|
||
<SCRIPT type="text/javascript">
|
||
function windowTitle()
|
||
{
|
||
parent.document.title="SourceFile";
|
||
}
|
||
</SCRIPT>
|
||
<NOSCRIPT>
|
||
</NOSCRIPT>
|
||
|
||
</HEAD>
|
||
|
||
<BODY BGCOLOR="white" onload="windowTitle();">
|
||
|
||
|
||
<!-- ========= START OF TOP NAVBAR ======= -->
|
||
<A NAME="navbar_top"><!-- --></A>
|
||
<A HREF="#skip-navbar_top" title="Skip navigation links"></A>
|
||
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
|
||
<TR>
|
||
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
|
||
<A NAME="navbar_top_firstrow"><!-- --></A>
|
||
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
|
||
<TR ALIGN="center" VALIGN="top">
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </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="package-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="../mycompiler/MyCompilerAPI.html" title="interface in mycompiler"><B>PREV CLASS</B></A>
|
||
NEXT CLASS</FONT></TD>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="../index.html?mycompiler/SourceFile.html" target="_top"><B>FRAMES</B></A>
|
||
<A HREF="SourceFile.html" target="_top"><B>NO FRAMES</B></A>
|
||
<SCRIPT type="text/javascript">
|
||
<!--
|
||
if(window==top) {
|
||
document.writeln('<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>');
|
||
}
|
||
//-->
|
||
</SCRIPT>
|
||
<NOSCRIPT>
|
||
<A HREF="../allclasses-noframe.html"><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>
|
||
<A NAME="skip-navbar_top"></A>
|
||
<!-- ========= END OF TOP NAVBAR ========= -->
|
||
|
||
<HR>
|
||
<!-- ======== START OF CLASS DATA ======== -->
|
||
<H2>
|
||
<FONT SIZE="-1">
|
||
mycompiler</FONT>
|
||
<BR>
|
||
Class SourceFile</H2>
|
||
<PRE>
|
||
java.lang.Object
|
||
<IMG SRC="../resources/inherit.gif" ALT="extended by "><B>mycompiler.SourceFile</B>
|
||
</PRE>
|
||
<HR>
|
||
<DL>
|
||
<DT><PRE>public class <B>SourceFile</B><DT>extends java.lang.Object</DL>
|
||
</PRE>
|
||
|
||
<P>
|
||
<HR>
|
||
|
||
<P>
|
||
<!-- =========== FIELD SUMMARY =========== -->
|
||
|
||
<A NAME="field_summary"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
|
||
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
|
||
<B>Field Summary</B></FONT></TH>
|
||
</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="../mycompiler/SourceFile.html#KlassenVektor">KlassenVektor</A></B></CODE>
|
||
|
||
<BR>
|
||
</TD>
|
||
</TR>
|
||
</TABLE>
|
||
|
||
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
|
||
|
||
<A NAME="constructor_summary"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
|
||
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
|
||
<B>Constructor Summary</B></FONT></TH>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD><CODE><B><A HREF="../mycompiler/SourceFile.html#SourceFile()">SourceFile</A></B>()</CODE>
|
||
|
||
<BR>
|
||
</TD>
|
||
</TR>
|
||
</TABLE>
|
||
|
||
<!-- ========== METHOD SUMMARY =========== -->
|
||
|
||
<A NAME="method_summary"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
|
||
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
|
||
<B>Method Summary</B></FONT></TH>
|
||
</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="../mycompiler/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> java.util.Iterator<<A HREF="../mycompiler/myclass/Class.html" title="class in mycompiler.myclass">Class</A>></CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../mycompiler/SourceFile.html#getClassIterator()">getClassIterator</A></B>()</CODE>
|
||
|
||
<BR>
|
||
</TD>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
|
||
<CODE> <A HREF="../mycompiler/mytypereconstruction/unify/FC_TTO.html" title="class in mycompiler.mytypereconstruction.unify">FC_TTO</A></CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../mycompiler/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> void</CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../mycompiler/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="../mycompiler/SourceFile.html#set_Class(mycompiler.myclass.Class)">set_Class</A></B>(<A HREF="../mycompiler/myclass/Class.html" title="class in mycompiler.myclass">Class</A> c)</CODE>
|
||
|
||
<BR>
|
||
</TD>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
|
||
<CODE> de.dhbwstuttgart.typeinference.Menge<<A HREF="../mycompiler/mytypereconstruction/CTypeReconstructionResult.html" title="class in mycompiler.mytypereconstruction">CTypeReconstructionResult</A>></CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../mycompiler/SourceFile.html#typeReconstruction()">typeReconstruction</A></B>()</CODE>
|
||
|
||
<BR>
|
||
Tyrekonstruktionsalgorithmus: ruft f<>r jede Klasse den Algorithmus TRProg auf.</TD>
|
||
</TR>
|
||
</TABLE>
|
||
<A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
|
||
<TH ALIGN="left"><B>Methods inherited from class java.lang.Object</B></TH>
|
||
</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" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
|
||
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
|
||
<B>Field Detail</B></FONT></TH>
|
||
</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" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
|
||
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
|
||
<B>Constructor Detail</B></FONT></TH>
|
||
</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" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
|
||
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
|
||
<B>Method Detail</B></FONT></TH>
|
||
</TR>
|
||
</TABLE>
|
||
|
||
<A NAME="sc_check(boolean)"><!-- --></A><H3>
|
||
sc_check</H3>
|
||
<PRE>
|
||
public void <B>sc_check</B>(boolean ext)
|
||
throws <A HREF="../mycompiler/myexception/SCException.html" title="class in mycompiler.myexception">SCException</A></PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
|
||
<DT><B>Throws:</B>
|
||
<DD><CODE><A HREF="../mycompiler/myexception/SCException.html" title="class in mycompiler.myexception">SCException</A></CODE></DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="set_Class(mycompiler.myclass.Class)"><!-- --></A><H3>
|
||
set_Class</H3>
|
||
<PRE>
|
||
public void <B>set_Class</B>(<A HREF="../mycompiler/myclass/Class.html" title="class in mycompiler.myclass">Class</A> 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>
|
||
<HR>
|
||
|
||
<A NAME="makeFC()"><!-- --></A><H3>
|
||
makeFC</H3>
|
||
<PRE>
|
||
public <A HREF="../mycompiler/mytypereconstruction/unify/FC_TTO.html" title="class in mycompiler.mytypereconstruction.unify">FC_TTO</A> <B>makeFC</B>()</PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
</DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="typeReconstruction()"><!-- --></A><H3>
|
||
typeReconstruction</H3>
|
||
<PRE>
|
||
public de.dhbwstuttgart.typeinference.Menge<<A HREF="../mycompiler/mytypereconstruction/CTypeReconstructionResult.html" title="class in mycompiler.mytypereconstruction">CTypeReconstructionResult</A>> <B>typeReconstruction</B>()
|
||
throws <A HREF="../mycompiler/myexception/CTypeReconstructionException.html" title="class in mycompiler.myexception">CTypeReconstructionException</A></PRE>
|
||
<DL>
|
||
<DD>Tyrekonstruktionsalgorithmus: ruft f<>r jede Klasse den Algorithmus TRProg auf.
|
||
Dessen Ergebnismenge A, die Menge aller Typannahmen, f<>r eine Klasse dient als
|
||
Eingabe f<>r TRProg der n<>chsten Klasse. Am Ende enth<74>lt A alle m<>glichen
|
||
Typkombinationen f<>r alle Klassen zusammen.
|
||
<br>Author: J<>rg B<>uerle
|
||
<P>
|
||
<DD><DL>
|
||
|
||
<DT><B>Returns:</B><DD>Liste aller m<>glichen Typkombinationen
|
||
<DT><B>Throws:</B>
|
||
<DD><CODE><A HREF="../mycompiler/myexception/CTypeReconstructionException.html" title="class in mycompiler.myexception">CTypeReconstructionException</A></CODE> - Wenn was schief l<>uft</DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="getClassIterator()"><!-- --></A><H3>
|
||
getClassIterator</H3>
|
||
<PRE>
|
||
public java.util.Iterator<<A HREF="../mycompiler/myclass/Class.html" title="class in mycompiler.myclass">Class</A>> <B>getClassIterator</B>()</PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
</DL>
|
||
</DD>
|
||
</DL>
|
||
<!-- ========= END OF CLASS DATA ========= -->
|
||
<HR>
|
||
|
||
|
||
<!-- ======= START OF BOTTOM NAVBAR ====== -->
|
||
<A NAME="navbar_bottom"><!-- --></A>
|
||
<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
|
||
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
|
||
<TR>
|
||
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
|
||
<A NAME="navbar_bottom_firstrow"><!-- --></A>
|
||
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
|
||
<TR ALIGN="center" VALIGN="top">
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>
|
||
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </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="package-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="../mycompiler/MyCompilerAPI.html" title="interface in mycompiler"><B>PREV CLASS</B></A>
|
||
NEXT CLASS</FONT></TD>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="../index.html?mycompiler/SourceFile.html" target="_top"><B>FRAMES</B></A>
|
||
<A HREF="SourceFile.html" target="_top"><B>NO FRAMES</B></A>
|
||
<SCRIPT type="text/javascript">
|
||
<!--
|
||
if(window==top) {
|
||
document.writeln('<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>');
|
||
}
|
||
//-->
|
||
</SCRIPT>
|
||
<NOSCRIPT>
|
||
<A HREF="../allclasses-noframe.html"><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>
|
||
<A NAME="skip-navbar_bottom"></A>
|
||
<!-- ======== END OF BOTTOM NAVBAR ======= -->
|
||
|
||
<HR>
|
||
|
||
</BODY>
|
||
</HTML>
|