mycompiler.mystatement

Class LocalVarDecl

java.lang.Object

mycompiler.mystatement.Statement

mycompiler.mystatement.LocalVarDecl

All Implemented Interfaces:

IItemWithOffset, ITypeReplacementListener, Typable

public class LocalVarDecl
extends Statement
implements ITypeReplacementListener

Field Summary

Fields

Modifier and Type	Field and Description
Block	block

Constructor Summary

Constructors

Constructor and Description
LocalVarDecl(int offset, int variableLength)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	check_anz(Type type, java.util.Vector paralist, java.util.Vector<Class> classlist)
void	codegen(ClassFile classfile, CodeAttribute code, java.util.Vector paralist)
java.lang.String	get_Name()
java.util.Vector<DeclId>	getDeclidVector()
Type	getDeclType()
int	getLineNumber() Author: J�rg B�uerle
int	getOffset() Author: Thomas Hornberger
java.lang.String	getTypeInformation()
int	getTypeLineNumber() Author: J�rg B�uerle
void	is_declared(Type t, java.util.Vector<Class> classlist)
java.lang.String	printJavaCode(ResultSet resultSet)
void	replaceType(CReplaceTypeEvent e) Author: J�rg B�uerle
void	sc_check(java.util.Vector<Class> classname, java.util.Hashtable ch, java.util.Hashtable<java.lang.String,java.lang.String> bh, boolean ext, java.util.Hashtable parach, java.util.Hashtable<java.lang.String,java.util.Hashtable> parabh)
void	set_DeclId(DeclId did)
void	set_ParaList(java.util.Vector pl)
void	setDeclidVector(java.util.Vector<DeclId> declid)
void	setDeclType(Type t)
java.lang.String	toString() Author: Martin Pl�micke
CTripleSet	TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.24 von Martin Pl�micke Author: J�rg B�uerle
ConstraintsSet	TYPEStmt(TypeAssumptions assumptions)
void	wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)

Methods inherited from class mycompiler.mystatement.Statement

getTypeVariable, getVariableLength, setType, setTypeVariable

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

block

public Block block

Constructor Detail

LocalVarDecl

public LocalVarDecl(int offset,
            int variableLength)

Method Detail

setDeclType

public void setDeclType(Type t)

getDeclType

public Type getDeclType()

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<Class> classname,
            java.util.Hashtable ch,
            java.util.Hashtable<java.lang.String,java.lang.String> bh,
            boolean ext,
            java.util.Hashtable parach,
            java.util.Hashtable<java.lang.String,java.util.Hashtable> parabh)
              throws SCStatementException

Throws:

SCStatementException

is_declared

public void is_declared(Type t,
               java.util.Vector<Class> classlist)
                 throws SCStatementException

Throws:

SCStatementException

check_anz

public void check_anz(Type type,
             java.util.Vector paralist,
             java.util.Vector<Class> 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<DeclId> getDeclidVector()

setDeclidVector

public void setDeclidVector(java.util.Vector<DeclId> declid)

getLineNumber

public int getLineNumber()

Author: J�rg B�uerle

Returns:

getOffset

public int getOffset()

Author: Thomas Hornberger

Specified by:

getOffset in interface IItemWithOffset

Overrides:

getOffset in class Statement

Returns:

replaceType

public void replaceType(CReplaceTypeEvent e)

Author: J�rg B�uerle

Specified by:

replaceType in interface ITypeReplacementListener

Overrides:

replaceType in class Statement

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:

toString

public java.lang.String toString()

Author: Martin Pl�micke

Overrides:

toString in class java.lang.Object

Returns:

wandleRefTypeAttributes2GenericAttributes

public void wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist,
                                             java.util.Vector<GenericTypeVar> genericMethodParameters)

Specified by:

wandleRefTypeAttributes2GenericAttributes in class Statement

addOffsetsToStatement

public boolean addOffsetsToStatement(CTypeAssumption localAssumption,
                            java.lang.String NameVariable,
                            boolean isMemberVariable)

Specified by:

addOffsetsToStatement in class Statement

TYPEStmt

public ConstraintsSet TYPEStmt(TypeAssumptions assumptions)

Specified by:

TYPEStmt in class Statement

getTypeInformation

public java.lang.String getTypeInformation()

Overrides:

getTypeInformation in class Statement

Returns:

printJavaCode

public java.lang.String printJavaCode(ResultSet resultSet)

Specified by:

printJavaCode in class Statement