94 lines
2.8 KiB
Plaintext
94 lines
2.8 KiB
Plaintext
|
package slangc.model.expressions;
|
||
|
|
|
||
|
|
import slangc.api.BytecodeInstructionWriter;
|
||
|
|
import slangc.api.Reporter;
|
||
|
|
import slangc.bytecode.TypeSignature;
|
||
|
|
import slangc.model.ClauseModel;
|
||
|
|
import slangc.model.ExpressionModel;
|
||
|
|
import slangc.model.ExpressionOwner;
|
||
|
|
import slangc.model.ExpressionResult;
|
||
|
|
import slangc.model.MethodModel;
|
||
|
|
import slangc.model.TypeModel;
|
||
|
|
import slangc.model.UserTypeModel;
|
||
|
|
import slangc.model.clauses.Arguments;
|
||
|
|
import slangc.parser.Branch;
|
||
|
|
import slangc.parser.Node;
|
||
|
|
|
||
|
|
public class ThisConstructorCallExpression extends ExpressionModel implements ExpressionOwner {
|
||
|
|
private Arguments arguments;
|
||
|
|
private boolean approvedLocation = false;
|
||
|
|
|
||
|
|
public ThisConstructorCallExpression(ExpressionOwner owner, Node source) {
|
||
|
|
super(owner, source);
|
||
|
|
|
||
|
|
arguments = (Arguments)ClauseModel.construct(this, ((Branch)source).getSubnode(1));
|
||
|
|
//sourceFile.annotate(ErrorType.INTERNAL_ERROR, "Unrecognised expression (Internal error/TODO)");
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public void dump(Reporter reporter, String indent, String incr) {
|
||
|
|
reporter.note("DUMP", indent + "> This constructor call of:");
|
||
|
|
dumpResolved(reporter, indent + incr, incr);
|
||
|
|
arguments.dump(reporter, indent + incr, incr);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public TypeModel getExpectedResult(ExpressionModel e) {
|
||
|
|
// TODO Auto-generated method stub
|
||
|
|
return null;
|
||
|
|
}
|
||
|
|
|
||
|
|
public Arguments getArguments() {
|
||
|
|
return arguments;
|
||
|
|
}
|
||
|
|
@Override
|
||
|
|
public ExpressionModel[] getSubexpressions() {
|
||
|
|
return arguments.getSubexpressions();
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
protected ExpressionResult resolveResult() {
|
||
|
|
targetMethod = bestTargetMethod(((UserTypeModel)getMethodOrField().getOwner()).getInstanceConstructors(), arguments);
|
||
|
|
// Super/this constructor calls shouldn't be used within expressions
|
||
|
|
// so they can be assumed to return void even though logically they kind-of
|
||
|
|
// return the object they create
|
||
|
|
return ExpressionResult.VOID;
|
||
|
|
}
|
||
|
|
|
||
|
|
private MethodModel targetMethod = null;
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public boolean hasTargetMethod() {
|
||
|
|
return true;
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public MethodModel getTargetMethod() {
|
||
|
|
// TODO Auto-generated method stub
|
||
|
|
return targetMethod;
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public TypeSignature innerGenerate(BytecodeInstructionWriter w) {
|
||
|
|
if (!isApprovedLocation()) {
|
||
|
|
w.genError("Constructors can't be called in this context");
|
||
|
|
}
|
||
|
|
//w.genThis();
|
||
|
|
arguments.generate(w, getTargetMethod(), true);
|
||
|
|
w.genNestedConstructorCall(getTargetMethod().getMethodSignature());
|
||
|
|
return TypeSignature.VOID;
|
||
|
|
}
|
||
|
|
|
||
|
|
public boolean isApprovedLocation() {
|
||
|
|
return approvedLocation;
|
||
|
|
}
|
||
|
|
|
||
|
|
public void setApprovedLocation(boolean approvedLocation) {
|
||
|
|
this.approvedLocation = approvedLocation;
|
||
|
|
}
|
||
|
|
|
||
|
|
public TypeModel resolveType(Node n) {
|
||
|
|
return super.resolveType(n); // TODO: Better support for interfaces
|
||
|
|
}
|
||
|
|
}
|