de.dhbwstuttgart.typeinference.assumptions

Class ParameterAssumption

java.lang.Object

de.dhbwstuttgart.typeinference.assumptions.Assumption

de.dhbwstuttgart.typeinference.assumptions.ParameterAssumption

public class ParameterAssumption
extends Assumption

ParameterAssumptions repräsentieren die Methodenparameter innerhalb des Rumpfes einer Methode.

Author:

janulrich

Constructor Summary

Constructors

Constructor and Description
ParameterAssumption(FormalParameter parameter)

Method Summary

Methods inherited from class de.dhbwstuttgart.typeinference.assumptions.Assumption

getAssumedType, getIdentifier

Methods inherited from class java.lang.Object

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

Constructor Detail

ParameterAssumption

public ParameterAssumption(FormalParameter parameter)