Ejemplo n.º 1
0
def check_wellformedness(checker, node_):
    context_ = checker.get_context()

    sigs = get_message_children(node_)
    subj = get_role(node_)

    # Section 4.6.9 -- bound interrupt role
    if not context_.is_role_declared(subj):
        util.report_error("Bad interrupt role: " + subj)

    tmp = context_.get_operators().items()
    for sig in sigs:
        if util.get_node_type(sig) == constants.MESSAGE_SIGNATURE_NODE_TYPE:
            #tmp = context_.get_operators().items()
            # Section 4.6.9 -- well-formed message signature
            messagesignature_check_wellformedness(checker, sig)
            op = context_.get_current_scope() + '.' \
                 + messagesignature_get_operator(sig) 
                    # interrupt sig belongs to the scope of the interruptible
            for (src, _), ops in tmp:
                if op in ops:
                    # Section 4.6.9 -- op is not in any potential ops set of
                    # block for subj
                    if subj == src:
                        util.report_error("Bad interrupt operator: " + op)
                    #context_ = context_.add_operator()
                        # FIXME: can't do currently: interrupt messages have no
                        # specific dest (need to look up all possible
                        # destinations, or could make a special broadcast value
                        # constant?) -- top-level interruptible inside a choice
                        # block can also be an enabling op
        else:
            raise RuntimeError("TODO: " + parameter_get_parameter_name(sig))
Ejemplo n.º 2
0
def check_wellformedness(checker, node_):
    context_ = checker.get_context()

    sigs = get_message_children(node_)
    subj = get_role(node_)

    # Section 4.6.9 -- bound interrupt role
    if not context_.is_role_declared(subj):
        util.report_error("Bad interrupt role: " + subj)

    tmp = context_.get_operators().items()
    for sig in sigs:
        if util.get_node_type(sig) == constants.MESSAGE_SIGNATURE_NODE_TYPE:
            #tmp = context_.get_operators().items()
            # Section 4.6.9 -- well-formed message signature
            messagesignature_check_wellformedness(checker, sig)
            op = context_.get_current_scope() + '.' \
                 + messagesignature_get_operator(sig)
            # interrupt sig belongs to the scope of the interruptible
            for (src, _), ops in tmp:
                if op in ops:
                    # Section 4.6.9 -- op is not in any potential ops set of
                    # block for subj
                    if subj == src:
                        util.report_error("Bad interrupt operator: " + op)
                    #context_ = context_.add_operator()
                    # FIXME: can't do currently: interrupt messages have no
                    # specific dest (need to look up all possible
                    # destinations, or could make a special broadcast value
                    # constant?) -- top-level interruptible inside a choice
                    # block can also be an enabling op
        else:
            raise RuntimeError("TODO: " + parameter_get_parameter_name(sig))
def check_wellformedness_enter(checker, node_):
    context = checker.get_context()
    msg = get_message_child(node_)  # node
    mtype = util.get_node_type(msg)
    src = get_source(node_)  # string
    dests = get_destinations(node_)  # string

    # Will be assigned depending on whether message is a concrete signature or a
    # parameter
    op = None  # string
    param = None  # string

    # Section 4.6.5 -- message is a well-formed message-signature or a bound sig
    # parameter
    if mtype == constants.MESSAGE_SIGNATURE_NODE_TYPE:
        # Section 4.6.5 -- Well-formed message-signature
        messagesignature_check_wellformedness(checker, msg)
        #op = messagesignature.get_operator(msg)
        op = context.get_current_scope() + '.' + messagesignature_get_operator(
            msg)
    else:
        # Not a message signature, should be a sig parameter
        param = parameter_get_name(msg)
        op = param
        params = context.get_parameters()
        if not param in params.keys():  # Bound parameter
            util.report_error("Bad parameter: " + param)
        if params[param] != constants.KIND_MESSAGE_SIGNATURE:
            # sig parameter  # HACK?: using the KW
            util.report_error("Bad type parameter: " + param)

    # Section 4.6.5 -- source role is bound
    if not context.is_role_declared(src):
        util.report_error("Bad source role: " + src)
    # Section 4.6.6 -- the non-at roles of a choice must occur in receiver position
    # (i.e. be "enabled" -- the at-role is enabled implicitly) before occuring in
    # any non- transfer-receiver position, such as a nested choice at-position
    # here)
    if not context.is_role_enabled(src):
        util.report_error("Role not enabled: " + src)

    # Destination roles
    tmp = []
    for dest in dests:
        # Section 4.6.5 -- bound destination roles
        if not context.is_role_declared(dest):
            util.report_error("Bad destination role: " + dest)
        if dest in tmp:  # Section 4.6.5 -- distinct destination roles
            util.report_error("Duplicate destination role: " + dest)
        tmp.append(dest)
