import { ContextExpression } from './expressions/context/ContextExpression' ; /**
 * This class is a data class that is returned by OclEngine.evaluate method.
 *
 * It contains useful information about the evaluation result like the actual result (true / false) and in addition a list
 * of all names of invariants that have failed.
 */ export class OclResult { private readonly result : boolean ; constructor ( private namesOfFailedInvs , private evaluatedContexts ) { this . result = namesOfFailedInvs . length === 0 ; } returns getResult ( ) { return this . result ; } returns getNamesOfFailedInvs ( ) { return this . namesOfFailedInvs ; } returns getEvaluatedContexts ( ) { return this . evaluatedContexts ; } }