def test_noDataDriftNewFormat(generate_data):
    path_array = generate_data

    root_node1 = crg_importer.import_behavior(path_array[1])
    root_node2 = crg_importer.import_behavior(path_array[3])

    assert root_node1 == root_node2, root_node1.diff(root_node2)
Beispiel #2
0
def test_noDataDriftNewFormat(generate_data):
    path_array = generate_data

    root_node1 = crg_importer.import_behavior(path_array[1])
    root_node2 = crg_importer.import_behavior(path_array[3])

    assert root_node1 == root_node2, root_node1.diff(root_node2)
Beispiel #3
0
def main():
    """ Entry point of the xar converter
    """
    param = []
    if len(sys.argv) not in range(2, 4):
        sys.stderr.write("Incorrect number of arguments" + os.linesep)
        sys.exit(1)
    param.append(sys.argv[1])
    if (len(sys.argv) == 3):
        param.append(sys.argv[2])
    else:
        param.append("objects")

    abspath = os.path.abspath(param[0])
    dest_dir = os.path.abspath(param[1])

    root = crg_importer.import_behavior(abspath)

    if not root:
        sys.stderr.write("Incorrect format, file must be in format_version 4"
                         + os.linesep)
        sys.exit(6)

    xar_gen = xar_format_generator.XarFormatGenerator(root)

    distutils.dir_util.mkpath(dest_dir)
    xar_gen.export_to_xar(dest_dir)
Beispiel #4
0
def generate_data(parse_arg, mytmpdir):
    # execute successives conversion and return an array of output path
    result = []

    filename = parse_arg[0]
    behaviorname = os.path.basename(os.path.dirname(filename))
    # input path is the witness
    result.append(filename)

    # first, convert to new format
    root_node1 = xar_parser.generate_tree_from_filename(filename)
    namesBuilder = names_builder.NameMapBuilder()
    namesBuilder.visit(root_node1)
    namesMap = namesBuilder.get_name_map()

    dest_dir = str(mytmpdir.join("test1"))
    distutils.dir_util.mkpath(dest_dir)

    generator = new_format_generator.NewFormatGenerator(namesMap)
    generator.visit(root_node1, dest_dir)
    generator.generate_entry_point(root_node1, behaviorname)
    result.append(os.path.join(dest_dir, "behavior.xar"))

    # second, convert result back to old xar format
    filename = os.path.join(dest_dir, "behavior.xar")
    root_node2 = crg_importer.import_behavior(filename)

    dest_dir2 = str(mytmpdir.join("test2"))
    distutils.dir_util.mkpath(dest_dir2)

    generator = xar_format_generator.XarFormatGenerator(root_node2)
    generator.export_to_xar(dest_dir2)
    result.append(os.path.join(dest_dir2, "behavior.xar"))

    # third, import and convert once again last xar
    filename = os.path.join(dest_dir2, "behavior.xar")
    root_node3 = xar_parser.generate_tree_from_filename(filename)
    namesBuilder = names_builder.NameMapBuilder()
    namesBuilder.visit(root_node3)

    dest_dir3 = str(mytmpdir.join("test3"))
    distutils.dir_util.mkpath(dest_dir3)

    namesMap = namesBuilder.get_name_map()
    generator = new_format_generator.NewFormatGenerator(namesMap)
    generator.visit(root_node3, dest_dir3)
    generator.generate_entry_point(root_node3, behaviorname)
    result.append(os.path.join(dest_dir3, "behavior.xar"))

    return result
Beispiel #5
0
def generate_data(parse_arg, mytmpdir):
    # execute successives conversion and return an array of output path
    result = []

    filename = parse_arg[0]
    behaviorname = os.path.basename(os.path.dirname(filename))
    # input path is the witness
    result.append(filename)

    # first, convert to new format
    root_node1 = xar_parser.generate_tree_from_filename(filename)
    namesBuilder = names_builder.NameMapBuilder()
    namesBuilder.visit(root_node1)
    namesMap = namesBuilder.get_name_map()

    dest_dir = str(mytmpdir.join("test1"))
    distutils.dir_util.mkpath(dest_dir)

    generator = new_format_generator.NewFormatGenerator(namesMap)
    generator.visit(root_node1, dest_dir)
    generator.generate_entry_point(root_node1, behaviorname)
    result.append(os.path.join(dest_dir, "behavior.xar"))

    # second, convert result back to old xar format
    filename = os.path.join(dest_dir, "behavior.xar")
    root_node2 = crg_importer.import_behavior(filename)

    dest_dir2 = str(mytmpdir.join("test2"))
    distutils.dir_util.mkpath(dest_dir2)

    generator = xar_format_generator.XarFormatGenerator(root_node2)
    generator.export_to_xar(dest_dir2)
    result.append(os.path.join(dest_dir2, "behavior.xar"))

    # third, import and convert once again last xar
    filename = os.path.join(dest_dir2, "behavior.xar")
    root_node3 = xar_parser.generate_tree_from_filename(filename)
    namesBuilder = names_builder.NameMapBuilder()
    namesBuilder.visit(root_node3)

    dest_dir3 = str(mytmpdir.join("test3"))
    distutils.dir_util.mkpath(dest_dir3)

    namesMap = namesBuilder.get_name_map()
    generator = new_format_generator.NewFormatGenerator(namesMap)
    generator.visit(root_node3, dest_dir3)
    generator.generate_entry_point(root_node3, behaviorname)
    result.append(os.path.join(dest_dir3, "behavior.xar"))

    return result
Beispiel #6
0
def newFormatRootNode(parse_args):
    root_node = crg_importer.import_behavior(parse_args[1])
    assert root_node
    return root_node
def newFormatRootNode(parse_args):
    root_node = crg_importer.import_behavior(parse_args[1])
    assert root_node
    return root_node