def check_wellformedness_enter(checker, node_):
    context = checker.get_context()
    msg = get_message_child(node_)   # node
    mtype = util.get_node_type(msg)
    src = get_source(node_)         # string
    dests = get_destinations(node_) # string

    # Will be assigned depending on whether message is a concrete signature or a
    # parameter
    op = None     # string
    param = None  # string

    # Section 4.6.5 -- message is a well-formed message-signature or a bound sig
    # parameter
    if mtype == constants.MESSAGE_SIGNATURE_NODE_TYPE:
        # Section 4.6.5 -- Well-formed message-signature
        messagesignature_check_wellformedness(checker, msg)
        #op = messagesignature.get_operator(msg)
        op = context.get_current_scope() + '.' + messagesignature_get_operator(msg)
    else:
        # Not a message signature, should be a sig parameter
        param = parameter_get_name(msg)
        op = param
        params = context.get_parameters()
        if not param in params.keys():  # Bound parameter
            util.report_error("Bad parameter: " + param)
        if params[param] != constants.KIND_MESSAGE_SIGNATURE:
            # sig parameter  # HACK?: using the KW
            util.report_error("Bad type parameter: " + param)

    # Section 4.6.5 -- source role is bound
    if not context.is_role_declared(src):
        util.report_error("Bad source role: " + src)
    # Section 4.6.6 -- the non-at roles of a choice must occur in receiver position
    # (i.e. be "enabled" -- the at-role is enabled implicitly) before occuring in
    # any non- transfer-receiver position, such as a nested choice at-position
    # here)
    if not context.is_role_enabled(src):
        util.report_error("Role not enabled: " + src)

    # Destination roles
    tmp = []
    for dest in dests:
        # Section 4.6.5 -- bound destination roles
        if not context.is_role_declared(dest):
            util.report_error("Bad destination role: " + dest)
        if dest in tmp:  # Section 4.6.5 -- distinct destination roles
            util.report_error("Duplicate destination role: " + dest)
        tmp.append(dest)
def context_visitor_enter(cv, node_):
    clone = cv.get_context().clone()
    msg = get_message_child(node_)  # node
    mtype = util.get_node_type(msg)
    src = get_source(node_)  # string
    dests = get_destinations(node_)  # string

    # Will be assigned depending on whether message is a concrete signature or a parameter
    op = None  # string
    param = None  # string
    if mtype == constants.MESSAGE_SIGNATURE_NODE_TYPE:
        op = clone.get_current_scope() + '.' + messagesignature_get_operator(
            msg)
    else:  # Not a message signature, should be a sig parameter
        param = parameter_get_name(msg)
        op = param

    # Destination roles
    for dest in dests:
        # Section 4.6.8 -- collecting "potential" operators, for parallel
        # well-formedness Also parameters potential (op is param for sig
        # parameters)
        #
        # Building a conservative set (potential actions, for parallel
        # well-formedness)
        clone = clone.add_operator(src, dest, op)

        #Section 4.6.6 -- destination roles are now "enabled" (if not already)
        #for action" within the (choice) block
        if not clone.is_role_enabled(dest):
            # Because clone is cloned, all previously enabled/disabled is
            # automatically carried over. but could factor out this aspect from
            # here and other categories into the sequencing constructor
            if mtype == constants.MESSAGE_SIGNATURE_NODE_TYPE:
                clone = clone.enable_role(dest, op)
            else:  # sig parameter
                clone = clone.enable_role(dest, param)

    cv.set_context(clone)
def context_visitor_enter(cv, node_):
    clone = cv.get_context().clone()
    msg = get_message_child(node_)   # node
    mtype = util.get_node_type(msg)
    src = get_source(node_)         # string
    dests = get_destinations(node_) # string

    # Will be assigned depending on whether message is a concrete signature or a parameter
    op = None     # string
    param = None  # string
    if mtype == constants.MESSAGE_SIGNATURE_NODE_TYPE:
        op = clone.get_current_scope() + '.' + messagesignature_get_operator(msg)
    else: # Not a message signature, should be a sig parameter
        param = parameter_get_name(msg)
        op = param

    # Destination roles
    for dest in dests:
        # Section 4.6.8 -- collecting "potential" operators, for parallel
        # well-formedness Also parameters potential (op is param for sig
        # parameters)
        #
        # Building a conservative set (potential actions, for parallel
        # well-formedness)
        clone = clone.add_operator(src, dest, op)

        #Section 4.6.6 -- destination roles are now "enabled" (if not already)
        #for action" within the (choice) block
        if not clone.is_role_enabled(dest):
            # Because clone is cloned, all previously enabled/disabled is
            # automatically carried over. but could factor out this aspect from
            # here and other categories into the sequencing constructor
            if mtype == constants.MESSAGE_SIGNATURE_NODE_TYPE:
                clone = clone.enable_role(dest, op)
            else:  # sig parameter
                clone = clone.enable_role(dest, param)

    cv.set_context(clone)