def run_pa2checker(ontology_values): pa2checker.revert_checker_source() for ontology_value, classes in ontology_values.iteritems(): pa2checker.insert_ontology_value(ontology_value) pa2checker.update_ontology_utils(ontology_value, classes) common.recompile_checker_framework()
def convert_2_ontology_value(ontology_set): """ 1. clean up the ontology source code back to unchanged git version 2. takes the ontology_set, and insert elements into ontology source as new ontologies 3. re-compile ontology to make sure the insertions doesn't break the compilation """ pa2checker.revert_checker_source() for new_ontology in ontology_set: pa2checker.insert_ontology_value(new_ontology) common.recompile_checker_framework()
def type_mappings_to_rules(json_file): with open(json_file) as data_file: data = json.load(data_file) for mapping in data["type_mappings"]: ontology_value = mapping["ontology_value"] java_types = mapping["java_types"] pa2checker.insert_ontology_value(ontology_value) pa2checker.update_ontology_utils(ontology_value, java_types) common.recompile_checker_framework()
def main(): annotation = "Disco" insert_ontology_value(annotation) update_ontology_utils(annotation, ["java.util.Collection", "java.util.LinkedList"]) common.recompile_checker_framework()