tests/org.eclipse.egf.core.test/test/org/eclipse/egf/core/test/model/validation/fprod/FprodContractValidation.java

/**
 * Copyright (c) 2009-2010 Thales Corporate Services S.A.S.
 * This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-v2.0
 *
 * SPDX-License-Identifier: EPL-2.0
 * 
 * Contributors:
 * Thales Corporate Services S.A.S - initial API and implementation
 */
package org.eclipse.egf.core.test.model.validation.fprod;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

import org.eclipse.egf.model.fcore.Contract;
import org.eclipse.egf.model.fcore.ContractContainer;
import org.eclipse.egf.model.fcore.ContractMode;
import org.eclipse.egf.model.fcore.FcoreFactory;
import org.eclipse.egf.model.fcore.FcorePackage;
import org.eclipse.egf.model.ftask.FtaskFactory;
import org.eclipse.egf.model.ftask.Task;
import org.eclipse.egf.model.types.TypeString;
import org.eclipse.egf.model.types.TypesFactory;
import org.eclipse.emf.common.util.Diagnostic;
import org.eclipse.emf.ecore.util.Diagnostician;

public class FprodContractValidation extends TestCase {

  public static Test suite() {
    return new TestSuite(FprodContractValidation.class);
  }

  public void testInContractName() throws Exception {

    Task task = FtaskFactory.eINSTANCE.createTask();
    task.setKind("java"); //$NON-NLS-1$

    ContractContainer contracts = FcoreFactory.eINSTANCE.createContractContainer();
    task.eSet(FcorePackage.Literals.ACTIVITY__CONTRACT_CONTAINER, contracts);

    Contract name1 = FcoreFactory.eINSTANCE.createContract();
    name1.setName("name"); //$NON-NLS-1$
    name1.setMode(ContractMode.IN);
    contracts.getContracts().add(name1);

    TypeString name1Type = TypesFactory.eINSTANCE.createTypeString();
    name1.eSet(FcorePackage.Literals.CONTRACT__TYPE, name1Type);

    Contract name2 = FcoreFactory.eINSTANCE.createContract();
    name2.setName("name"); //$NON-NLS-1$
    name2.setMode(ContractMode.IN);
    contracts.getContracts().add(name2);

    TypeString name2Type = TypesFactory.eINSTANCE.createTypeString();
    name2.eSet(FcorePackage.Literals.CONTRACT__TYPE, name2Type);

    Diagnostician diagnostician = new Diagnostician();
    Diagnostic diagnostic = diagnostician.validate(contracts);

    assertTrue(diagnostic.getSeverity() == Diagnostic.ERROR);

  }

  public void testOutContractName() throws Exception {

    Task task = FtaskFactory.eINSTANCE.createTask();
    task.setKind("java"); //$NON-NLS-1$

    ContractContainer contracts = FcoreFactory.eINSTANCE.createContractContainer();
    task.eSet(FcorePackage.Literals.ACTIVITY__CONTRACT_CONTAINER, contracts);

    Contract name1 = FcoreFactory.eINSTANCE.createContract();
    name1.setName("name"); //$NON-NLS-1$
    name1.setMode(ContractMode.OUT);
    contracts.getContracts().add(name1);

    TypeString name1Type = TypesFactory.eINSTANCE.createTypeString();
    name1.eSet(FcorePackage.Literals.CONTRACT__TYPE, name1Type);

    Contract name2 = FcoreFactory.eINSTANCE.createContract();
    name2.setName("name"); //$NON-NLS-1$
    name2.setMode(ContractMode.OUT);
    contracts.getContracts().add(name2);

    TypeString name2Type = TypesFactory.eINSTANCE.createTypeString();
    name2.eSet(FcorePackage.Literals.CONTRACT__TYPE, name2Type);

    Diagnostician diagnostician = new Diagnostician();
    Diagnostic diagnostic = diagnostician.validate(contracts);

    assertTrue(diagnostic.getSeverity() == Diagnostic.ERROR);

  }

  public void testContractName() throws Exception {

    Task task = FtaskFactory.eINSTANCE.createTask();
    task.setKind("java"); //$NON-NLS-1$)

    ContractContainer contracts = FcoreFactory.eINSTANCE.createContractContainer();
    task.eSet(FcorePackage.Literals.ACTIVITY__CONTRACT_CONTAINER, contracts);

    Contract name1 = FcoreFactory.eINSTANCE.createContract();
    name1.setName("name"); //$NON-NLS-1$
    name1.setMode(ContractMode.IN);
    contracts.getContracts().add(name1);

    TypeString name1Type = TypesFactory.eINSTANCE.createTypeString();
    name1.eSet(FcorePackage.Literals.CONTRACT__TYPE, name1Type);

    Contract name2 = FcoreFactory.eINSTANCE.createContract();
    name2.setName("name"); //$NON-NLS-1$
    name2.setMode(ContractMode.OUT);
    contracts.getContracts().add(name2);

    TypeString name2Type = TypesFactory.eINSTANCE.createTypeString();
    name2.eSet(FcorePackage.Literals.CONTRACT__TYPE, name2Type);

    Diagnostician diagnostician = new Diagnostician();
    Diagnostic diagnostic = diagnostician.validate(contracts);

    assertTrue(diagnostic.getSeverity() == Diagnostic.OK);

  }

}