private Node buildSJSessionTypeCast(SJSessionTypeCast stc) throws SemanticException { SJTypeNode tn = disambiguateSJTypeNode(this, stc.sessionType()); SJSessionType st = tn.type(); if (stc instanceof SJAmbiguousCast) { SJNoAliasExprExt naee = getSJNoAliasExprExt(stc); Position pos = stc.position(); Expr e = stc.expr(); if (st instanceof SJBeginType) { stc = sjnf.SJChannelCast(pos, e, tn); } else { stc = sjnf.SJSessionCast(pos, e, tn); } stc = (SJSessionTypeCast) buildAndCheckTypes(this, stc); stc = (SJSessionTypeCast) SJNoAliasExprBuilder.setSJNoAliasExprExt( sjef, stc, naee.isNoAlias(), naee.isFinal(), naee.fields(), naee.locals(), naee.arrayAccesses()); } else { stc = stc.sessionType(tn); } stc = (SJSessionTypeCast) setSJTypeableExt(sjef, stc, st); return stc; }
/** * @author Raymond * <p>Also does SJSessionTypeCasts and SJFormals. */ public class SJProtocolDeclTypeBuilder extends ContextVisitor { private SJTypeSystem sjts = (SJTypeSystem) typeSystem(); private SJNodeFactory sjnf = (SJNodeFactory) nodeFactory(); private SJExtFactory sjef = sjnf.extFactory(); /** */ public SJProtocolDeclTypeBuilder(Job job, TypeSystem ts, NodeFactory nf) { super(job, ts, nf); } protected NodeVisitor enterCall(Node parent, Node n) throws SemanticException { return this; } protected Node leaveCall(Node old, Node n, NodeVisitor v) throws SemanticException { if (n instanceof VarInit) { if (n instanceof FieldDecl) { n = buildFieldDecl((FieldDecl) n); } else // if (n instanceof LocalDecl) { n = buildLocalDecl((LocalDecl) n); } } else if (n instanceof SJSessionTypeCast) { n = buildSJSessionTypeCast((SJSessionTypeCast) n); } else if (n instanceof Formal) { n = buildFormal((Formal) n); } return n; } private Node buildFieldDecl(FieldDecl fd) throws SemanticException { Type t = fd.declType(); if (t.isSubtype(SJ_PROTOCOL_TYPE)) { if (!(fd instanceof SJFieldProtocolDecl)) { throw new SemanticException( "[SJProtocolDeclTypeBuilder] Protocols may only be declared using the protocol keyword: " + fd); } SJTypeNode tn = disambiguateSJTypeNode(this, ((SJProtocolDecl) fd).sessionType()); SJSessionType st = tn.type(); String sjname = fd.name(); // Should match that given by SJVariable.sjname. SJFieldInstance fi = (SJFieldInstance) fd.fieldInstance(); SJFieldProtocolInstance fpi = sjts.SJFieldProtocolInstance((SJFieldInstance) fd.fieldInstance(), st, sjname); fpi.setConstantValue( fi .constantValue()); // Currently, constant checker not run on custom nodes/type // objects. (Previously done by SJNoAliasTypeBuilder.) fd = fd.fieldInstance(fpi); fd = (FieldDecl) setSJProtocolDeclExt((SJProtocolDecl) fd, tn, sjname); updateSJFieldInstance(fi, fpi); } return fd; } private Node buildLocalDecl(LocalDecl ld) throws SemanticException { Type t = ld.declType(); SJLocalInstance li = (SJLocalInstance) ld.localInstance(); // SJNamedInstance ni = null; if (t.isSubtype(SJ_PROTOCOL_TYPE)) // Mostly the same as for LocalDecl. { if (!(ld instanceof SJLocalProtocolDecl)) { throw new SemanticException( "[SJProtocolDeclTypeBuilder] Protocols may only be declared using the protocol keyword: " + ld); } SJTypeNode tn = disambiguateSJTypeNode(this, ((SJProtocolDecl) ld).sessionType()); SJSessionType st = tn.type(); String sjname = ld.name(); // Should match that given by SJVariable.sjname. ld = ld.localInstance(sjts.SJLocalProtocolInstance(li, st, sjname)); ld = (LocalDecl) setSJProtocolDeclExt((SJProtocolDecl) ld, tn, sjname); } return ld; } private SJProtocolDecl setSJProtocolDeclExt(SJProtocolDecl pd, SJTypeNode tn, String sjname) { pd = pd.sessionType(tn); pd = (SJProtocolDecl) setSJNamedExt(sjef, pd, tn.type(), sjname); return pd; } private Node buildSJSessionTypeCast(SJSessionTypeCast stc) throws SemanticException { SJTypeNode tn = disambiguateSJTypeNode(this, stc.sessionType()); SJSessionType st = tn.type(); if (stc instanceof SJAmbiguousCast) { SJNoAliasExprExt naee = getSJNoAliasExprExt(stc); Position pos = stc.position(); Expr e = stc.expr(); if (st instanceof SJBeginType) { stc = sjnf.SJChannelCast(pos, e, tn); } else { stc = sjnf.SJSessionCast(pos, e, tn); } stc = (SJSessionTypeCast) buildAndCheckTypes(this, stc); stc = (SJSessionTypeCast) SJNoAliasExprBuilder.setSJNoAliasExprExt( sjef, stc, naee.isNoAlias(), naee.isFinal(), naee.fields(), naee.locals(), naee.arrayAccesses()); } else { stc = stc.sessionType(tn); } stc = (SJSessionTypeCast) setSJTypeableExt(sjef, stc, st); return stc; } private Node buildFormal(Formal f) throws SemanticException // Based on buildLocalDecl. { Type t = f.declType(); SJLocalInstance li = (SJLocalInstance) f.localInstance(); if (t.isSubtype(SJ_ABSTRACT_CHANNEL_TYPE)) { if (!(f instanceof SJFormal)) { throw new SemanticException( "[SJProtocolDeclTypeBuilder] Session socket parameters should be declared by their session type: " + f); } SJTypeNode tn = disambiguateSJTypeNode(this, ((SJFormal) f).sessionType()); SJSessionType st = tn.type(); String sjname = f.name(); // Should match that given by SJVariable.sjname. f = f.localInstance(sjts.SJLocalProtocolInstance(li, st, sjname)); f = setSJFormalExt((SJFormal) f, tn, sjname); } return f; } private Formal setSJFormalExt( SJFormal f, SJTypeNode tn, String sjname) // Based on setSJProtocolDeclExt { f = f.sessionType(tn); f = (SJFormal) setSJNamedExt(sjef, f, tn.type(), sjname); return f; } }