de.dhbwstuttgart.typeinference.assumptions

Class Assumption

java.lang.Object

de.dhbwstuttgart.typeinference.assumptions.Assumption

Direct Known Subclasses:

FieldAssumption, GenericVarAssumption, LocalVarAssumption, ParameterAssumption

public class Assumption
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private TypeInsertable	typable

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Assumption() Wird dieser Konstruktor benutzt müssen alle Methoden der Klasse Assumption überschrieben werden.
	Assumption(TypeInsertable ass)

Method Summary

Modifier and Type	Method and Description
Type	getAssumedType()
JavaClassName	getIdentifier()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

typable

private TypeInsertable typable

Constructor Detail

Assumption

protected Assumption()

Wird dieser Konstruktor benutzt müssen alle Methoden der Klasse Assumption überschrieben werden.

Assumption

public Assumption(TypeInsertable ass)

Method Detail

getAssumedType

public Type getAssumedType()

getIdentifier

public JavaClassName getIdentifier()