search

thahmann / macleod

Ontology development environment for Common Logic (CL)
Other
23 stars 9 forks source link

Refactor getter method for nonlogical symbol arity #3

Closed Fxhnd closed 8 years ago

Fxhnd commented 8 years ago

Refactor the clif.py [get_nonlogical_symbol_arity] function to eliminate the nested inner function [find_symbol_arity]

  1. Replace with an interface clif.py [get_nonlogical_symbol_arity_from_file] that translates for a new [get_nonlogical_symbol_arity] function.
  2. Separate file loading, validation, parsing, and extraction into different ClifModule (ClifFile?) states.