X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=packages%2Ffootprint.5c;h=ec8ff2516a739820b1d419e1e5f6621be945114f;hb=d94f169c31b471c9021f40f55ddd6c3c8e215188;hp=5414a4723b65b6d697100e8a89ce58fe4868ff07;hpb=3057d93781441f171464097a0b53cf1575e5e673;p=hw%2Faltusmetrum diff --git a/packages/footprint.5c b/packages/footprint.5c index 5414a47..ec8ff25 100644 --- a/packages/footprint.5c +++ b/packages/footprint.5c @@ -46,6 +46,16 @@ namespace Footprint { string tmp_name; + bool[string] override_rules = {}; + + public void override(string rule) { + override_rules[rule] = true; + } + + bool overridden(string rule) { + return hash_test(override_rules, rule) && override_rules[rule]; + } + public void element_start(string name) { if (!is_uninit(&out_name)) { @@ -170,6 +180,9 @@ namespace Footprint { public exception violation(string rule, real min, real val); public check(string rule, real min, real val, bool zero_ok) { + + if (overridden(rule)) + return; if (zero_ok && val <= 0) return; if (val < min) {