164165166167168169170
} return v.validationResult(); } private OperationIllFormed illFormedOperation(String description) { return new OperationIllFormed(description, effectivePos(), resultingPos); }
162163164165166167168