Modifier and Type | Method and Description |
---|---|
JavaClassName |
AClassOrInterface.getName() |
Modifier and Type | Method and Description |
---|---|
JavaClassName |
Class.get_Superclass_Name() |
JavaClassName |
Class.getName() |
JavaClassName |
Constant.getTypeName() |
JavaClassName |
Method.getTypeName() |
Modifier and Type | Method and Description |
---|---|
JavaClassName |
UsedId.getQualifiedName() |
Modifier and Type | Field and Description |
---|---|
protected JavaClassName |
Type.name |
Modifier and Type | Field and Description |
---|---|
private static java.util.Hashtable<JavaClassName,TypePlaceholder> |
TypePlaceholder.m_TypePlaceholdersRegistry |
Modifier and Type | Method and Description |
---|---|
JavaClassName |
GenericTypeVar.getName() |
JavaClassName |
Type.getName() |
JavaClassName |
RefType.getName() |
private static JavaClassName |
FreshWildcardType.makeNewName()
Erzeugt einen neuen Namen, und gibt diesen zurück
Methode aus TypePlaceholder kopiert
|
Modifier and Type | Method and Description |
---|---|
void |
RefType.setName(JavaClassName name) |
Modifier and Type | Method and Description |
---|---|
boolean |
RefType.Equiv2Equal(RefType ty2,
java.util.Hashtable<JavaClassName,Type> ht) |
boolean |
RefType.is_Equiv(RefType ty2,
java.util.Hashtable<JavaClassName,Type> ht) |
Constructor and Description |
---|
RefType(JavaClassName jName,
SyntaxTreeNode parent,
int offset) |
Modifier and Type | Field and Description |
---|---|
private JavaClassName |
TypeAssumptions.thisClassName |
Modifier and Type | Method and Description |
---|---|
JavaClassName |
GenericVarAssumption.getIdentifier() |
JavaClassName |
Assumption.getIdentifier() |
JavaClassName |
FieldAssumption.getIdentifier() |
Modifier and Type | Method and Description |
---|---|
private Menge<FieldAssumption> |
TypeAssumptions.getAssumptionsFor(JavaClassName className)
Liefert alle Assumptions, auÃer die der lokalen Variablen, welche einer bestimmten Klasse zugeordnet sind.
|
Menge<MethodAssumption> |
TypeAssumptions.getMethodAssumptions(JavaClassName className,
java.lang.String methodName)
Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.
|
Constructor and Description |
---|
TypeAssumptions(JavaClassName thisClassName) |
Modifier and Type | Method and Description |
---|---|
private static java.util.Hashtable<JavaClassName,Type> |
Unify.CaptureConversionHashtable(java.util.Hashtable<JavaClassName,Type> ht,
FC_TTO fc_tto) |
static java.util.Hashtable<JavaClassName,Type> |
Unify.MengePair2SubstHashtableMengePair(Menge<Pair> v) |
Modifier and Type | Method and Description |
---|---|
private static java.util.Hashtable<JavaClassName,Type> |
Unify.CaptureConversionHashtable(java.util.Hashtable<JavaClassName,Type> ht,
FC_TTO fc_tto) |
static java.util.Hashtable |
Unify.match(RefType FCtype,
RefType tomatch,
java.util.Hashtable<JavaClassName,Type> ht) |
static void |
Unify.SubstHashtable(RefType typterm,
java.util.Hashtable<JavaClassName,Type> ht) |
static Menge<Pair> |
Unify.SubstHashtable2MengePair(java.util.Hashtable<JavaClassName,Type> ht) |
static void |
Unify.SubstHashtableGeneric(RefType typterm,
java.util.Hashtable<JavaClassName,Type> ht) |
static void |
Unify.varSubst(RefType typterm,
java.util.Hashtable<JavaClassName,Type> ht) |