|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object mycompiler.mystatement.Statement mycompiler.mystatement.LocalVarDecl
public class LocalVarDecl
Constructor Summary | |
---|---|
LocalVarDecl()
|
Method Summary | |
---|---|
void |
check_anz(Type type,
de.dhbwstuttgart.typeinference.Menge paralist,
de.dhbwstuttgart.typeinference.Menge classlist)
|
void |
codegen(ClassFile classfile,
CodeAttribute code,
de.dhbwstuttgart.typeinference.Menge paralist)
|
java.lang.String |
get_Name()
|
de.dhbwstuttgart.typeinference.Menge |
getDeclidMenge()
|
int |
getLineNumber()
Author: J�rg B�uerle |
Type |
getType()
|
int |
getTypeLineNumber()
Author: J�rg B�uerle |
void |
is_declared(Type t,
de.dhbwstuttgart.typeinference.Menge classlist)
|
void |
replaceType(CReplaceTypeEvent e)
Author: J�rg B�uerle |
void |
sc_check(de.dhbwstuttgart.typeinference.Menge classname,
java.util.Hashtable ch,
java.util.Hashtable bh,
boolean ext,
java.util.Hashtable parach,
java.util.Hashtable parabh)
|
void |
set_DeclId(DeclId did)
|
void |
set_ParaList(de.dhbwstuttgart.typeinference.Menge pl)
|
void |
setDeclidMenge(de.dhbwstuttgart.typeinference.Menge declid)
|
void |
setType(Type t)
|
CTripleSet |
TRStatement(CSubstitutionSet sigma,
CTypeAssumptionSet V,
CSupportData supportData)
Implementierung des Algorithmus 5.24 von Martin Pl�micke Author: J�rg B�uerle |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public LocalVarDecl()
Method Detail |
---|
public void setType(Type t)
public Type getType()
public void set_DeclId(DeclId did)
public java.lang.String get_Name()
public void set_ParaList(de.dhbwstuttgart.typeinference.Menge pl)
public void sc_check(de.dhbwstuttgart.typeinference.Menge classname, java.util.Hashtable ch, java.util.Hashtable bh, boolean ext, java.util.Hashtable parach, java.util.Hashtable parabh) throws SCStatementException
SCStatementException
public void is_declared(Type t, de.dhbwstuttgart.typeinference.Menge classlist) throws SCStatementException
SCStatementException
public void check_anz(Type type, de.dhbwstuttgart.typeinference.Menge paralist, de.dhbwstuttgart.typeinference.Menge classlist) throws SCStatementException
SCStatementException
public void codegen(ClassFile classfile, CodeAttribute code, de.dhbwstuttgart.typeinference.Menge paralist) throws JVMCodeException
codegen
in class Statement
JVMCodeException
public de.dhbwstuttgart.typeinference.Menge getDeclidMenge()
public void setDeclidMenge(de.dhbwstuttgart.typeinference.Menge declid)
public int getLineNumber()
public void replaceType(CReplaceTypeEvent e)
replaceType
in interface ITypeReplacementListener
e
- public int getTypeLineNumber()
getTypeLineNumber
in interface ITypeReplacementListener
public CTripleSet TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
TRStatement
in class Statement
sigma
- V
- supportData
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |