diff --git a/src/rougail/annotator.py b/src/rougail/annotator.py
index 94f96e7be..c914acba5 100644
--- a/src/rougail/annotator.py
+++ b/src/rougail/annotator.py
@@ -38,7 +38,7 @@ modes = mode_factory()
# that shall not be present in the exported (flatened) XML
ERASED_ATTRIBUTES = ('redefine', 'exists', 'fallback', 'optional', 'remove_check', 'namespace',
'remove_condition', 'path', 'instance_mode', 'index', 'is_in_leadership',
- 'level', 'remove_fill')
+ 'level', 'remove_fill', 'xmlfiles')
ERASED_CONTAINER_ATTRIBUTES = ('id', 'container', 'group_id', 'group', 'container_group')
FORCE_CHOICE = {'oui/non': ['oui', 'non'],
@@ -125,7 +125,7 @@ class GroupAnnotator:
# if variable.hidden:
# leader_is_hidden = True
else:
- leader_space = self.objectspace.Leadership()
+ leader_space = self.objectspace.Leadership(variable.xmlfiles)
leader_is_hidden = self.manage_leader(leader_space,
leader_family_name,
leader_name,
@@ -233,7 +233,7 @@ class ServiceAnnotator:
families = {}
for idx, service_name in enumerate(self.objectspace.space.services.service.keys()):
service = self.objectspace.space.services.service[service_name]
- new_service = self.objectspace.service()
+ new_service = self.objectspace.service(service.xmlfiles)
for elttype, values in vars(service).items():
if not isinstance(values, (dict, list)) or elttype in ERASED_ATTRIBUTES:
setattr(new_service, elttype, values)
@@ -242,6 +242,7 @@ class ServiceAnnotator:
path = '.'.join(['services', service_name, eltname])
family = self.gen_family(eltname,
path,
+ service.xmlfiles,
)
if isinstance(values, dict):
values = list(values.values())
@@ -258,8 +259,9 @@ class ServiceAnnotator:
def gen_family(self,
name,
path,
+ xmlfiles
):
- family = self.objectspace.family()
+ family = self.objectspace.family(xmlfiles)
family.name = normalize_family(name)
family.doc = name
family.mode = None
@@ -307,7 +309,10 @@ class ServiceAnnotator:
if not self.objectspace.paths.family_is_defined(subpath):
break
idx += 1
- family = self.gen_family(c_name, subpath)
+ family = self.gen_family(c_name,
+ subpath,
+ elt.xmlfiles,
+ )
family.variable = []
listname = '{}list'.format(name)
activate_path = '.'.join([subpath, 'activate'])
@@ -345,7 +350,7 @@ class ServiceAnnotator:
elt,
path,
):
- variable = self.objectspace.variable()
+ variable = self.objectspace.variable(elt.xmlfiles)
variable.name = normalize_family(key)
variable.mode = None
if key == 'name':
@@ -370,7 +375,7 @@ class ServiceAnnotator:
variable.multi = None
else:
variable.doc = key
- val = self.objectspace.value()
+ val = self.objectspace.value(elt.xmlfiles)
val.type = type_
val.name = value
variable.value = [val]
@@ -469,17 +474,17 @@ class VariableAnnotator:
path,
):
if variable.type in FORCE_CHOICE:
- check = self.objectspace.check()
+ check = self.objectspace.check(variable.xmlfiles)
check.name = 'valid_enum'
check.target = path
check.namespace = namespace
check.param = []
for value in FORCE_CHOICE[variable.type]:
- param = self.objectspace.param()
+ param = self.objectspace.param(variable.xmlfiles)
param.text = value
check.param.append(param)
if not hasattr(self.objectspace.space, 'constraints'):
- self.objectspace.space.constraints = self.objectspace.constraints()
+ self.objectspace.space.constraints = self.objectspace.constraints(variable.xmlfiles)
self.objectspace.space.constraints.namespace = namespace
if not hasattr(self.objectspace.space.constraints, 'check'):
self.objectspace.space.constraints.check = []
@@ -542,14 +547,14 @@ class VariableAnnotator:
def convert_auto_freeze(self): # pylint: disable=C0111
def _convert_auto_freeze(variable, namespace):
if variable.auto_freeze:
- new_condition = self.objectspace.condition()
+ new_condition = self.objectspace.condition(variable.xmlfiles)
new_condition.name = 'auto_hidden_if_not_in'
new_condition.namespace = namespace
new_condition.source = FREEZE_AUTOFREEZE_VARIABLE
- new_param = self.objectspace.param()
+ new_param = self.objectspace.param(variable.xmlfiles)
new_param.text = 'oui'
new_condition.param = [new_param]
- new_target = self.objectspace.target()
+ new_target = self.objectspace.target(variable.xmlfiles)
new_target.type = 'variable'
path = variable.namespace + '.' + normalize_family(family.name) + '.' + variable.name
new_target.name = path
@@ -583,7 +588,8 @@ class VariableAnnotator:
subpath = self.objectspace.paths.get_variable_path(separator.name,
separator.namespace,
)
- raise DictConsistencyError(_('{} already has a separator').format(subpath))
+ xmlfiles = self.objectspace.display_xmlfiles(separator.xmlfiles)
+ raise DictConsistencyError(_(f'{subpath} already has a separator in {xmlfiles}'))
option.separator = separator.text
del family.separators
@@ -622,7 +628,8 @@ class ConstraintAnnotator:
remove_indexes = []
for check_idx, check in enumerate(self.objectspace.space.constraints.check):
if not check.name in self.functions:
- raise DictConsistencyError(_('cannot find check function {}').format(check.name))
+ xmlfiles = self.objectspace.display_xmlfiles(check.xmlfiles)
+ raise DictConsistencyError(_(f'cannot find check function "{check.name}" in {xmlfiles}'))
if hasattr(check, 'param'):
param_option_indexes = []
for idx, param in enumerate(check.param):
@@ -630,7 +637,8 @@ class ConstraintAnnotator:
if param.optional is True:
param_option_indexes.append(idx)
else:
- raise DictConsistencyError(_(f'unknown param {param.text} in check'))
+ xmlfiles = self.objectspace.display_xmlfiles(check.xmlfiles)
+ raise DictConsistencyError(_(f'cannot find check param "{param.text}" in {xmlfiles}'))
if param.type != 'variable':
param.notraisepropertyerror = None
param_option_indexes = list(set(param_option_indexes))
@@ -766,7 +774,7 @@ class ConstraintAnnotator:
for listvar in listvars:
variable = self.objectspace.paths.get_variable_obj(listvar)
type_ = 'variable'
- new_target = self.objectspace.target()
+ new_target = self.objectspace.target(variable.xmlfiles)
new_target.type = type_
new_target.name = listvar
new_target.index = target.index
@@ -891,7 +899,7 @@ class ConstraintAnnotator:
if hasattr(leader_or_variable, actions[0]) and getattr(leader_or_variable, actions[0]) is True:
continue
for idx, action in enumerate(actions):
- prop = self.objectspace.property_()
+ prop = self.objectspace.property_(leader_or_variable.xmlfiles)
prop.type = 'calculation'
prop.inverse = inverse
prop.source = condition.source
@@ -924,7 +932,7 @@ class ConstraintAnnotator:
}
choices = []
for value in values:
- choice = self.objectspace.choice()
+ choice = self.objectspace.choice(variable.xmlfiles)
try:
if value is not None:
choice.name = CONVERSION.get(type_, str)(value)
@@ -948,7 +956,7 @@ class ConstraintAnnotator:
if cvalue not in choices:
raise DictConsistencyError(_('value "{}" of variable "{}" is not in list of all expected values ({})').format(value.name, variable.name, choices))
else:
- new_value = self.objectspace.value()
+ new_value = self.objectspace.value(variable.xmlfiles)
new_value.name = choices[0]
new_value.type = type_
variable.value = [new_value]
@@ -973,7 +981,7 @@ class ConstraintAnnotator:
else:
raise DictConsistencyError(_(f'unknown parameter {param.text} in check "valid_entier" for variable {check.target}'))
else:
- check_ = self.objectspace.check()
+ check_ = self.objectspace.check(variable.xmlfiles)
if name == 'valid_differ':
name = 'valid_not_equal'
elif name == 'valid_network_netmask':
@@ -1026,7 +1034,8 @@ class ConstraintAnnotator:
)
if suffix is not None:
raise DictConsistencyError(_(f'Cannot add fill function to "{fill.target}" only with the suffix "{suffix}"'))
- value = self.objectspace.value()
+ variable = self.objectspace.paths.get_variable_obj(fill.target)
+ value = self.objectspace.value(variable.xmlfiles)
value.type = 'calculation'
value.name = fill.name
if hasattr(fill, 'param'):
@@ -1058,7 +1067,6 @@ class ConstraintAnnotator:
for param_idx in param_to_delete:
fill.param.pop(param_idx)
value.param = fill.param
- variable = self.objectspace.paths.get_variable_obj(fill.target)
variable.value = [value]
del self.objectspace.space.constraints.fill
@@ -1066,6 +1074,7 @@ class ConstraintAnnotator:
if hasattr(self.objectspace.space.constraints, 'index'):
del self.objectspace.space.constraints.index
del self.objectspace.space.constraints.namespace
+ del self.objectspace.space.constraints.xmlfiles
if vars(self.objectspace.space.constraints):
raise Exception('constraints again?')
del self.objectspace.space.constraints
@@ -1126,7 +1135,7 @@ class FamilyAnnotator:
# if the variable is mandatory and doesn't have any value
# then the variable's mode is set to 'basic'
if not hasattr(variable, 'value') and variable.type == 'boolean':
- new_value = self.objectspace.value()
+ new_value = self.objectspace.value(variable.xmlfiles)
new_value.name = True
new_value.type = 'boolean'
variable.value = [new_value]
diff --git a/src/rougail/objspace.py b/src/rougail/objspace.py
index 37b823083..30756532d 100644
--- a/src/rougail/objspace.py
+++ b/src/rougail/objspace.py
@@ -59,7 +59,10 @@ CONVERT_EXPORT = {'Leadership': 'leader',
# _____________________________________________________________________________
# special types definitions for the Object Space's internal representation
class RootCreoleObject:
- ""
+ def __init__(self, xmlfiles):
+ if not isinstance(xmlfiles, list):
+ xmlfiles = [xmlfiles]
+ self.xmlfiles = xmlfiles
class CreoleObjSpace:
@@ -157,12 +160,14 @@ class CreoleObjSpace:
self.fill_removed = []
self.check_removed = []
self.condition_removed = []
- self.xml_parse_document(document,
+ self.xml_parse_document(xmlfile,
+ document,
self.space,
namespace,
)
def xml_parse_document(self,
+ xmlfile,
document,
space,
namespace,
@@ -179,7 +184,7 @@ class CreoleObjSpace:
continue
if child.tag == 'family':
if child.attrib['name'] in family_names:
- raise DictConsistencyError(_('Family {} is set several times').format(child.attrib['name']))
+ raise DictConsistencyError(_(f'Family "{child.attrib["name"]}" is set several times in "{xmlfile}"'))
family_names.append(child.attrib['name'])
if child.tag == 'variables':
child.attrib['name'] = namespace
@@ -188,16 +193,18 @@ class CreoleObjSpace:
continue
# variable objects creation
try:
- variableobj = self.generate_variableobj(child,
- space,
- namespace,
- )
+ variableobj = self.generate_variableobj(xmlfile,
+ child,
+ space,
+ namespace,
+ )
except SpaceObjShallNotBeUpdated:
continue
self.set_text_to_obj(child,
variableobj,
)
- self.set_xml_attributes_to_obj(child,
+ self.set_xml_attributes_to_obj(xmlfile,
+ child,
variableobj,
)
self.variableobj_tree_visitor(child,
@@ -215,26 +222,29 @@ class CreoleObjSpace:
child,
)
if list(child) != []:
- self.xml_parse_document(child,
+ self.xml_parse_document(xmlfile,
+ child,
variableobj,
namespace,
)
def generate_variableobj(self,
- child,
- space,
- namespace,
- ):
+ xmlfile,
+ child,
+ space,
+ namespace,
+ ):
"""
instanciates or creates Creole Object Subspace objects
"""
- variableobj = getattr(self, child.tag)()
+ variableobj = getattr(self, child.tag)(xmlfile)
if isinstance(variableobj, self.Redefinable):
- variableobj = self.create_or_update_redefinable_object(child.attrib,
- space,
- child,
- namespace,
- )
+ variableobj = self.create_or_update_redefinable_object(xmlfile,
+ child.attrib,
+ space,
+ child,
+ namespace,
+ )
elif isinstance(variableobj, self.Atom) and child.tag in vars(space):
# instanciates an object from the CreoleObjSpace's builtins types
# example : child.tag = constraints -> a self.Constraints() object is created
@@ -248,6 +258,7 @@ class CreoleObjSpace:
return variableobj
def create_or_update_redefinable_object(self,
+ xmlfile,
subspace,
space,
child,
@@ -281,15 +292,17 @@ class CreoleObjSpace:
name = child.text
else:
name = subspace['name']
- if self.is_already_exists(name,
- space,
- child,
- namespace,
- ):
+ existed_var = self.is_already_exists(name,
+ space,
+ child,
+ namespace,
+ )
+ if existed_var:
default_redefine = child.tag in FORCE_REDEFINABLES
redefine = self.convert_boolean(subspace.get('redefine', default_redefine))
exists = self.convert_boolean(subspace.get('exists', True))
if redefine is True:
+ existed_var.xmlfiles.append(xmlfile)
return self.translate_in_space(name,
space,
child,
@@ -297,12 +310,21 @@ class CreoleObjSpace:
)
elif exists is False:
raise SpaceObjShallNotBeUpdated()
- raise DictConsistencyError(_(f'Already present in another XML file, {name} cannot be re-created'))
+ xmlfiles = self.display_xmlfiles(existed_var.xmlfiles)
+ raise DictConsistencyError(_(f'"{child.tag}" named "{name}" cannot be re-created in "{xmlfile}", already defined in {xmlfiles}'))
redefine = self.convert_boolean(subspace.get('redefine', False))
exists = self.convert_boolean(subspace.get('exists', False))
if redefine is False or exists is True:
- return getattr(self, child.tag)()
- raise DictConsistencyError(_(f'Redefined object: {name} does not exist yet'))
+ return getattr(self, child.tag)(xmlfile)
+ raise DictConsistencyError(_(f'Redefined object in "{xmlfile}": "{name}" does not exist yet'))
+
+ def display_xmlfiles(self,
+ xmlfiles: list,
+ ) -> str:
+ if len(xmlfiles) == 1:
+ return '"' + xmlfiles[0] + '"'
+ else:
+ return '"' + '", "'.join(xmlfiles[:-1]) + '"' + ' and ' + '"' + xmlfiles[-1] + '"'
def create_tree_structure(self,
space,
@@ -329,16 +351,25 @@ class CreoleObjSpace:
raise OperationError(_("Creole object {} "
"has a wrong type").format(type(variableobj)))
- def is_already_exists(self, name, space, child, namespace):
+ def is_already_exists(self,
+ name: str,
+ space: str,
+ child,
+ namespace: str,
+ ):
if isinstance(space, self.family): # pylint: disable=E1101
if namespace != Config['variable_namespace']:
name = space.path + '.' + name
- return self.paths.path_is_defined(name)
+ if self.paths.path_is_defined(name):
+ return self.paths.get_variable_obj(name)
+ return
if child.tag == 'family':
norm_name = normalize_family(name)
else:
norm_name = name
- return norm_name in getattr(space, child.tag, {})
+ children = getattr(space, child.tag, {})
+ if norm_name in children:
+ return children[norm_name]
def convert_boolean(self, value): # pylint: disable=R0201
"""Boolean coercion. The Creole XML may contain srings like `True` or `False`
@@ -451,6 +482,7 @@ class CreoleObjSpace:
variableobj.text = text
def set_xml_attributes_to_obj(self,
+ xmlfile,
child,
variableobj,
):
@@ -463,7 +495,8 @@ class CreoleObjSpace:
# UNREDEFINABLE concerns only 'variable' node so we can fix name
# to child.attrib['name']
name = child.attrib['name']
- raise DictConsistencyError(_(f'cannot redefine attribute {attr} for variable {name}'))
+ xmlfiles = self.display_xmlfiles(variableobj.xmlfiles[:-1])
+ raise DictConsistencyError(_(f'cannot redefine attribute "{attr}" for variable "{name}" in "{xmlfile}", already defined in {xmlfiles}'))
if attr in self.booleans_attributs:
val = self.convert_boolean(val)
if not (attr == 'name' and getattr(variableobj, 'name', None) != None):
diff --git a/tests/dictionaries/80check_unknown/00-base.xml b/tests/dictionaries/80check_unknown/00-base.xml
new file mode 100644
index 000000000..9d6044273
--- /dev/null
+++ b/tests/dictionaries/80check_unknown/00-base.xml
@@ -0,0 +1,27 @@
+
+
+
+
+
+
+
+
+ b
+
+
+
+
+
+
+
+
+ 0
+ 100
+
+
+
+
+
+
+
diff --git a/tests/dictionaries/80check_unknown/__init__.py b/tests/dictionaries/80check_unknown/__init__.py
new file mode 100644
index 000000000..e69de29bb
diff --git a/tests/dictionaries/80check_unknown_var/00-base.xml b/tests/dictionaries/80check_unknown_var/00-base.xml
new file mode 100644
index 000000000..afa323291
--- /dev/null
+++ b/tests/dictionaries/80check_unknown_var/00-base.xml
@@ -0,0 +1,26 @@
+
+
+
+
+
+
+
+
+ b
+
+
+
+
+
+
+
+ int3
+
+
+
+
+
+
+
+
diff --git a/tests/dictionaries/80check_unknown_var/__init__.py b/tests/dictionaries/80check_unknown_var/__init__.py
new file mode 100644
index 000000000..e69de29bb