97 lines
3.1 KiB
Plaintext
97 lines
3.1 KiB
Plaintext
|
package slangc.model.expressions;
|
||
|
|
|
||
|
|
import slangc.api.BytecodeInstructionWriter;
|
||
|
|
import slangc.api.Reporter;
|
||
|
|
import slangc.bytecode.TypeSignature;
|
||
|
|
import slangc.model.ExpressionModel;
|
||
|
|
import slangc.model.ExpressionOwner;
|
||
|
|
import slangc.model.ExpressionResult;
|
||
|
|
import slangc.model.FieldModel;
|
||
|
|
import slangc.model.Named;
|
||
|
|
import slangc.model.StorageSlot;
|
||
|
|
import slangc.model.TypeModel;
|
||
|
|
import slangc.model.UserTypeModel;
|
||
|
|
import slangc.parser.Branch;
|
||
|
|
import slangc.parser.ErrorType;
|
||
|
|
import slangc.parser.Node;
|
||
|
|
|
||
|
|
public class SuperReferenceExpression extends ExpressionModel implements ExpressionOwner {
|
||
|
|
private String name;
|
||
|
|
|
||
|
|
public SuperReferenceExpression(ExpressionOwner owner, Node source) {
|
||
|
|
super(owner, source);
|
||
|
|
name = UserTypeModel.plainName(((Branch)source).getSubnode(2));
|
||
|
|
//sourceFile.annotate(ErrorType.INTERNAL_ERROR, "Unrecognised expression (Internal error/TODO)");
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public void dump(Reporter reporter, String indent, String incr) {
|
||
|
|
reporter.note("DUMP", indent + "> SuperReference expression '" + name + "'");
|
||
|
|
dumpResolved(reporter, indent + incr, incr);
|
||
|
|
}
|
||
|
|
|
||
|
|
public String getName() {
|
||
|
|
return name;
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public TypeModel getExpectedResult(ExpressionModel e) {
|
||
|
|
// TODO Auto-generated method stub
|
||
|
|
return null;
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public ExpressionModel[] getSubexpressions() {
|
||
|
|
return NO_SUBEXPRESSIONS;
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
protected ExpressionResult resolveResult() {
|
||
|
|
TypeModel superType = ((UserTypeModel) getOwner().getMethodOrField().getOwner()).getBaseClass();
|
||
|
|
if (superType.hasInnerType(name)) {
|
||
|
|
return new ExpressionResult.PointsToType(superType.getInnerType(name));
|
||
|
|
} else if (superType.hasField(name, true)) {
|
||
|
|
return new ExpressionResult.PointsToStorageSlot(superType.getField(name, true));
|
||
|
|
} else {
|
||
|
|
getSource().annotate(ErrorType.INTERNAL_ERROR, "Can't find '" + name + "' within super-type " + superType);
|
||
|
|
return ExpressionResult.INVALID;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public TypeSignature innerGenerate(BytecodeInstructionWriter w) {
|
||
|
|
ExpressionResult.PointsToStorageSlot s = (ExpressionResult.PointsToStorageSlot)getResult();
|
||
|
|
StorageSlot slot = s.getSlot();
|
||
|
|
if (slot instanceof FieldModel) {
|
||
|
|
FieldModel f = (FieldModel)slot;
|
||
|
|
if (!f.isStatic()) {
|
||
|
|
w.genThis();
|
||
|
|
}
|
||
|
|
w.genLoad(f.getFieldSignature());
|
||
|
|
return f.getStorageType().getTypeSignature();
|
||
|
|
} else {
|
||
|
|
w.genError("TODO: innerGenerate for " + Type.of(this) + " with slot " + slot);
|
||
|
|
return null;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public void generateStore(BytecodeInstructionWriter w, TypeSignature storing) {
|
||
|
|
ExpressionResult.PointsToStorageSlot s = (ExpressionResult.PointsToStorageSlot)getResult();
|
||
|
|
StorageSlot slot = s.getSlot();
|
||
|
|
if (slot instanceof FieldModel) {
|
||
|
|
FieldModel f = (FieldModel)slot;
|
||
|
|
if (!f.isStatic()) {
|
||
|
|
w.genThis();
|
||
|
|
}
|
||
|
|
w.genStore(f.getFieldSignature());
|
||
|
|
} else {
|
||
|
|
w.genError("TODO: generateStore for " + Type.of(this) + " with slot " + slot);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
public TypeModel resolveType(Node n) {
|
||
|
|
return super.resolveType(n); // TODO: Better support for interfaces
|
||
|
|
}
|
||
|
|
}
|