87 lines
2.5 KiB
Plaintext
87 lines
2.5 KiB
Plaintext
|
package slangc.model.statements;
|
||
|
|
|
||
|
|
import slangc.api.BytecodeInstructionWriter;
|
||
|
|
import slangc.api.Reporter;
|
||
|
|
import slangc.model.ExpressionModel;
|
||
|
|
import slangc.model.ExpressionOwner;
|
||
|
|
import slangc.model.InnerTypeScope;
|
||
|
|
import slangc.model.MemberModel;
|
||
|
|
import slangc.model.StatementModel;
|
||
|
|
import slangc.model.StatementOwner;
|
||
|
|
import slangc.model.TypeModel;
|
||
|
|
import slangc.parser.Branch;
|
||
|
|
import slangc.parser.Node;
|
||
|
|
|
||
|
|
public class SynchronizedStatement extends StatementModel implements StatementOwner, ExpressionOwner {
|
||
|
|
private ExpressionModel condition;
|
||
|
|
private StatementModel innerStatement;
|
||
|
|
|
||
|
|
public SynchronizedStatement(StatementOwner owner, Branch source) {
|
||
|
|
super(owner, source);
|
||
|
|
condition = ExpressionModel.construct(this, source.getSubnode(1));
|
||
|
|
innerStatement = StatementModel.construct(this, source.getSubnode(2));
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public void dump(Reporter reporter, String indent, String incr) {
|
||
|
|
reporter.note("DUMP", indent + "> Synchronized:");
|
||
|
|
condition.dump(reporter, indent + incr, incr);
|
||
|
|
innerStatement.dump(reporter, indent + incr, incr);
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public int resolveExpressions() {
|
||
|
|
return condition.resolveExpressions() + innerStatement.resolveExpressions();
|
||
|
|
}
|
||
|
|
|
||
|
|
//@Override
|
||
|
|
public TypeModel resolveType(Node subnode) {
|
||
|
|
return getOwner().resolveType(subnode);
|
||
|
|
}
|
||
|
|
|
||
|
|
public MethodModel[] lookupSimpleMethod(String name) {
|
||
|
|
// TODO: Better interface support
|
||
|
|
return super.lookupSimpleMethod(name);
|
||
|
|
}
|
||
|
|
|
||
|
|
public slangc.model.Named lookupSimpleName(String name) {
|
||
|
|
// TODO: Better interface support
|
||
|
|
return super.lookupSimpleName(name);
|
||
|
|
}
|
||
|
|
|
||
|
|
//@Override
|
||
|
|
public MemberModel getMethodOrField() {
|
||
|
|
return getOwner().getMethodOrField();
|
||
|
|
}
|
||
|
|
|
||
|
|
//@Override
|
||
|
|
public InnerTypeScope getTypeScope() {
|
||
|
|
return getOwner().getTypeScope();
|
||
|
|
}
|
||
|
|
|
||
|
|
//@Override
|
||
|
|
public TypeModel getExpectedResult(ExpressionModel e) {
|
||
|
|
// TODO Should probably be Object or some configurable target
|
||
|
|
return null;
|
||
|
|
}
|
||
|
|
|
||
|
|
@Override
|
||
|
|
public void innerGenerate(BytecodeInstructionWriter w) {
|
||
|
|
BytecodeInstructionWriter.Label begin = w.newLabel("sync_begin");
|
||
|
|
BytecodeInstructionWriter.Label catchEnd = w.newLabel("sync_end");
|
||
|
|
BytecodeInstructionWriter.FinallyLabel fin = w.newFinallyLabel("sync_finally", begin, catchEnd);
|
||
|
|
|
||
|
|
condition.generate(w);
|
||
|
|
w.genLock();
|
||
|
|
|
||
|
|
w.labelHere(begin);
|
||
|
|
innerStatement.generate(w);
|
||
|
|
w.labelHere(catchEnd);
|
||
|
|
|
||
|
|
w.labelHere(fin);
|
||
|
|
condition.generate(w);
|
||
|
|
w.genCheckRethrow();
|
||
|
|
w.genUnlock();
|
||
|
|
}
|
||
|
|
}
|