private static String negate(String id, KIMScope context, int line) { /* * ensure id is known */ IConcept original = null; if (id.contains(":")) { original = KLAB.KM.getConcept(id); } else { original = context.getNamespace().getOntology().getConcept(id); } if (original == null) { context.error("concept " + id + " is unknown", line); } else { try { original = Traits.getNegation(original); } catch (KlabValidationException e) { context.error(e.getMessage(), line); } } return original.toString(); }
ret = Traits.getObservabilityOf(ret, observability); } else if (denied) { ret = Traits.getNegation(ret);
main = Traits.getNegation(main); } catch (KlabValidationException e) { context.error(e.getMessage(), lineNumber(statement));
if (co.isNegated()) { try { t = Traits.getNegation(t); } catch (KlabValidationException e) { context.error(e.getMessage(), co.getFirstLineNumber());