Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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, 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:

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD