Modifier and Type | Class and Description |
---|---|
class |
BasicAssumptionClass |
class |
Class |
class |
Constant
Enthaelt die Eigenschaften einer Konstante (Name, Typ, Modifier, Wert)
|
class |
Constructor |
class |
Field |
class |
FieldDeclaration
Eine Feldinitialisation steht für eine Felddeklaration mit gleichzeitiger Wertzuweisung
Beispiel: 'public Feld FeldVar = FeldWert;'
|
class |
FormalParameter |
class |
GenericDeclarationList
Stellt eine Deklarations-Liste von Generischen Variablen dar.
|
class |
GTVDeclarationContext
Beischreibt eine SyntaxTreeNode, welcher die Eigenschaft besitzt,
dass bei seiner Deklaration auch Generische Typvariablen deklariert wurden.
|
class |
Interface
Ein Interface ist eine abstrakte Klasse, erbt daher von Class
|
class |
Method
Stellt eine Methode dar.
|
class |
ParameterList |
class |
SourceFile |
Modifier and Type | Field and Description |
---|---|
private SyntaxTreeNode |
Class.parent |
protected SyntaxTreeNode |
SyntaxTreeNode.parent |
Modifier and Type | Method and Description |
---|---|
SyntaxTreeNode |
SyntaxTreeNode.getMatchingParentNode(SyntaxTreeNode inNode) |
SyntaxTreeNode |
Class.getParent() |
SyntaxTreeNode |
SyntaxTreeNode.getParent() |
SyntaxTreeNode |
SourceFile.getParent() |
Modifier and Type | Method and Description |
---|---|
Menge<SyntaxTreeNode> |
Class.getChildren() |
Menge<? extends SyntaxTreeNode> |
ParameterList.getChildren() |
Menge<SyntaxTreeNode> |
FieldDeclaration.getChildren() |
abstract Menge<? extends SyntaxTreeNode> |
SyntaxTreeNode.getChildren() |
Menge<SyntaxTreeNode> |
FormalParameter.getChildren() |
Menge<SyntaxTreeNode> |
SourceFile.getChildren() |
Menge<SyntaxTreeNode> |
Method.getChildren() |
Menge<SyntaxTreeNode> |
Field.getChildren() |
Menge<SyntaxTreeNode> |
GenericDeclarationList.getChildren() |
Modifier and Type | Method and Description |
---|---|
SyntaxTreeNode |
SyntaxTreeNode.getMatchingParentNode(SyntaxTreeNode inNode) |
void |
Class.parserPostProcessing(SyntaxTreeNode parent) |
void |
FieldDeclaration.parserPostProcessing(SyntaxTreeNode parent) |
void |
SyntaxTreeNode.parserPostProcessing(SyntaxTreeNode parent)
Wird nach dem Parsen aufgerufen.
|
void |
FormalParameter.parserPostProcessing(SyntaxTreeNode parent) |
void |
SourceFile.parserPostProcessing(SyntaxTreeNode parent) |
void |
Method.parserPostProcessing(SyntaxTreeNode parent) |
Modifier and Type | Class and Description |
---|---|
class |
ConstructorCall
Diese Klasse stellt den this()-Aufruf dar.
|
Modifier and Type | Class and Description |
---|---|
class |
AddOp |
class |
AndOp |
class |
DivideOp |
class |
EqualOp |
class |
GreaterEquOp |
class |
GreaterOp |
class |
LessEquOp |
class |
LessOp |
class |
LogOp |
class |
MinusOp |
class |
ModuloOp |
class |
MulOp |
class |
NotEqualOp |
class |
Operator |
class |
OrOp |
class |
PlusOp |
class |
RelOp |
class |
TimesOp |
Modifier and Type | Method and Description |
---|---|
Menge<SyntaxTreeNode> |
Operator.getChildren() |
Modifier and Type | Class and Description |
---|---|
class |
ArgumentList |
class |
Assign |
class |
Binary |
class |
BinaryExpr |
class |
Block |
class |
BoolLiteral |
class |
CastExpr |
class |
CharLiteral |
class |
DoubleLiteral |
class |
EmptyStmt |
class |
Expr |
class |
ExprStmt |
class |
FloatLiteral |
class |
ForStmt |
class |
IfStmt |
class |
InstanceOf |
class |
InstVar |
class |
IntLiteral |
class |
LambdaExpression |
class |
LambdaParameter
Der FormalParameter einer LambdaExpression hat gesonderte Eigenschaften.
|
class |
Literal |
class |
LocalOrFieldVar |
class |
LocalVarDecl |
class |
LongLiteral |
class |
MethodCall |
class |
NegativeExpr |
class |
NewArray |
class |
NewClass |
class |
NotExpr |
class |
Null |
class |
PositivExpr |
class |
PostDecExpr |
class |
PostIncExpr |
class |
PreDecExpr |
class |
PreIncExpr |
class |
Return |
class |
Statement |
class |
StringLiteral |
class |
SuperCall |
class |
This |
class |
ThisCall |
class |
UnaryExpr |
class |
WhileStmt |
Modifier and Type | Method and Description |
---|---|
void |
MethodCall.parserPostProcessing(SyntaxTreeNode parent) |
void |
InstVar.parserPostProcessing(SyntaxTreeNode parent) |
void |
LocalVarDecl.parserPostProcessing(SyntaxTreeNode parent) |
Constructor and Description |
---|
SuperCall(SyntaxTreeNode parent) |
This(SyntaxTreeNode parent) |
ThisCall(SyntaxTreeNode parent) |
Modifier and Type | Class and Description |
---|---|
class |
BaseType |
class |
BooleanType |
class |
BoundedGenericTypeVar
Entspricht einem GenericTypeVar, jedoch mit Bounds
(d.h. vorgaben, von welchem Typ die Typevar sein darf
=> extends Class x
=> implements Interface y
...
|
class |
CharacterType |
class |
DoubleType |
class |
ExtendsWildcardType
Stellt eine Wildcard mit oberer Grenze dar.
|
class |
FloatType |
class |
FreshExtendsWildcardType |
class |
FreshSuperWildcardType |
class |
FreshWildcardType |
class |
GenericTypeVar
TODO: Diese Klasse überarbeiten.
|
class |
IntegerType |
class |
LongType |
class |
ObjectType |
class |
RefType |
class |
ReturnType |
class |
SuperWildcardType
Stellt eine Wildcard mit unterer Grenze dar.
|
class |
Type |
class |
TypePlaceholder
Repr�sentiert einen Typparameter f�r einen vom Programmierer nicht angegeben
Typ.
|
class |
Void |
class |
WildcardType
Stellt eine Wildcard in Java dar.
|
Modifier and Type | Field and Description |
---|---|
private SyntaxTreeNode |
TypePlaceholder.parent |
Modifier and Type | Method and Description |
---|---|
Menge<SyntaxTreeNode> |
Type.getChildren() |
Menge<SyntaxTreeNode> |
RefType.getChildren() |
Menge<SyntaxTreeNode> |
BoundedGenericTypeVar.getChildren() |
Modifier and Type | Method and Description |
---|---|
Type |
Void.checkTYPE(TypeAssumptions ass,
SyntaxTreeNode method) |
Type |
Type.checkTYPE(TypeAssumptions ass,
SyntaxTreeNode method) |
Type |
RefType.checkTYPE(TypeAssumptions ass,
SyntaxTreeNode method) |
static TypePlaceholder |
TypePlaceholder.fresh(java.lang.String name,
SyntaxTreeNode parent)
Generiert einen neuen TPH mit einem bestimmten Namen.
|
static TypePlaceholder |
TypePlaceholder.fresh(SyntaxTreeNode parent) |
TypePlaceholder |
GenericTypeVar.getTypePlaceHolder(SyntaxTreeNode environment) |
void |
RefType.GTV2TPH(SyntaxTreeNode environment)
Wandelt die Parameter des RefTypes in TPHs um, sofern es sich um Generische Variablen handelt.
|
void |
GenericTypeVar.parserPostProcessing(SyntaxTreeNode parent) |
void |
ExtendsWildcardType.parserPostProcessing(SyntaxTreeNode parent) |
void |
SuperWildcardType.parserPostProcessing(SyntaxTreeNode parent) |
void |
RefType.parserPostProcessing(SyntaxTreeNode parent) |
ConstraintType |
WildcardType.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
GenericTypeVar.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
ExtendsWildcardType.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
Void.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
TypePlaceholder.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
SuperWildcardType.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
Type.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent)
Prüft ob der Typ in den Assumptions ass vorhanden ist.
|
ConstraintType |
BaseType.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
ConstraintType |
RefType.TYPE(TypeAssumptions ass,
SyntaxTreeNode parent) |
Constructor and Description |
---|
BaseType(java.lang.String name,
SyntaxTreeNode parent,
int offset) |
BaseType(SyntaxTreeNode parent,
int offset) |
BooleanType(SyntaxTreeNode parent) |
BoundedGenericTypeVar(java.lang.String s,
Menge<ObjectType> bounds,
SyntaxTreeNode parentClass,
int offset,
int endOffset) |
CharacterType(SyntaxTreeNode parent) |
DoubleType(SyntaxTreeNode parent) |
FloatType(SyntaxTreeNode parent) |
FreshExtendsWildcardType(ObjectType extendsBound,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine FreshExtendsWildcard |
FreshExtendsWildcardType(ObjectType extendsBound,
SyntaxTreeNode parent,
int offset,
java.lang.String name)
Author: Arne Lüdtke
Privater Konstruktor für clone |
FreshSuperWildcardType(ObjectType superBound,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine FreshSuperWildcard |
FreshSuperWildcardType(ObjectType superBound,
SyntaxTreeNode parent,
int offset,
java.lang.String name)
Author: Arne Lüdtke
Privater Konstruktor für clone |
FreshWildcardType(SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine FreshWildcard |
FreshWildcardType(SyntaxTreeNode parent,
int offset,
java.lang.String name)
Author: Arne Lüdtke
Protected Konstruktor für clone. |
GenericTypeVar(java.lang.String s,
SyntaxTreeNode parentClass,
int offset) |
IntegerType(SyntaxTreeNode parent) |
LongType(SyntaxTreeNode parent) |
ObjectType(java.lang.String s,
SyntaxTreeNode parent,
int offset) |
ObjectType(SyntaxTreeNode parent,
int offset) |
RefType(JavaClassName jName,
SyntaxTreeNode parent,
int offset) |
RefType(RefType R,
SyntaxTreeNode parent,
int offset) |
RefType(java.lang.String fullyQualifiedName,
Menge parameter,
SyntaxTreeNode parent,
int offset) |
RefType(java.lang.String fullyQualifiedName,
SyntaxTreeNode parent,
int offset) |
RefType(SyntaxTreeNode parent,
int offset) |
Type(java.lang.String s,
SyntaxTreeNode parent,
int offset) |
Type(SyntaxTreeNode parent,
int offset) |
TypePlaceholder(java.lang.String typeName,
SyntaxTreeNode parent)
Privater Konstruktor - Eine TypePlaceholder-Variable wird �ber die
Factory-Methode
fresh() erzeugt. |
Void(SyntaxTreeNode parent,
int offset) |
WildcardType(ObjectType innerType,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine Wildcard |
Modifier and Type | Class and Description |
---|---|
class |
FunN |
class |
FunNInterface
Stellt das Interface FunN dar.
|
class |
FunNMethod |
Modifier and Type | Method and Description |
---|---|
Type |
TypeAssumptions.checkType(RefType type,
SyntaxTreeNode parent) |
ConstraintType |
TypeAssumptions.getTypeFor(Type t,
SyntaxTreeNode inNode)
Kontrolliert den vom Parser gesetzten Typ.
|
Constructor and Description |
---|
TypeinferenceException(java.lang.String message,
SyntaxTreeNode problemSource) |
Modifier and Type | Field and Description |
---|---|
private SyntaxTreeNode |
TypeInsertPoint.node |
Modifier and Type | Method and Description |
---|---|
SyntaxTreeNode |
TypeInsertPoint.getInsertNode() |
Constructor and Description |
---|
TypeInsertPoint(TypeInsertable insertPoint,
SyntaxTreeNode insertNode,
Type insertType,
ResultSet resultSet)
Dieser Konstruktor erstellt einen TypInsertPoint
|
Modifier and Type | Method and Description |
---|---|
private void |
NodeEqualTest.recursivlyCheckEqual(SyntaxTreeNode node1,
SyntaxTreeNode node2) |