//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
}
// true
public void ConstantTrue()
{
PIMBridge br = CreateTestEnv().Item1;
Model.OCL.AST.BooleanLiteralExp boolConstant = new Model.OCL.AST.BooleanLiteralExp(true, br.Library.Boolean);
}
