2014-09-02 10:33:54 +02:00
|
|
|
package de.dhbwstuttgart.syntaxtree.statement;
|
2014-02-09 16:07:31 +01:00
|
|
|
|
2017-03-16 20:02:53 +01:00
|
|
|
import de.dhbwstuttgart.exceptions.TypeinferenceException;
|
2017-05-11 17:39:48 +02:00
|
|
|
import de.dhbwstuttgart.syntaxtree.*;
|
2017-04-18 21:06:04 +02:00
|
|
|
import de.dhbwstuttgart.syntaxtree.type.RefType;
|
|
|
|
import de.dhbwstuttgart.syntaxtree.type.RefTypeOrTPHOrWildcardOrGeneric;
|
2017-03-16 20:02:53 +01:00
|
|
|
import de.dhbwstuttgart.typeinference.assumptions.TypeInferenceBlockInformation;
|
|
|
|
import de.dhbwstuttgart.typeinference.constraints.Constraint;
|
|
|
|
import de.dhbwstuttgart.typeinference.constraints.ConstraintSet;
|
2017-03-08 03:43:47 +01:00
|
|
|
import de.dhbwstuttgart.typeinference.assumptions.MethodAssumption;
|
2017-04-18 21:06:04 +02:00
|
|
|
import de.dhbwstuttgart.typeinference.constraints.Pair;
|
2017-03-29 17:28:29 +02:00
|
|
|
import de.dhbwstuttgart.typeinference.unify.model.PairOperator;
|
2017-02-17 16:34:40 +01:00
|
|
|
import org.antlr.v4.runtime.Token;
|
2015-06-16 14:58:27 +02:00
|
|
|
|
2014-09-02 10:33:54 +02:00
|
|
|
import de.dhbwstuttgart.syntaxtree.type.TypePlaceholder;
|
2013-10-18 13:33:46 +02:00
|
|
|
|
2017-04-18 21:06:04 +02:00
|
|
|
import java.util.*;
|
2013-10-18 13:33:46 +02:00
|
|
|
|
|
|
|
|
2017-03-06 17:59:01 +01:00
|
|
|
public class MethodCall extends Statement
|
2013-10-18 13:33:46 +02:00
|
|
|
{
|
2017-05-15 13:15:49 +02:00
|
|
|
public final String name;
|
|
|
|
public final Receiver receiver;
|
|
|
|
public final ArgumentList arglist;
|
2014-02-22 04:58:49 +01:00
|
|
|
|
2017-04-18 21:06:04 +02:00
|
|
|
public MethodCall(RefTypeOrTPHOrWildcardOrGeneric retType, Receiver receiver, String methodName, ArgumentList argumentList, Token offset){
|
|
|
|
super(retType,offset);
|
2017-03-06 17:59:01 +01:00
|
|
|
this.arglist = argumentList;
|
|
|
|
this.name = methodName;
|
2017-03-15 16:17:07 +01:00
|
|
|
this.receiver = receiver;
|
2017-03-06 17:59:01 +01:00
|
|
|
}
|
2013-10-18 13:33:46 +02:00
|
|
|
|
2017-05-11 17:39:48 +02:00
|
|
|
@Override
|
|
|
|
public void accept(StatementVisitor visitor) {
|
|
|
|
visitor.visit(this);
|
|
|
|
}
|
|
|
|
|
2017-04-18 21:06:04 +02:00
|
|
|
public ArgumentList getArgumentList() {
|
2017-05-31 17:10:50 +02:00
|
|
|
return arglist;
|
2017-04-18 21:06:04 +02:00
|
|
|
}
|
2013-10-18 13:33:46 +02:00
|
|
|
}
|