<IMGSRC="../../resources/inherit.gif"ALT="extended by "><B>mycompiler.mystatement.Statement</B>
</PRE>
<DL>
<DT><B>Direct Known Subclasses:</B><DD><AHREF="../../mycompiler/mystatement/Block.html"title="class in mycompiler.mystatement">Block</A>, <AHREF="../../mycompiler/mystatement/EmptyStmt.html"title="class in mycompiler.mystatement">EmptyStmt</A>, <AHREF="../../mycompiler/mystatement/ExprStmt.html"title="class in mycompiler.mystatement">ExprStmt</A>, <AHREF="../../mycompiler/mystatement/IfStmt.html"title="class in mycompiler.mystatement">IfStmt</A>, <AHREF="../../mycompiler/mystatement/LocalVarDecl.html"title="class in mycompiler.mystatement">LocalVarDecl</A>, <AHREF="../../mycompiler/mystatement/Return.html"title="class in mycompiler.mystatement">Return</A>, <AHREF="../../mycompiler/mystatement/WhileStmt.html"title="class in mycompiler.mystatement">WhileStmt</A></DD>
</DL>
<HR>
<DL>
<DT><PRE>public abstract class <B>Statement</B><DT>extends java.lang.Object</DL>
<TD><CODE><B><AHREF="../../mycompiler/mystatement/Statement.html#codegen(mycompiler.mybytecode.ClassFile, mycompiler.mybytecode.CodeAttribute, de.dhbwstuttgart.typeinference.Menge)">codegen</A></B>(<AHREF="../../mycompiler/mybytecode/ClassFile.html"title="class in mycompiler.mybytecode">ClassFile</A> classfile,
<CODE>abstract <AHREF="../../mycompiler/mytypereconstruction/set/CTripleSet.html"title="class in mycompiler.mytypereconstruction.set">CTripleSet</A></CODE></FONT></TD>
<TD><CODE><B><AHREF="../../mycompiler/mystatement/Statement.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)">TRStatement</A></B>(<AHREF="../../mycompiler/mytypereconstruction/set/CSubstitutionSet.html"title="class in mycompiler.mytypereconstruction.set">CSubstitutionSet</A> sigma,
<AHREF="../../mycompiler/mytypereconstruction/set/CTypeAssumptionSet.html"title="class in mycompiler.mytypereconstruction.set">CTypeAssumptionSet</A> V,
<AHREF="../../mycompiler/mytypereconstruction/CSupportData.html"title="class in mycompiler.mytypereconstruction">CSupportData</A> supportData)</CODE>
public abstract void <B>codegen</B>(<AHREF="../../mycompiler/mybytecode/ClassFile.html"title="class in mycompiler.mybytecode">ClassFile</A> classfile,
<AHREF="../../mycompiler/mybytecode/CodeAttribute.html"title="class in mycompiler.mybytecode">CodeAttribute</A> code,
public abstract <AHREF="../../mycompiler/mytypereconstruction/set/CTripleSet.html"title="class in mycompiler.mytypereconstruction.set">CTripleSet</A><B>TRStatement</B>(<AHREF="../../mycompiler/mytypereconstruction/set/CSubstitutionSet.html"title="class in mycompiler.mytypereconstruction.set">CSubstitutionSet</A> sigma,
<AHREF="../../mycompiler/mytypereconstruction/set/CTypeAssumptionSet.html"title="class in mycompiler.mytypereconstruction.set">CTypeAssumptionSet</A> V,
<AHREF="../../mycompiler/mytypereconstruction/CSupportData.html"title="class in mycompiler.mytypereconstruction">CSupportData</A> supportData)
throws <AHREF="../../mycompiler/myexception/CTypeReconstructionException.html"title="class in mycompiler.myexception">CTypeReconstructionException</A></PRE>
<DL>
<DD><DL>
<DT><B>Throws:</B>
<DD><CODE><AHREF="../../mycompiler/myexception/CTypeReconstructionException.html"title="class in mycompiler.myexception">CTypeReconstructionException</A></CODE></DL>