## Class RefType

    java.lang.Object
      |
      +--Type
            |
            +--RefType

Direct Known Subclasses:
  Void

public class RefType
extends Type

Field Summary
`private de.dhbwstuttgart.typeinference.Menge` `parameter`

Fields inherited from class Type
`hamaDebug, type, used`

Constructor Summary
`RefType()`
`RefType(RefType R)`
`RefType(java.lang.String s)`
`RefType(java.lang.String s, de.dhbwstuttgart.typeinference.Menge parameter)`

Method Summary
`void` `add_Parameter(java.lang.Object o)`
`de.dhbwstuttgart.typeinference.Menge` `get_ParaList()`
`java.lang.String` `get_Type()`
`java.lang.String` `getParaN(int n)`
`java.lang.String` `getTypeName()`
`boolean` `isTV(int n)`
`void` `set_ParaList(de.dhbwstuttgart.typeinference.Menge v)`

Methods inherited from class Type
`get_codegen_Type, get_Name, get_UsedId, set_Type, set_UsedId`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

### parameter

    private de.dhbwstuttgart.typeinference.Menge parameter

Constructor Detail

### RefType

    public RefType()

### RefType

    public RefType(java.lang.String s)

### RefType

    public RefType(java.lang.String s,
                   de.dhbwstuttgart.typeinference.Menge parameter)

### RefType

    public RefType(RefType R)

Method Detail

### get_Type

    public java.lang.String get_Type()

  Overrides:
    `get_Type` in class `Type`

### set_ParaList

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

### get_ParaList

    public de.dhbwstuttgart.typeinference.Menge get_ParaList()

### add_Parameter

    public void add_Parameter(java.lang.Object o)

### getTypeName

    public java.lang.String getTypeName()

### getParaN

    public java.lang.String getParaN(int n)
                              throws SCException

    `SCException`

### isTV

    public boolean isTV(int n)