def __init__(self, name, depth=None): ''' Constructor ''' self.module_set = None self.module_name = '' self.hierarchy_name = '' """set of all imported module names """ self.imports = set([]) """ set of all parent module names""" self.parents = None self.ancestors = None self.clif_file_name = '' """Location of the clif input file that has undergone preprocessing""" self.clif_processed_file_name = '' self.p9_file_name = None self.tptp_file_name = None # the distinction between nonlogical_symbols and nonlogical_variables assumes that a single symbol is not used as both in different sentences self.nonlogical_symbols = set([]) self.import_closure_nonlogical_symbols = None self.properly_defined_symbols = None #self.parents_nonlogical_symbols = set([]) # stores the depth of the import hierarchy self.depth = depth self.set_module_name(name) logging.getLogger(__name__).info('processing module: ' + self.module_name) # remove any obsolete URL ending as specified in the configuration file if self.module_name.endswith(filemgt.read_config('cl', 'ending')): self.module_name = os.path.normpath( self.module_name.replace(filemgt.read_config('cl', 'ending'), '')) self.hierarchy_name = filemgt.get_hierarchy_name(self.module_name) self.preprocess_clif_file()
def get_hierarchy(self): return filemgt.get_hierarchy_name(self.module_name)