mycompiler.mystatement
Class LocalVarDecl

java.lang.Object
  extended by mycompiler.mystatement.Statement
      extended by mycompiler.mystatement.LocalVarDecl
All Implemented Interfaces:
ITypeReplacementListener

public class LocalVarDecl
extends Statement
implements ITypeReplacementListener


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

LocalVarDecl

public LocalVarDecl()
Method Detail

setType

public void setType(Type t)

getType

public Type getType()

set_DeclId

public void set_DeclId(DeclId did)

get_Name

public java.lang.String get_Name()

set_ParaList

public void set_ParaList(de.dhbwstuttgart.typeinference.Menge pl)

sc_check

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
Throws:
SCStatementException

is_declared

public void is_declared(Type t,
                        de.dhbwstuttgart.typeinference.Menge classlist)
                 throws SCStatementException
Throws:
SCStatementException

check_anz

public void check_anz(Type type,
                      de.dhbwstuttgart.typeinference.Menge paralist,
                      de.dhbwstuttgart.typeinference.Menge classlist)
               throws SCStatementException
Throws:
SCStatementException

codegen

public void codegen(ClassFile classfile,
                    CodeAttribute code,
                    de.dhbwstuttgart.typeinference.Menge paralist)
             throws JVMCodeException
Specified by:
codegen in class Statement
Throws:
JVMCodeException

getDeclidMenge

public de.dhbwstuttgart.typeinference.Menge getDeclidMenge()

setDeclidMenge

public void setDeclidMenge(de.dhbwstuttgart.typeinference.Menge declid)

getLineNumber

public int getLineNumber()

Author: J�rg B�uerle

Returns:

replaceType

public void replaceType(CReplaceTypeEvent e)

Author: J�rg B�uerle

Specified by:
replaceType in interface ITypeReplacementListener
Parameters:
e -

getTypeLineNumber

public int getTypeLineNumber()

Author: J�rg B�uerle

Specified by:
getTypeLineNumber in interface ITypeReplacementListener
Returns:

TRStatement

public CTripleSet TRStatement(CSubstitutionSet sigma,
                              CTypeAssumptionSet V,
                              CSupportData supportData)
Implementierung des Algorithmus 5.24 von Martin Pl�micke
Author: J�rg B�uerle

Specified by:
TRStatement in class Statement
Parameters:
sigma -
V -
supportData -
Returns: