Пример #1
0
        //true == true
        public void EqOnBoolean()
        {
            PIMBridge br = CreateTestEnv().Item1;

            Model.OCL.AST.BooleanLiteralExp boolConstant  = new Model.OCL.AST.BooleanLiteralExp(true, br.Library.Boolean);
            Model.OCL.AST.BooleanLiteralExp boolConstant2 = new Model.OCL.AST.BooleanLiteralExp(true, br.Library.Boolean);

            var eqOp = br.Library.Boolean.LookupOperation("=", new Classifier[] { br.Library.Boolean });                                                          // tohle není moc pěkné, první index je výběr operací podle jména a ve druhém jsou tyto operace s různou signaturou.

            Model.OCL.AST.OclExpression expr = new Model.OCL.AST.OperationCallExp(boolConstant,                                                                   // source - na cem se daná operace volá
                                                                                  false,
                                                                                  eqOp,                                                                           // operace která se volá
                                                                                  new List <OclExpression>(new Model.OCL.AST.OclExpression[] { boolConstant2 })); // parametry
        }
Пример #2
0
        // true
        public void ConstantTrue()
        {
            PIMBridge br = CreateTestEnv().Item1;

            Model.OCL.AST.BooleanLiteralExp boolConstant = new Model.OCL.AST.BooleanLiteralExp(true, br.Library.Boolean);
        }