plugins/contracts/pom.xml

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <groupId>org.polarsys.chess</groupId>
  <artifactId>org.polarsys.chess.contracts</artifactId>
  <version>1.0.0-SNAPSHOT</version>
  <packaging>pom</packaging>
  <modules>
    <module>contracts/org.polarsys.chess.contracts.chessextension</module>
    <module>contracts/org.polarsys.chess.contracts.contractEditor</module>
    <module>contracts/org.polarsys.chess.contracts.contractPropertyManager</module>
    <module>contracts/org.polarsys.chess.contracts.feature</module>
    <module>contracts/org.polarsys.chess.contracts.hierarchicalContractView</module>
    <module>contracts/org.polarsys.chess.contracts.integration</module>
    <module>contracts/org.polarsys.chess.contracts.profile</module>
    <module>contracts/org.polarsys.chess.contracts.refinementView</module>
    <module>contracts/org.polarsys.chess.contracts.safetyAnalysis</module>
    <module>contracts/org.polarsys.chess.contracts.transformations</module>
    <module>contracts/org.polarsys.chess.contracts.validation</module>
    <module>contracts/org.polarsys.chess.contracts.verificationService</module>
    <module>contracts/org.polarsys.chess.contracts.verificationService.test.runtime</module>
  </modules>