示例#1
0
void append_state_placeholders_if_needed(Branch* branch)
{
    if (!has_state_input(branch))
        append_state_input(branch);
    if (!has_state_output(branch))
        append_state_output(branch);
}
示例#2
0
Term* find_or_create_state_input(Branch* branch)
{
    // check if there is already a stateful input
    Term* existing = find_state_input(branch);
    if (existing != NULL)
        return existing;

    // None yet, insert one
    Term* input = append_state_input(branch);

    // Add a final pack_state call too
    append_final_pack_state(branch);

    return input;
}
示例#3
0
Term* find_or_create_state_container(Branch* branch)
{
    Term* existing = find_active_state_container(branch);
    if (existing != NULL)
        return existing;

    // None yet, insert one
    Term* input = append_state_input(branch);

    // Add a final pack_state call too
    Term* packState = append_final_pack_state(branch);

    // And the state output
    append_state_output(branch);

    return input;
}