forked from JavaTX/JavaCompilerCore
Website
doc
Javadoc
index-files
mycompiler
class-use
mybytecode
myclass
myexception
mymodifier
myoperator
myparser
mystatement
class-use
ArgumentList.html
Assign.html
Binary.html
BinaryExpr.html
Block.html
BoolLiteral.html
CastExpr.html
CharLiteral.html
EmptyStmt.html
Expr.html
ExprStmt.html
IfStmt.html
InstVar.html
InstanceOf.html
IntLiteral.html
Literal.html
LocalOrFieldVar.html
LocalVarDecl.html
MethodCall.html
NegativeExpr.html
NewArray.html
NewClass.html
NotExpr.html
Null.html
PositivExpr.html
PostDecExpr.html
PostIncExpr.html
PreDecExpr.html
PreIncExpr.html
Receiver.html
Return.html
Statement.html
StringLiteral.html
This.html
UnaryExpr.html
UnaryMinus.html
UnaryNot.html
UnaryPlus.html
WhileStmt.html
package-frame.html
package-summary.html
package-tree.html
package-use.html
mytest
mytype
mytypereconstruction
unused
MyCompiler.html
MyCompilerAPI.html
SourceFile.html
package-frame.html
package-summary.html
package-tree.html
package-use.html
resources
allclasses-frame.html
allclasses-noframe.html
constant-values.html
deprecated-list.html
help-doc.html
index.html
overview-frame.html
overview-summary.html
overview-tree.html
package-list
serialized-form.html
stylesheet.css
LambdaJavadoc
OldStuff
Papers
Studienarbeiten
UML
PluginBau.pdf
documentation.md
parser.md
src
.gitignore
PlugInBau.txt
pom.xml
447 lines
24 KiB
HTML
Executable File
447 lines
24 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:53 CEST 2005 -->
|
||
<TITLE>
|
||
BoolLiteral
|
||
</TITLE>
|
||
|
||
<META NAME="keywords" CONTENT="mycompiler.mystatement.BoolLiteral class">
|
||
|
||
<LINK REL ="stylesheet" TYPE="text/css" HREF="../../stylesheet.css" TITLE="Style">
|
||
|
||
<SCRIPT type="text/javascript">
|
||
function windowTitle()
|
||
{
|
||
parent.document.title="BoolLiteral";
|
||
}
|
||
</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/BoolLiteral.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/mystatement/Block.html" title="class in mycompiler.mystatement"><B>PREV CLASS</B></A>
|
||
<A HREF="../../mycompiler/mystatement/CastExpr.html" title="class in mycompiler.mystatement"><B>NEXT CLASS</B></A></FONT></TD>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="../../index.html?mycompiler/mystatement/BoolLiteral.html" target="_top"><B>FRAMES</B></A>
|
||
<A HREF="BoolLiteral.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="#fields_inherited_from_class_mycompiler.mystatement.Expr">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: FIELD | <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.mystatement</FONT>
|
||
<BR>
|
||
Class BoolLiteral</H2>
|
||
<PRE>
|
||
java.lang.Object
|
||
<IMG SRC="../../resources/inherit.gif" ALT="extended by "><A HREF="../../mycompiler/mystatement/Statement.html" title="class in mycompiler.mystatement">mycompiler.mystatement.Statement</A>
|
||
<IMG SRC="../../resources/inherit.gif" ALT="extended by "><A HREF="../../mycompiler/mystatement/ExprStmt.html" title="class in mycompiler.mystatement">mycompiler.mystatement.ExprStmt</A>
|
||
<IMG SRC="../../resources/inherit.gif" ALT="extended by "><A HREF="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">mycompiler.mystatement.Expr</A>
|
||
<IMG SRC="../../resources/inherit.gif" ALT="extended by "><A HREF="../../mycompiler/mystatement/Literal.html" title="class in mycompiler.mystatement">mycompiler.mystatement.Literal</A>
|
||
<IMG SRC="../../resources/inherit.gif" ALT="extended by "><B>mycompiler.mystatement.BoolLiteral</B>
|
||
</PRE>
|
||
<DL>
|
||
<DT><B>All Implemented Interfaces:</B> <DD><A HREF="../../mycompiler/mytypereconstruction/replacementlistener/ITypeReplacementListener.html" title="interface in mycompiler.mytypereconstruction.replacementlistener">ITypeReplacementListener</A></DD>
|
||
</DL>
|
||
<HR>
|
||
<DL>
|
||
<DT><PRE>public class <B>BoolLiteral</B><DT>extends <A HREF="../../mycompiler/mystatement/Literal.html" title="class in mycompiler.mystatement">Literal</A></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>
|
||
</TABLE>
|
||
<A NAME="fields_inherited_from_class_mycompiler.mystatement.Expr"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
|
||
<TH ALIGN="left"><B>Fields inherited from class mycompiler.mystatement.<A HREF="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A></B></TH>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD><CODE><A HREF="../../mycompiler/mystatement/Expr.html#usedid">usedid</A></CODE></TD>
|
||
</TR>
|
||
</TABLE>
|
||
<A NAME="fields_inherited_from_class_mycompiler.mystatement.ExprStmt"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
|
||
<TH ALIGN="left"><B>Fields inherited from class mycompiler.mystatement.<A HREF="../../mycompiler/mystatement/ExprStmt.html" title="class in mycompiler.mystatement">ExprStmt</A></B></TH>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD><CODE><A HREF="../../mycompiler/mystatement/ExprStmt.html#type">type</A></CODE></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/mystatement/BoolLiteral.html#BoolLiteral()">BoolLiteral</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/mystatement/BoolLiteral.html#codegen(mycompiler.mybytecode.ClassFile, mycompiler.mybytecode.CodeAttribute, de.dhbwstuttgart.typeinference.Menge)">codegen</A></B>(<A HREF="../../mycompiler/mybytecode/ClassFile.html" title="class in mycompiler.mybytecode">ClassFile</A> classfile,
|
||
<A HREF="../../mycompiler/mybytecode/CodeAttribute.html" title="class in mycompiler.mybytecode">CodeAttribute</A> code,
|
||
de.dhbwstuttgart.typeinference.Menge paralist)</CODE>
|
||
|
||
<BR>
|
||
</TD>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
|
||
<CODE> java.lang.String</CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../../mycompiler/mystatement/BoolLiteral.html#get_Name()">get_Name</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/mystatement/BoolLiteral.html#sc_check(de.dhbwstuttgart.typeinference.Menge, java.util.Hashtable, java.util.Hashtable, boolean, java.util.Hashtable, java.util.Hashtable)">sc_check</A></B>(de.dhbwstuttgart.typeinference.Menge classname,
|
||
java.util.Hashtable ch,
|
||
java.util.Hashtable bh,
|
||
boolean ext,
|
||
java.util.Hashtable parach,
|
||
java.util.Hashtable parabh)</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/mystatement/BoolLiteral.html#set_Bool(boolean)">set_Bool</A></B>(boolean 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/set/CTripleSet.html" title="class in mycompiler.mytypereconstruction.set">CTripleSet</A></CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../../mycompiler/mystatement/BoolLiteral.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)">TRExp</A></B>(<A HREF="../../mycompiler/mytypereconstruction/set/CSubstitutionSet.html" title="class in mycompiler.mytypereconstruction.set">CSubstitutionSet</A> sigma,
|
||
<A HREF="../../mycompiler/mytypereconstruction/set/CTypeAssumptionSet.html" title="class in mycompiler.mytypereconstruction.set">CTypeAssumptionSet</A> V,
|
||
<A HREF="../../mycompiler/mytypereconstruction/CSupportData.html" title="class in mycompiler.mytypereconstruction">CSupportData</A> supportData)</CODE>
|
||
|
||
<BR>
|
||
Workaround: <20>berschreibt Methode TRExp aus der Super-Klasse <code>Literal</code>, weil
|
||
die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.</TD>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
|
||
<CODE> <A HREF="../../mycompiler/mytypereconstruction/set/CTripleSet.html" title="class in mycompiler.mytypereconstruction.set">CTripleSet</A></CODE></FONT></TD>
|
||
<TD><CODE><B><A HREF="../../mycompiler/mystatement/BoolLiteral.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)">TRStatement</A></B>(<A HREF="../../mycompiler/mytypereconstruction/set/CSubstitutionSet.html" title="class in mycompiler.mytypereconstruction.set">CSubstitutionSet</A> sigma,
|
||
<A HREF="../../mycompiler/mytypereconstruction/set/CTypeAssumptionSet.html" title="class in mycompiler.mytypereconstruction.set">CTypeAssumptionSet</A> V,
|
||
<A HREF="../../mycompiler/mytypereconstruction/CSupportData.html" title="class in mycompiler.mytypereconstruction">CSupportData</A> supportData)</CODE>
|
||
|
||
<BR>
|
||
</TD>
|
||
</TR>
|
||
</TABLE>
|
||
<A NAME="methods_inherited_from_class_mycompiler.mystatement.Expr"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
|
||
<TH ALIGN="left"><B>Methods inherited from class mycompiler.mystatement.<A HREF="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A></B></TH>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD><CODE><A HREF="../../mycompiler/mystatement/Expr.html#get_Name_Menge()">get_Name_Menge</A>, <A HREF="../../mycompiler/mystatement/Expr.html#get_Type_Menge()">get_Type_Menge</A>, <A HREF="../../mycompiler/mystatement/Expr.html#get_UsedId()">get_UsedId</A>, <A HREF="../../mycompiler/mystatement/Expr.html#set_Type(mycompiler.mytype.Type)">set_Type</A>, <A HREF="../../mycompiler/mystatement/Expr.html#set_UsedId(mycompiler.myclass.UsedId)">set_UsedId</A>, <A HREF="../../mycompiler/mystatement/Expr.html#TRMultiply(mycompiler.mytypereconstruction.CMultiplyTuple, mycompiler.mystatement.Expr, mycompiler.mytypereconstruction.CSupportData)">TRMultiply</A>, <A HREF="../../mycompiler/mystatement/Expr.html#TRTuple(mycompiler.mytypereconstruction.CMultiplyTuple, de.dhbwstuttgart.typeinference.Menge, mycompiler.mytypereconstruction.CSupportData)">TRTuple</A></CODE></TD>
|
||
</TR>
|
||
</TABLE>
|
||
<A NAME="methods_inherited_from_class_mycompiler.mystatement.ExprStmt"><!-- --></A>
|
||
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
|
||
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
|
||
<TH ALIGN="left"><B>Methods inherited from class mycompiler.mystatement.<A HREF="../../mycompiler/mystatement/ExprStmt.html" title="class in mycompiler.mystatement">ExprStmt</A></B></TH>
|
||
</TR>
|
||
<TR BGCOLOR="white" CLASS="TableRowColor">
|
||
<TD><CODE><A HREF="../../mycompiler/mystatement/ExprStmt.html#getType()">getType</A>, <A HREF="../../mycompiler/mystatement/ExprStmt.html#getTypeLineNumber()">getTypeLineNumber</A>, <A HREF="../../mycompiler/mystatement/ExprStmt.html#getTypeName()">getTypeName</A>, <A HREF="../../mycompiler/mystatement/ExprStmt.html#replaceType(mycompiler.mytypereconstruction.replacementlistener.CReplaceTypeEvent)">replaceType</A>, <A HREF="../../mycompiler/mystatement/ExprStmt.html#setType(mycompiler.mytype.Type)">setType</A></CODE></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>
|
||
|
||
<!-- ========= 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="BoolLiteral()"><!-- --></A><H3>
|
||
BoolLiteral</H3>
|
||
<PRE>
|
||
public <B>BoolLiteral</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(de.dhbwstuttgart.typeinference.Menge, java.util.Hashtable, java.util.Hashtable, boolean, java.util.Hashtable, java.util.Hashtable)"><!-- --></A><H3>
|
||
sc_check</H3>
|
||
<PRE>
|
||
public void <B>sc_check</B>(de.dhbwstuttgart.typeinference.Menge classname,
|
||
java.util.Hashtable ch,
|
||
java.util.Hashtable bh,
|
||
boolean ext,
|
||
java.util.Hashtable parach,
|
||
java.util.Hashtable parabh)</PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
<DT><B>Specified by:</B><DD><CODE><A HREF="../../mycompiler/mystatement/Expr.html#sc_check(de.dhbwstuttgart.typeinference.Menge, java.util.Hashtable, java.util.Hashtable, boolean, java.util.Hashtable, java.util.Hashtable)">sc_check</A></CODE> in class <CODE><A HREF="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A></CODE></DL>
|
||
</DD>
|
||
<DD><DL>
|
||
</DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="set_Bool(boolean)"><!-- --></A><H3>
|
||
set_Bool</H3>
|
||
<PRE>
|
||
public void <B>set_Bool</B>(boolean b)</PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
</DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="get_Name()"><!-- --></A><H3>
|
||
get_Name</H3>
|
||
<PRE>
|
||
public java.lang.String <B>get_Name</B>()</PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
<DT><B>Specified by:</B><DD><CODE><A HREF="../../mycompiler/mystatement/Expr.html#get_Name()">get_Name</A></CODE> in class <CODE><A HREF="../../mycompiler/mystatement/Expr.html" title="class in mycompiler.mystatement">Expr</A></CODE></DL>
|
||
</DD>
|
||
<DD><DL>
|
||
</DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="codegen(mycompiler.mybytecode.ClassFile, mycompiler.mybytecode.CodeAttribute, de.dhbwstuttgart.typeinference.Menge)"><!-- --></A><H3>
|
||
codegen</H3>
|
||
<PRE>
|
||
public void <B>codegen</B>(<A HREF="../../mycompiler/mybytecode/ClassFile.html" title="class in mycompiler.mybytecode">ClassFile</A> classfile,
|
||
<A HREF="../../mycompiler/mybytecode/CodeAttribute.html" title="class in mycompiler.mybytecode">CodeAttribute</A> code,
|
||
de.dhbwstuttgart.typeinference.Menge paralist)
|
||
throws <A HREF="../../mycompiler/myexception/JVMCodeException.html" title="class in mycompiler.myexception">JVMCodeException</A></PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
<DT><B>Specified by:</B><DD><CODE><A HREF="../../mycompiler/mystatement/Statement.html#codegen(mycompiler.mybytecode.ClassFile, mycompiler.mybytecode.CodeAttribute, de.dhbwstuttgart.typeinference.Menge)">codegen</A></CODE> in class <CODE><A HREF="../../mycompiler/mystatement/Statement.html" title="class in mycompiler.mystatement">Statement</A></CODE></DL>
|
||
</DD>
|
||
<DD><DL>
|
||
|
||
<DT><B>Throws:</B>
|
||
<DD><CODE><A HREF="../../mycompiler/myexception/JVMCodeException.html" title="class in mycompiler.myexception">JVMCodeException</A></CODE></DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><!-- --></A><H3>
|
||
TRStatement</H3>
|
||
<PRE>
|
||
public <A HREF="../../mycompiler/mytypereconstruction/set/CTripleSet.html" title="class in mycompiler.mytypereconstruction.set">CTripleSet</A> <B>TRStatement</B>(<A HREF="../../mycompiler/mytypereconstruction/set/CSubstitutionSet.html" title="class in mycompiler.mytypereconstruction.set">CSubstitutionSet</A> sigma,
|
||
<A HREF="../../mycompiler/mytypereconstruction/set/CTypeAssumptionSet.html" title="class in mycompiler.mytypereconstruction.set">CTypeAssumptionSet</A> V,
|
||
<A HREF="../../mycompiler/mytypereconstruction/CSupportData.html" title="class in mycompiler.mytypereconstruction">CSupportData</A> supportData)</PRE>
|
||
<DL>
|
||
<DD><DL>
|
||
<DT><B>Specified by:</B><DD><CODE><A HREF="../../mycompiler/mystatement/Statement.html#TRStatement(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)">TRStatement</A></CODE> in class <CODE><A HREF="../../mycompiler/mystatement/Statement.html" title="class in mycompiler.mystatement">Statement</A></CODE></DL>
|
||
</DD>
|
||
<DD><DL>
|
||
</DL>
|
||
</DD>
|
||
</DL>
|
||
<HR>
|
||
|
||
<A NAME="TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)"><!-- --></A><H3>
|
||
TRExp</H3>
|
||
<PRE>
|
||
public <A HREF="../../mycompiler/mytypereconstruction/set/CTripleSet.html" title="class in mycompiler.mytypereconstruction.set">CTripleSet</A> <B>TRExp</B>(<A HREF="../../mycompiler/mytypereconstruction/set/CSubstitutionSet.html" title="class in mycompiler.mytypereconstruction.set">CSubstitutionSet</A> sigma,
|
||
<A HREF="../../mycompiler/mytypereconstruction/set/CTypeAssumptionSet.html" title="class in mycompiler.mytypereconstruction.set">CTypeAssumptionSet</A> V,
|
||
<A HREF="../../mycompiler/mytypereconstruction/CSupportData.html" title="class in mycompiler.mytypereconstruction">CSupportData</A> supportData)</PRE>
|
||
<DL>
|
||
<DD>Workaround: <20>berschreibt Methode TRExp aus der Super-Klasse <code>Literal</code>, weil
|
||
die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.<br/>
|
||
Anstatt den Basetype <code>BooleanType</code> zur<75>ckzugeben, wird ein <code>RefType</code>
|
||
zur<75>ckgegeben.<br/>
|
||
Diese Methode kann sp<73>ter entfernt werden, sodass automatisch die Methode der Super-Klasse
|
||
verwendet wird.
|
||
<br>Author: J<>rg B<>uerle
|
||
<P>
|
||
<DD><DL>
|
||
<DT><B>Overrides:</B><DD><CODE><A HREF="../../mycompiler/mystatement/Literal.html#TRExp(mycompiler.mytypereconstruction.set.CSubstitutionSet, mycompiler.mytypereconstruction.set.CTypeAssumptionSet, mycompiler.mytypereconstruction.CSupportData)">TRExp</A></CODE> in class <CODE><A HREF="../../mycompiler/mystatement/Literal.html" title="class in mycompiler.mystatement">Literal</A></CODE></DL>
|
||
</DD>
|
||
<DD><DL>
|
||
<DT><B>Parameters:</B><DD><CODE>sigma</CODE> - <DD><CODE>V</CODE> - <DD><CODE>supportData</CODE> -
|
||
<DT><B>Returns:</B><DD></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/BoolLiteral.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/mystatement/Block.html" title="class in mycompiler.mystatement"><B>PREV CLASS</B></A>
|
||
<A HREF="../../mycompiler/mystatement/CastExpr.html" title="class in mycompiler.mystatement"><B>NEXT CLASS</B></A></FONT></TD>
|
||
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
|
||
<A HREF="../../index.html?mycompiler/mystatement/BoolLiteral.html" target="_top"><B>FRAMES</B></A>
|
||
<A HREF="BoolLiteral.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="#fields_inherited_from_class_mycompiler.mystatement.Expr">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: FIELD | <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>
|