private boolean isNegativePatternCall(PatternCall call) { return (call.eContainer() instanceof PatternCompositionConstraint && ((PatternCompositionConstraint) call .eContainer()).isNegative()); }
@Check public void checkApplicabilityOfTransitiveClosureInPatternCall(PatternCall call) { final Pattern patternRef = call.getPatternRef(); final EObject eContainer = call.eContainer(); if (patternRef != null && call.isTransitive()) { if (patternRef.getParameters() != null) {