mycompiler.mystatement
Class LocalVarDecl

java.lang.Object
  mycompiler.mystatement.Statement
      mycompiler.mystatement.LocalVarDecl

All Implemented Interfaces:

ITypeReplacementListener

public class LocalVarDecl
extends Statement
implements ITypeReplacementListener

Constructor Summary

LocalVarDecl()

Method Summary

void	check_anz(Type type, java.util.Vector paralist, java.util.Vector classlist)
void	codegen(ClassFile classfile, CodeAttribute code, java.util.Vector paralist)
java.lang.String	get_Name()
java.util.Vector	getDeclidVector()
int	getLineNumber() Author: Jörg Bäuerle
Type	getType()
int	getTypeLineNumber() Author: Jörg Bäuerle
void	is_declared(Type t, java.util.Vector classlist)
void	replaceType(CReplaceTypeEvent e) Author: Jörg Bäuerle
void	sc_check(java.util.Vector 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(java.util.Vector pl)
void	setDeclidVector(java.util.Vector 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(java.util.Vector pl)

sc_check

public void sc_check(java.util.Vector 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,
                        java.util.Vector classlist)
                 throws SCStatementException

Throws:

SCStatementException

check_anz

public void check_anz(Type type,
                      java.util.Vector paralist,
                      java.util.Vector classlist)
               throws SCStatementException

Throws:

SCStatementException

codegen

public void codegen(ClassFile classfile,
                    CodeAttribute code,
                    java.util.Vector paralist)
             throws JVMCodeException

Specified by:

codegen in class Statement

Throws:

JVMCodeException

getDeclidVector

public java.util.Vector getDeclidVector()

setDeclidVector

public void setDeclidVector(java.util.Vector 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: