// $Id: TestCrOCL.java 43 2010-04-03 20:28:12Z marcusvnac $
// Copyright (c) 2008 The Regents of the University of California. All
// Rights Reserved. Permission to use, copy, modify, and distribute this
// software and its documentation without fee, and without a written
// agreement is hereby granted, provided that the above copyright notice
// and this paragraph appear in all copies. This software program and
// documentation are copyrighted by The Regents of the University of
// California. The software program and documentation are supplied "AS
// IS", without any accompanying services from The Regents. The Regents
// does not warrant that the operation of the program will be
// uninterrupted or error-free. The end-user understands that the program
// was developed for research purposes and is advised not to rely
// exclusively on the program for any reason. IN NO EVENT SHALL THE
// UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT,
// SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS,
// ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
// THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF
// SUCH DAMAGE. THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY
// WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE
// PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF
// CALIFORNIA HAS NO OBLIGATIONS TO PROVIDE MAINTENANCE, SUPPORT,
// UPDATES, ENHANCEMENTS, OR MODIFICATIONS.

package org.argouml.profile.internal.ocl;

import junit.framework.TestCase;

import org.argouml.cognitive.Critic;
import org.argouml.cognitive.Designer;
import org.argouml.model.InitializeModel;
import org.argouml.model.Model;

/**
 * Tests for the CrOCL class.
 * 
 * @author maurelio1234
 */
public class TestCrOCL extends TestCase {

    @Override
    protected void setUp() throws Exception {
        super.setUp();
        InitializeModel.initializeDefault();
    }

    /**
     * Test the <code>predicate2</code> operation
     * 
     * @throws Exception if something goes wrong
     */
    public void testPredicate() throws Exception {
        Object obj1 = Model.getUseCasesFactory().createActor();
        Object obj2 = Model.getActivityGraphsFactory().createPartition();

        String ocl = "context Actor inv: 0 > 2";

        CrOCL cr = new CrOCL(ocl, null, null, null, null, null, null);

        assertEquals(cr.predicate2(obj1, Designer.theDesigner()),
                Critic.PROBLEM_FOUND);
        assertEquals(cr.predicate2(obj2, Designer.theDesigner()),
                Critic.NO_PROBLEM);

    }
}